[Axiom-developer] [#226 Equality in FunctionCalled]

[wyscc]

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