From 1bfecf3e58163305cb5753caab462ed57d0d67fc Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 17 Jun 2010 03:51:01 +0000 Subject: * 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. --- src/ChangeLog | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 8306d205..4074e739 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,11 @@ +2010-06-16 Gabriel Dos Reis + + * 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 * algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirement -- cgit v1.2.3