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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer