axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [#208 interpret(x::InputFor)=x is broken for functions


From: Bill Page
Subject: [Axiom-developer] [#208 interpret(x::InputFor)=x is broken for functions and types] (new)
Date: Wed, 28 Sep 2005 06:46:05 -0500

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/address@hidden




reply via email to

[Prev in Thread] Current Thread [Next in Thread]