diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-07 10:14:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-07 10:14:32 +0000 |
| commit | 37b62857fd265cc8bfd157b5cb206f87be29c89c (patch) | |
| tree | e4c06ddc33b8efea2863284d88a962784012d2eb /src/ChangeLog | |
| parent | fe37a8dc69fe54f48078fd893a7490555ce804ed (diff) | |
| download | open-axiom-37b62857fd265cc8bfd157b5cb206f87be29c89c.tar.gz | |
Tidy indexed direct product domains
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 be8ec59f..fc313876 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,13 @@ 2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory): + Now extends ConvertibleFrom IndexedProductTerm(A,S). + (IndexedDirectProductObject): Simplify. + (IndexedDirectProductAbelianMonoid): Tidy. + (IndexedDirectProductOrderedAbelianMonoid): Likewise. + +2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain. 2013-04-07 Gabriel Dos Reis <gdr@integrable-solutions.net> |