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/ChangeLog | |
| 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/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 529cd053..5d6974e8 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,19 @@ +2009-05-31 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * 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. + 2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/catdef.spad.pamphlet (SetCategory): Provide default |