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

[wyscc]

Changes http://wiki.axiom-developer.org/226EqualityInFunctionCalled/diff
--

??changed:
-In fact, in variable.spad, the result should be true always.
In fact, in 'variable.spad', the result should be true always.

??changed:
-
 Moreover, even this function gives the wrong answer. According to the ')set 
mess bot on message', the test function is taken from the domain '(INT->INT)', 
which is 'Mapping(INT, INT)'. Unfortunately, Mapping is an Axiom primitive and 
according to available documentation:

\begin{axiom}
)show Mapping
\end{axiom}

In any case, according to Hyperdoc, there is only one function exported: (you 
guessed it) equality testing. I have no idea where the code is or how the 
testing is done. Equivalence of functions (lambda terms) is undecidable, so I 
suppose equality here means equality in implementation? But surely, 'p' should 
be equal to 'p' however you test it.

--
forwarded from http://wiki.axiom-developer.org/address@hidden