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/exposed.lsp.pamphlet | |
| 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/exposed.lsp.pamphlet')
| -rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index c1ca17ae..5247a755 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -679,11 +679,13 @@ (|KeyedDictionary| . KDAGG) (|LazyStreamAggregate| . LZSTAGG) (|LeftAlgebra| . LALG) + (|LeftLinearSet| . LLINSET) (|LeftModule| . LMODULE) (|LieAlgebra| . LIECAT) (|LinearAggregate| . LNAGG) (|LinearlyExplicitRingOver| . LINEXP) (|LinearOrdinaryDifferentialOperatorCategory| . LODOCAT) + (|LinearSet| . LINSET) (|LiouvillianFunctionCategory| . LFCAT) (|ListAggregate| . LSAGG) (|Logic| . LOGIC) @@ -752,6 +754,7 @@ (|RetractableTo| . RETRACT) (|RGBColorModel| . RGBCMDL) (|RGBColorSpace| . RGBCSPC) + (|RightLinearSet| . RLINSET) (|RightModule| . RMODULE) (|Ring| . RING) (|Rng| . RNG) |