[Axiom-developer] Sets in MonoidRing

[root]

You're right, the answer should be 

one? p ==> true.

Perhaps the problem isn't in the code but the (human) interpreter :-)

Equality could also be at the root of the problem. Common lisp
has several notions of equality: eq, eql, equal and the differences
are subtle. 

Tim
address@hidden
address@hidden