diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-29 18:01:05 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-29 18:01:05 +0000 |
| commit | fd316ce354e4eeace24d80cad6959245732217df (patch) | |
| tree | d0a2c8a6f11c01cfb23e1b56691e2e8f2bc4fbd2 /src/algebra/catdef.spad.pamphlet | |
| parent | c56406a1f224d195edb2fa8cee5f2fb277bd1164 (diff) | |
| download | open-axiom-fd316ce354e4eeace24d80cad6959245732217df.tar.gz | |
* algebra/aggcat.spad.pamphlet: Import used domains.
* algebra/any.spad.pamphlet: Likewise.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/drawopt.spad.pamphlet: Likewise.
* algebra/equation2.spad.pamphlet: Likewise.
* algebra/ituple.spad.pamphlet: Likewise.
* algebra/mkfunc.spad.pamphlet: Likewise.
* algebra/omdev.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/plot.spad.pamphlet: Likewise.
* algebra/print.spad.pamphlet: Likewise.
* algebra/seg.spad.pamphlet: Likewise.
* algebra/stream.spad.pamphlet: Likewise.
* algebra/system.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 628130a2..b2d2c42e 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -94,7 +94,9 @@ AbelianMonoid(): Category == AbelianSemiGroup with \section{category ABELSG AbelianSemiGroup} + <<category ABELSG AbelianSemiGroup>>= +import PositiveInteger )abbrev category ABELSG AbelianSemiGroup ++ Author: ++ Date Created: @@ -155,8 +157,11 @@ Algebra(R:CommutativeRing): Category == coerce(x:R):% == x * 1$% @ + \section{category BASTYPE BasicType} + <<category BASTYPE BasicType>>= +import Boolean )abbrev category BASTYPE BasicType --% BasicType ++ Author: @@ -178,7 +183,9 @@ BasicType(): Category == with _~_=(x:%,y:%) : Boolean == not(x=y) @ + \section{category BMODULE BiModule} + <<category BMODULE BiModule>>= )abbrev category BMODULE BiModule ++ Author: @@ -1255,7 +1262,9 @@ OrderedRing(): Category == Join(OrderedAbelianGroup,Ring,Monoid) with @ \section{category ORDSET OrderedSet} + <<category ORDSET OrderedSet>>= +import Boolean )abbrev category ORDSET OrderedSet ++ Author: ++ Date Created: @@ -1578,7 +1587,9 @@ Rng(): Category == Join(AbelianGroup,SemiGroup) @ \section{category SGROUP SemiGroup} + <<category SGROUP SemiGroup>>= +import PositiveInteger )abbrev category SGROUP SemiGroup ++ Author: ++ Date Created: |