|
|
last edited 9 years ago by test1 |
1 2 3 4 | ||
Editor: test1
Time: 2014/05/13 16:30:43 GMT+0 |
||
Note: |
added:
From test1 Tue May 13 16:30:43 +0000 2014
From: test1
Date: Tue, 13 May 2014 16:30:43 +0000
Subject:
Message-ID: <20140513163043+0000@axiom-wiki.newsynthesis.org>
Status: open => closed
The sequence of commands
gl:=[x+y=1,x-y=1]
(1) |
Type: List(Equation(Polynomial(Integer)))
sol:=solve(gl,[x,y])
(2) |
Type: List(List(Equation(Fraction(Polynomial(Integer)))))
[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
begin{axiom} [eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean for i in 1..1] end{axiom}
However:
[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean]
(3) |
Type: List(Boolean)
But worse::
[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:
q:EQ POLY INT:=(1=1)
(4) |
Type: Equation(Polynomial(Integer))
q::Boolean
(5) |
Type: Boolean
[q for i in 1..1]
(6) |
Type: List(Equation(Polynomial(Integer)))
--)set break break [q::Boolean for i in 1..1]
Internal Error Generated code is incorrect for equation