The sequence of commands axiom gl:=[x+y=1,x-y=1]
Type: List(Equation(Polynomial(Integer))) axiom sol:=solve(gl,[x,y])
Type: List(List(Equation(Fraction(Polynomial(Integer))))) axiom [map(g +-> eval(g,s)::Boolean,gl) for s in sol] 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]
Type: List(Boolean) But worse:: axiom [eval(x=1,[x=1])::Boolean for i in 1..1] It is even simpler: axiom q:EQ POLY INT:=(1=1)
Type: Equation(Polynomial(Integer)) axiom q::Boolean
Type: Boolean axiom [q for i in 1..1]
Type: List(Equation(Polynomial(Integer))) axiom --)set break break [q::Boolean for i in 1..1] ... --kratt6, Fri, 28 Dec 2007 16:55:06 -0800 reply Category: Axiom on Linux => Axiom Interpreter
Status: open => closed
|