help links subscribe changes refresh edit

	IssueTracker
#358 EXPR does not handle conditional definitions ←	↑	→ #36 sman/graphics connection hang

#359 map with ::Boolean damages memory

Edit detail for #359 map with ::Boolean damages memory revision 3 of 4

	1 2 3 4
Editor: kratt6 Time: 2007/12/28 16:55:06 GMT-8
Note:

added:

From kratt6 Fri Dec 28 16:55:06 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 16:55:06 -0800
Subject: 
Message-ID: <20071228165506-0800@axiom-wiki.newsynthesis.org>

Category: Axiom on Linux => Axiom Interpreter

The sequence of commands

axiom

gl:=[x+y=1,x-y=1]

$\label{eq1}\left[{{y + x}= 1}, \:{{- y + x}= 1}\right]$

(1)

Type: List(Equation(Polynomial(Integer)))

axiom

sol:=solve(gl,[x,y])

$\label{eq2}\left[{\left[{x = 1}, \:{y = 0}\right]}\right]$

(2)

Type: List(List(Equation(Fraction(Polynomial(Integer)))))

axiom

[map(g +-> eval(g,s)::Boolean,gl) for s in sol]

   >> System error:
   The value
  (1 #(#(|y| 0 (((|%symbol|)))) NIL 1 1024) (1 . #1=(0 . 1))
   (0 1 #(#(|x| 0 (((|%symbol|)))) NIL 1 512) (1 . #1#)))
is not of type
  FIXNUM.

results in:

  >> System error:
   Caught fatal error [memory may be damaged]

Axiom with --enable-checking says:

   >> System error:
   Bad simple vector 0

Even simpler:

begin{axiom} [eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean for i in 1..1] end{axiom}

However:

axiom

[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean]

$\label{eq3}\left[ \mbox{\rm true} \right]$

(3)

Type: List(Boolean)

But worse::

axiom

[eval(x=1,[x=1])::Boolean for i in 1..1]

   >> System error:
   The value (1 |x| (1 0 . 1)) is not of type FIXNUM.

It is even simpler:

axiom

q:EQ POLY INT:=(1=1)

$\label{eq4}1 = 1$

(4)

Type: Equation(Polynomial(Integer))

axiom

q::Boolean

$\label{eq5} \mbox{\rm true}$

(5)

Type: Boolean

axiom

[q for i in 1..1]

$\label{eq6}\left[{1 = 1}\right]$

(6)

Type: List(Equation(Polynomial(Integer)))

axiom

--)set break break
[q::Boolean for i in 1..1]

   Internal Error
   Generated code is incorrect for equation

... --kratt6, Fri, 28 Dec 2007 16:55:06 -0800 reply

Category: Axiom on Linux => Axiom Interpreter