diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-28 00:29:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-28 00:29:58 +0000 |
| commit | 6ec189437ed7e4f737875407152cd2c359d2942e (patch) | |
| tree | 48183ccf896a1ce9ee26cd289f33c2b436848e60 /src/algebra | |
| parent | b366261f80ac518a14ad3c12ca7c0f77fc7d7474 (diff) | |
| download | open-axiom-6ec189437ed7e4f737875407152cd2c359d2942e.tar.gz | |
* algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 3 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 3 | ||||
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 12 |
3 files changed, 16 insertions, 2 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 59ca6433..60409632 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -378,7 +378,8 @@ axiom_algebra_layer_1 = \ AGG AGG- IEVALAB IEVALAB- FORTCAT ITUPLE \ PATAB PPCURVE PSCURVE REAL RESLATC RETRACT \ RETRACT- SEGCAT BINDING SYNTAX BMODULE LOGIC \ - LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE + LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE \ + OSGROUP axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 28596791..0012c422 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -218,7 +218,8 @@ axiom_algebra_layer_1 = \ AGG AGG- IEVALAB IEVALAB- FORTCAT ITUPLE \ PATAB PPCURVE PSCURVE REAL RESLATC RETRACT \ RETRACT- SEGCAT BINDING SYNTAX BMODULE LOGIC \ - LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE + LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE \ + OSGROUP axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 58198cd9..403716e4 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -2920,6 +2920,18 @@ OrderedAbelianMonoidSup(): Category == OrderedCancellationAbelianMonoid with OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup) @ + +\section{The Ordered Semigroup Category} +<<category OSGROUP OrderedSemiGroup>>= +)abbrev category OSGROUP OrderedSemiGroup +++ Author: Gabriel Dos Reis +++ Date Create May 25, 2008 +++ Date Last Updated: May 25, 2008 +++ Description: Semigroups with compatible ordering. +OrderedSemiGroup(): Category == Join(OrderedSet, SemiGroup) +@ + +@ \section{category OCAMON OrderedCancellationAbelianMonoid} <<category OCAMON OrderedCancellationAbelianMonoid>>= )abbrev category OCAMON OrderedCancellationAbelianMonoid |