[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#226 Equality in FunctionCalled]
From: |
wyscc |
Subject: |
[Axiom-developer] [#226 Equality in FunctionCalled] |
Date: |
Mon, 31 Oct 2005 19:45:34 -0600 |
Changes http://wiki.axiom-developer.org/226EqualityInFunctionCalled/diff
--
++added:
)set mess bot on
t:=(p=p)
++added:
In fact, in variable.spad, the result should be true always.
\begin{verbatim}
)abbrev domain FUNCTION FunctionCalled
++ Description:
++ This domain implements named functions
FunctionCalled(f:Symbol): SetCategory with
name: % -> Symbol
++ name(x) returns the symbol
== add
name r == f
coerce(r:%):OutputForm == f::OutputForm
x = y == true
latex(x:%):String == latex f
\end{verbatim}
So the code has no bugs! The Interpreter uses the wrong equality test function.
--
forwarded from http://wiki.axiom-developer.org/address@hidden