Re: [Axiom-developer] Call for help

[daly]

Martin,

There is a distinction to be made between mathematical AXIOMS for
the category (e.g. associative) and SIGNATURES for the functions
in a category (domain, package). 

Interesting questions arise for functions like coerce, convert,
and retract about how they preserve AXIOMs across domains.
Packages have a similar issue as packages tend to do rewrites.

If nothing else, this task is going to be educational.

Tim