diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-31 20:49:02 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-31 20:49:02 +0000 |
commit | 803d7a62fb91bb4083a0aaaaa20749574292e967 (patch) | |
tree | 96fa55d12fe4f5e203c239e140f533b7a2824852 /src/algebra/strap/SINT.lsp | |
parent | 748e67afa492ccf46498cfa33541327aa11ad584 (diff) | |
download | open-axiom-803d7a62fb91bb4083a0aaaaa20749574292e967.tar.gz |
* algebra/term.spad.pamphlet (is?$OperatorCategory): New.
* algebra/op.spad.pamphlet (BasicOperator): Don't export is? here.
Inherit it from OperatorCategory Symbol.
* algebra/catdef.spad.pamphlet (LeftLinearSet): New category.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
(AbelianGroup): Extend LeftLinearSet Integer.
(LeftModule): Extend LeftLinearSet R.
(Module): Extend LinearSet R.
(RightModule): Extend RightLinearSet R.
* algebra/exposed.lsp.pamphlet: Expose LeftLinearSet,
RightLinearSet, and LinearSet.
* algebra/Makefile.pamphlet: Tidy.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 30 |
1 files changed, 17 insertions, 13 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index b3ec9c35..cf309a77 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -599,19 +599,19 @@ (|leftUnitary| . 0) (|unitsKnown| . 0)) (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 - 0)) + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 + 0 0 0 0)) (CONS '#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| NIL NIL |GcdDomain&| |IntegralDomain&| |Algebra&| NIL NIL |DifferentialRing&| |OrderedRing&| NIL NIL |Module&| NIL |Ring&| NIL NIL NIL NIL NIL - |AbelianGroup&| NIL NIL NIL NIL + |AbelianGroup&| NIL NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL NIL - |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| - |Logic&| NIL |RetractableTo&| |SetCategory&| - NIL NIL NIL NIL NIL NIL NIL NIL NIL - |BasicType&| NIL) + |OrderedSet&| NIL NIL |AbelianSemiGroup&| + |SemiGroup&| NIL |Logic&| NIL |RetractableTo&| + |SetCategory&| NIL NIL NIL NIL NIL NIL NIL NIL + NIL |BasicType&| NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -632,12 +632,16 @@ (|CancellationAbelianMonoid|) (|OrderedFinite|) (|OrderedAbelianSemiGroup|) - (|AbelianMonoid|) (|Monoid|) (|Finite|) - (|StepThrough|) (|PatternMatchable| 5) - (|OrderedSet|) (|AbelianSemiGroup|) - (|SemiGroup|) (|Logic|) (|RealConstant|) - (|RetractableTo| 5) (|SetCategory|) - (|OpenMath|) (|ConvertibleTo| 98) + (|LinearSet| $$) (|AbelianMonoid|) + (|Monoid|) (|Finite|) (|StepThrough|) + (|PatternMatchable| 5) (|OrderedSet|) + (|LeftLinearSet| $$) + (|RightLinearSet| $$) + (|AbelianSemiGroup|) (|SemiGroup|) + (|LeftLinearSet| 5) (|Logic|) + (|RealConstant|) (|RetractableTo| 5) + (|SetCategory|) (|OpenMath|) + (|ConvertibleTo| 98) (|ConvertibleTo| 96) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 100) |