aboutsummaryrefslogtreecommitdiff
path: root/src/interp/compress.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-05-31 20:49:02 +0000
committerdos-reis <gdr@axiomatics.org>2009-05-31 20:49:02 +0000
commit803d7a62fb91bb4083a0aaaaa20749574292e967 (patch)
tree96fa55d12fe4f5e203c239e140f533b7a2824852 /src/interp/compress.boot
parent748e67afa492ccf46498cfa33541327aa11ad584 (diff)
downloadopen-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/interp/compress.boot')
0 files changed, 0 insertions, 0 deletions