William Sit <[EMAIL PROTECTED]> writes:
[...]
| Martin:
|
| If we are allowed to change the notation for the monoid structure so that a
set
| can have multiple monoidal structures and we can inquire about it, then some
| code like:
|
| If X has Monoid("*") then ...
|
| would have no definite meaning since you will NOT know the operator in X that
| makes it a monoid.
Huh?
-- Gaby
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
