[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 19:45:34 -0600


)set mess bot on


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

)abbrev domain FUNCTION FunctionCalled
++ Description:
++ This domain implements named functions
FunctionCalled(f:Symbol): SetCategory with 
        name: % -> Symbol 
                ++ name(x) returns the symbol
  == add
   name r                 == f
   coerce(r:%):OutputForm == f::OutputForm
   x = y                  == true
   latex(x:%):String      == latex f

So the code has no bugs! The Interpreter uses the wrong equality test function.

forwarded from

reply via email to

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