Changes http://wiki.axiom-developer.org/359MapWithBooleanDamagesMemory/diff -- Even simpler:
\begin{axiom}
[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean for i in 1..1]
\end{axiom}
However:
\begin{axiom}
[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean]
\end{axiom}
But worse:
\begin{axiom}
[eval(x=1,[x=1])::Boolean for i in 1..1]
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
