J E Cremona on Tue, 25 Sep 2018 13:49:36 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

polredbest() and polredabs()


According to http://pari.math.u-bordeaux.fr/dochtml/html-stable/ the function polredbest() "computes an LLL-reduced basis for the ring of integers of ℚ[X]/(T), then ..."   which seems to imply that some expensive work, including factorization of the discriminant, is being done.  For polredabs() this is made very explicit with warnings about how expensive it might be, but there are no sych warnings for polredbest().

Is the documentation wrong?  Or does polredbest() indeed do the hard work?

John

--
Prof J E Cremona
Warwick Mathematics Institute
University of Warwick
http://www2.warwick.ac.uk/fac/sci/maths/people/staff/john_cremona/