diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-18 18:49:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-18 18:49:32 +0000 |
| commit | 0e24179347ef7fd64e624e6fa5b4592e9ab6fc87 (patch) | |
| tree | b5c14465e194b92c400b1212e95c6f6a9e907bbe /src/ChangeLog | |
| parent | 38982ebf4d9b23fe336bd4880ef0f4d59dbc7684 (diff) | |
| download | open-axiom-0e24179347ef7fd64e624e6fa5b4592e9ab6fc87.tar.gz | |
Fix AW/221
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a
join of OrderedSet and AbelianSemiGroup.
* algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to
both OrderedAbelianSemiGroup and Monoid. Update cached Lisp
translation.
* shared/algebra: Update databases.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index e3760909..5162aa12 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,15 @@ 2008-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu> + Fix AW/221 + * algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a + join of OrderedSet and AbelianSemiGroup. + * algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to + both OrderedAbelianSemiGroup and Monoid. Update cached Lisp + translation. + * shared/algebra: Update databases. + +2008-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu> + Fix AW/313 * algebra/reclos.spad.pamphlet (sqrt$RealClosedField): Fix signature. |