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 (11 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

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:
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:


## 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]
>> 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)
 (4)
Type: Equation(Polynomial(Integer))
axiom
q::Boolean
 (5)
Type: Boolean
axiom
[q for i in 1..1]
 (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 !! ( 14 subscribers )