Thursday, December 23, 2010

[DMANET] FLINT 1.6 Release

Hi all,

It is with pleasure that we announce a major new version of FLINT
(Fast Library for Number Theory). FLINT is a C library for low level
functionality relevant to number theory, including polynomial
arithmetic and linear algebra. It is used by Sage, for polynomial
arithmetic over Z and Z/nZ for small prime n.

The new version of FLINT can be downloaded from:

The documentation for this release can be downloaded here: (95 pp.)

The major new features of this release (version 1.6) are:

* Implementation of the Zassenhaus algorithm for univariate polynomial
factoring over Z

* Implementation of a new algorithm for factoring polynomials over Z.
See the papers by van Hoeij and Novocin:

and van Hoeij, Novocin and Hart:

* Implementation of new CLD bounds function for polynomial factors.
See the paper of van Hoeij, Novocin and Hart:

Timings in the paper have improved substantially. Over the next few
weeks we will update the new timings here:

(they are currently not up-to-date).

* Restartable variant of Victor Shoup's (NTL) Hensel lifting

* Heuristic LLL implementations using doubles and mpfr (heavily influenced
by fpLLL)

* LLL implementations optimised for knapsack lattices

* New heuristically subquadratic LLL implementation (ULLL). This is
unpublished work of Andy Novocin, but is inspired by the new algorithm
of Novocin, Stehle and Villard:

* An implementation of the Cantor-Zassenhaus algorithm for factoring
polynomials over Z/nZ

* A new F_mpz_mod_poly module for polynomials over Z/pZ for multiprecision p.

Build notes:

* FLINT 1.6 now depends on GMP/MPIR and MPFR.

* FLINT now respects CC and CXX

Further notes:

A vast number of new functions were added in FLINT 1.6. For a partial
list of the improvements, please see:

Future of FLINT:

Expect FLINT 2.0 very soon....

Seasons Greetings,

The FLINT Team.
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.