Changes
http://wiki.axiom-developer.org/208InterpretXInputForXIsBrokenForFunctionsAndTypes/diff
--
The coersion to InputForm produces a lispy representation for
most types. E.g.
\begin{axiom}
p:POLY INT:=x^2+1
p::InputForm
interpret(p)
\end{axiom}
But this fails for functions
\begin{axiom}
f:INT->INT
f(x) == x^2+1
f::InputForm
\end{axiom}
So far so good, but
\begin{axiom}
interpret(f)
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
