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 2 of 4

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

added:
The sequence of commands

changed:
-results in 

results in::
 

changed:
-Axiom with --enable-checking says
Axiom with --enable-checking says::


removed:
-
-
-From kratt6 Wed Jun 6 06:03:36 -0500 2007
-From: kratt6
-Date: Wed, 06 Jun 2007 06:03:36 -0500
-Subject: simplifying
-Message-ID: <20070606060336-0500@wiki.axiom-developer.org>
-

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


added:


changed:
-But worse:
But worse::

changed:
-
-
-
-From anonymous Wed Jun 6 09:29:22 -0500 2007
-From: anonymous
-Date: Wed, 06 Jun 2007 09:29:22 -0500
-Subject: It is even simpler!
-Message-ID: <20070606092922-0500@wiki.axiom-developer.org>
It is even simpler:

changed:
-)set break break
--)set break break

added:

The sequence of commands

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

(1)

Type: List Equation Polynomial Integer

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

(2)

Type: List List Equation Fraction Polynomial Integer

axiom[map(g +-> eval(g,s)::Boolean,gl) for s in sol]
   >> System error:
   Caught fatal error [memory may be damaged]

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]

(3)

Type: List Boolean

But worse::

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

(4)

Type: List Boolean

It is even simpler:

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

(5)

Type: Equation Polynomial Integer

axiom
q::Boolean

(6)

Type: Boolean

axiom
[q for i in 1..1]

(7)

Type: List Equation Polynomial Integer

axiom--)set break break
[q::Boolean for i in 1..1]
   Internal Error
   Generated code is incorrect for equation