[flint-devel] FLINT 1.2.5

[Bill H. <goo...@go...>]

I've release FLINT 1.2.5. This fixes a serious error that existed in
zn_poly-0.8. Unbeknownst to me, David Harvey had already fixed this
issue in zn_poly-0.9 but I had not realised that had been released,
due to him changing institutions and me not updating my link to his
webpage in my frequently visited tabs list. FLINT now uses zn_poly-0.9
by default for polynomial arithmetic over Z/nZ in zmod_poly.

There is still an issue with z_factor which fails to factor some
numbers very rarely (it prints a message to say it has failed). Tom
Boothby is working on a fix, and this should also speed up the
factorisation function noticeably.

Bill.