diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-17 03:51:01 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-17 03:51:01 +0000 |
| commit | 1bfecf3e58163305cb5753caab462ed57d0d67fc (patch) | |
| tree | b62b1860cc2a57a60c5a78efc22d72b5e025c22e /src/ChangeLog | |
| parent | 4c62f989b0c11eb9d3e6c04d966d108fd842fe5d (diff) | |
| download | open-axiom-1bfecf3e58163305cb5753caab462ed57d0d67fc.tar.gz | |
* algebra/vector.spad.pamphlet (DirectProductCategory): Extend
LinearSet if the coefficient type satifies Monoid. Remove
previous bogus extension of Monoid.
Similarly, extend OrderedSet if the element type satisfies
OrderedSet. Remove previous bogus extension of OrderedRing.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 8306d205..4074e739 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,13 @@ 2010-06-16 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/vector.spad.pamphlet (DirectProductCategory): Extend + LinearSet if the coefficient type satifies Monoid. Remove + previous bogus extension of Monoid. + Similarly, extend OrderedSet if the element type satisfies + OrderedSet. Remove previous bogus extension of OrderedRing. + +2010-06-16 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirement on argument. (RightLinearSet): Likewise. |