[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 <=