diff options
author | dos-reis <gdr@axiomatics.org> | 2011-03-12 01:01:24 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 01:01:24 +0000 |
commit | 4a92a0cc2bca6807ea4362797cfe6939bad4889b (patch) | |
tree | 5394491ae9aa1433eb2d3d8971205875ec557750 /src/doc | |
parent | 6672aec6078bc810e4fb018168a8ea1d9959a186 (diff) | |
download | open-axiom-4a92a0cc2bca6807ea4362797cfe6939bad4889b.tar.gz |
* algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Export
negative?, abs, sign, with default implementations.
(OrderedAbelianMonoid): Export positive?, with default.
(OrderedRing): Don't export them.
Diffstat (limited to 'src/doc')
0 files changed, 0 insertions, 0 deletions