axiom-developer
[Top][All Lists]

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

 From: wyscc Subject: [Axiom-developer] [#226 Equality in FunctionCalled] Date: Mon, 31 Oct 2005 21:40:55 -0600

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.

--