[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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


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

 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:

)show Mapping

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]