[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 |
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] Call for help, daly, 2015/07/25
- Re: [Axiom-developer] Call for help, daly, 2015/07/25
- Re: [Axiom-developer] Call for help,
daly <=
- Re: [Axiom-developer] Call for help, daly, 2015/07/26
- Re: [Axiom-developer] Call for help, daly, 2015/07/26
- Re: [Axiom-developer] Call for help, daly, 2015/07/27
- Re: [Axiom-developer] Call for help, daly, 2015/07/27
- Re: [Axiom-developer] Call for help, daly, 2015/07/27