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/LNAGG-.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/LNAGG-.lsp')
0 files changed, 0 insertions, 0 deletions