diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-02-25 02:52:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-02-25 02:52:24 +0000 |
| commit | 2918e9b3cf5c5a39c85c765a79236e01a9540629 (patch) | |
| tree | 1cb35fbd8df84932eb2c5b7fc452f48fe6107bb6 /src/algebra/exposed.lsp.pamphlet | |
| parent | 230e2d3f27c556cf2c61127ea8f525dc17c5aa9a (diff) | |
| download | open-axiom-2918e9b3cf5c5a39c85c765a79236e01a9540629.tar.gz | |
* algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.
(BinaryOperation): Likewise.
(IdempotentOperatorCategory): Likewise.
(SemiGroupOperatorCategory): Likewise.
(SemiGroupOperation): Likewise.
(MonoidOperatorCategory): Likewise.
(MonoidOperation): Likewise.
* algebra/exposed.lsp.pamphlet: Expose them.
* algebra/Makefile.in (oa_algebra_layer_0): Include IDEMOPC,
SGPOPC, SPGOP, MONOPC, BINOPC.
(axiom_algebra_layer_1): Include MONOP.
Diffstat (limited to 'src/algebra/exposed.lsp.pamphlet')
| -rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index 0c8523cf..85f460f4 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -70,6 +70,7 @@ (|BasicOperator| . BOP) (|BasicOperatorFunctions1| . BOP1) (|BinaryExpansion| . BINARY) + (|BinaryOperation| . BINOP) (|BinarySearchTree| . BSTREE) (|BinaryTournament| . BTOURN) (|BinaryTree| . BTREE) @@ -260,6 +261,7 @@ (|MergeThing| . MTHING) (|ModularDistinctDegreeFactorizer| . MDDFACT) (|ModuleOperator| . MODOP) + (|MonoidOperation| . MONOP) (|MonoidRingFunctions2| . MRF2) (|MoreSystemCommands| . MSYSCMD) (|MPolyCatFunctions2| . MPC2) @@ -386,6 +388,7 @@ (|SegmentBinding| . SEGBIND) (|SegmentBindingFunctions2| . SEGBIND2) (|SegmentFunctions2| . SEG2) + (|SemiGroupOperation| . SGPOP) (|SequenceAst| . SEQAST) (|Set| . SET) (|Signature| . SIG) @@ -476,6 +479,7 @@ (|BagAggregate| . BGAGG) (|BasicType| . BASTYPE) (|BiModule| . BMODULE) + (|BinaryOperatorCategory| . BINOPC) (|BinaryRecursiveAggregate| . BRAGG) (|BinaryTreeCategory| . BTCAT) (|BitAggregate| . BTAGG) @@ -553,6 +557,7 @@ (|HomogeneousAggregate| . HOAGG) (|HomotopicTo| . HOMOTOP) (|HyperbolicFunctionCategory| . HYPCAT) + (|IdempotentOperatorCategory| . IDEMOPC) (|IndexedAggregate| . IXAGG) (|IndexedDirectProductCategory| . IDPC) (|InnerEvalable| . IEVALAB) @@ -579,6 +584,7 @@ (|Monad| . MONAD) (|MonadWithUnit| . MONADWU) (|Monoid| . MONOID) + (|MonoidOperatorCategory| . MONOPC) (|MonogenicAlgebra| . MONOGEN) (|MonogenicLinearOperator| . MLO) (|MultiDictionary| . MDAGG) @@ -649,6 +655,7 @@ (|SegmentCategory| . SEGCAT) (|SegmentExpansionCategory| . SEGXCAT) (|SemiGroup| . SGROUP) + (|SemiGroupOperatorCategory| . SGPOPC) (|SemiRing| . SRING) (|SetAggregate| . SETAGG) (|SetCategory| . SETCAT) |