login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:32:43-08:00 (10 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

Category: Axiom on Linux => Axiom Interpreter

Status: open => closed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: