diff options
author | dos-reis <gdr@axiomatics.org> | 2011-03-08 04:58:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-03-08 04:58:08 +0000 |
commit | 5a879844f45fd5b566ef61bb3cc9b2a2a0a5c3a7 (patch) | |
tree | 5d45cbaf2e5fd49cc867509db391f9044b3e2f27 /src/algebra/exposed.lsp.pamphlet | |
parent | b96103f871a1bc514bd9b2ab99fb83fd9e3078f6 (diff) | |
download | open-axiom-5a879844f45fd5b566ef61bb3cc9b2a2a0a5c3a7.tar.gz |
* algebra/catdef.spad.pamphlet (SemiRing): New category.
Diffstat (limited to 'src/algebra/exposed.lsp.pamphlet')
-rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index 3acfbcfe..ffc816cf 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -782,6 +782,7 @@ (|SegmentCategory| . SEGCAT) (|SegmentExpansionCategory| . SEGXCAT) (|SemiGroup| . SGROUP) + (|SemiRing| . SRING) (|SetAggregate| . SETAGG) (|SetCategory| . SETCAT) (|SExpressionCategory| . SEXCAT) |