[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiomdeveloper] [#226 Equality in FunctionCalled]
From: 
wyscc 
Subject: 
[Axiomdeveloper] [#226 Equality in FunctionCalled] 
Date: 
Mon, 31 Oct 2005 21:40:55 0600 
Changes http://wiki.axiomdeveloper.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.axiomdeveloper.org/address@hidden