[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Call for help

From: daly
Subject: Re: [Axiom-developer] Call for help
Date: Sun, 26 Jul 2015 14:26:28 -0500


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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]