Re: [Axiom-developer] Curiosities with Axiom mathematical structures

[Gabriel Dos Reis]

William Sit <address@hidden> 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