Changelog:
1.3.5
Notable changes (compared to version 1.3.4):
- Added free noncommutative field.
- Added factorization in free algebra.
- Improved coercion to InputForm.
- Removed cycle related functions from Tree and BinaryTreeCategory.
Bug fixes, in particular:
- Improved portablity to Windows and Mac OSX.
- Fixed input form of formal derivatives.
- Fixed coercion of polynomials to patterns.
- Fixed comparison with signed floating point zero.
1.3.4
otable changes (compared to version 1.3.3):
- Implemented 'sqrt' for prime fields.
- Improved computation of characteristic polynomial.
- Added convertion from list of elements of a free group to
group presentation.
- Added 'extendedLLL'.
- Removed FreeAbelianGroup.
- Removed several old misfeatures.
Bug fixes, in particular:
- Fixed limit of Fresnel functions.
- Fixed few operations for matrices with specialised type.
- Fixed 'factor' for polynomials over finite fields.
1.3.3
Notable changes (compared to version 1.3.2):
- Added LLL reduction.
- New domain IntegerLocalizedAtPrime.
- Implemented numeric 'ellipticPi'.
- Improved Texmacs interface.
- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.
Bug fixes, in particular:
- Fixed compatiblility with sbcl-1.4.5.
- Fixed 'write' to Postscript file.
- Removed unsound power simplification.
- Recursion depth when resolving types is now limited (avoids crashes).
- Fixed handling of leading coefficient in gcd and square-free factorization.
- Build fixes. 1.3.4
otable changes (compared to version 1.3.3):
- Implemented 'sqrt' for prime fields.
- Improved computation of characteristic polynomial.
- Added convertion from list of elements of a free group to
group presentation.
- Added 'extendedLLL'.
- Removed FreeAbelianGroup.
- Removed several old misfeatures.
Bug fixes, in particular:
- Fixed limit of Fresnel functions.
- Fixed few operations for matrices with specialised type.
- Fixed 'factor' for polynomials over finite fields.
1.3.3
Notable changes (compared to version 1.3.2):
- Added LLL reduction.
- New domain IntegerLocalizedAtPrime.
- Implemented numeric 'ellipticPi'.
- Improved Texmacs interface.
- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.
Bug fixes, in particular:
- Fixed compatiblility with sbcl-1.4.5.
- Fixed 'write' to Postscript file.
- Removed unsound power simplification.
- Recursion depth when resolving types is now limited (avoids crashes).
- Fixed handling of leading coefficient in gcd and square-free factorization.
- Build fixes. 1.3.4
otable changes (compared to version 1.3.3):
- Implemented 'sqrt' for prime fields.
- Improved computation of characteristic polynomial.
- Added convertion from list of elements of a free group to
group presentation.
- Added 'extendedLLL'.
- Removed FreeAbelianGroup.
- Removed several old misfeatures.
Bug fixes, in particular:
- Fixed limit of Fresnel functions.
- Fixed few operations for matrices with specialised type.
- Fixed 'factor' for polynomials over finite fields.
1.3.3
Notable changes (compared to version 1.3.2):
- Added LLL reduction.
- New domain IntegerLocalizedAtPrime.
- Implemented numeric 'ellipticPi'.
- Improved Texmacs interface.
- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.
Bug fixes, in particular:
- Fixed compatiblility with sbcl-1.4.5.
- Fixed 'write' to Postscript file.
- Removed unsound power simplification.
- Recursion depth when resolving types is now limited (avoids crashes).
- Fixed handling of leading coefficient in gcd and square-free factorization.
- Build fixes. 1.3.4
otable changes (compared to version 1.3.3):
- Implemented 'sqrt' for prime fields.
- Improved computation of characteristic polynomial.
- Added convertion from list of elements of a free group to
group presentation.
- Added 'extendedLLL'.
- Removed FreeAbelianGroup.
- Removed several old misfeatures.
Bug fixes, in particular:
- Fixed limit of Fresnel functions.
- Fixed few operations for matrices with specialised type.
- Fixed 'factor' for polynomials over finite fields.
1.3.3
Notable changes (compared to version 1.3.2):
- Added LLL reduction.
- New domain IntegerLocalizedAtPrime.
- Implemented numeric 'ellipticPi'.
- Improved Texmacs interface.
- Added 'gbasisExtend', removed VarSet from Groebner package interfaces.
Bug fixes, in particular:
- Fixed compatiblility with sbcl-1.4.5.
- Fixed 'write' to Postscript file.
- Removed unsound power simplification.
- Recursion depth when resolving types is now limited (avoids crashes).
- Fixed handling of leading coefficient in gcd and square-free factorization.
- Build fixes.
1.3.2
Notable changes (compared to version 1.3.1):
- Todd-Coxeter enumeration works also on cosets of subgroups.
- Handle some integrals in terms of incomplete Gamma with
irrational first argument.
- Improvement to expressions: added symbolic 'conjugate',
added derivatives of 'box' and 'paren'.
- Output now contains more spaces.
- Improvements to simplifying routines.
Bug fixes, in particular:
- Fixed a few glitches in printing operations.
- Fixed linear algebra with empty matrices.
- Avoided crash computing some determinants over GF(2).
ad66839313