[Top][All Lists]

[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

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[Axiom-developer] [#208 interpret(x::InputFor)=x is broken for functions and types] (new)**,
*Bill Page* **<=**