AngouriMath
FactorCoefficientBound
Method (no overloads)
Summary
An upper bound on the absolute value of any coefficient of any divisor of this
polynomial inZ[x] .
polynomial in
Remarks
Mignotte's bound: a factor of degree m of a polynomial f of degree
n has every coefficient at most 2^m * |f|_2 in absolute value, and
m <= n gives the uniform bound used here. It is what tells the Hensel
lift when to stop: once the modulus exceeds twice this, a coefficient in the
symmetric range modulo it is the coefficient itself rather than a residue.
Mignotte, An inequality about factors of polynomials, Math. Comp. 28 (1974);
von zur Gathen and Gerhard, Modern Computer Algebra, §6.6 and §15.2.
lift when to stop: once the modulus exceeds twice this, a coefficient in the
symmetric range modulo it is the coefficient itself rather than a residue.
Mignotte, An inequality about factors of polynomials, Math. Comp. 28 (1974);
von zur Gathen and Gerhard, Modern Computer Algebra, §6.6 and §15.2.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online