Log Message:
Update to 1.3.5

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).