|
| From: | anonymous |
| Subject: | [Axiom-developer] [#226 Equality in FunctionCalled] (new) |
| Date: | Mon, 31 Oct 2005 19:33:59 -0600 |
Changes http://wiki.axiom-developer.org/226EqualityInFunctionCalled/diff
--
The equality test seems to have a bug.
\begin{axiom}
p:Integer->Integer
p(x)==x
p
t:Boolean:(p=p)
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/address@hidden
| [Prev in Thread] | Current Thread | [Next in Thread] |