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/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
