[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] axiom names and lisp names
From: |
Page, Bill |
Subject: |
[Axiom-developer] axiom names and lisp names |
Date: |
Wed, 23 Jul 2003 16:47:58 -0400 |
Tim,
How do I translate from the axiom name of a variable
to the lisp name? What I would like to do (maybe you
can do it faster?) is use our simple example where
pgr:=MonoidRing(...)
p:pgr:=1
q:pgr:=1
(p=q)::Boolean
false
fails. And follow this by something like
)lisp (equal p q)
)lisp (eql p q)
)lisp (eq p q)
but of course I need to know the real lisp names for
p and q.
BTW, I notice that
(p=1)::Boolean
false
but
p-q
0
and even
p-1
0
I still think this points at a failure in the underlying
lisp equality (or maybe the Equation constructor algebra).
Regards,
Bill Page.
- [Axiom-developer] axiom names and lisp names,
Page, Bill <=