Sciweavers

CORR
2016
Springer

A Modular Algorithm for Computing Polynomial GCDs over Number Fields presented with Multiple Extensions

8 years 8 months ago
A Modular Algorithm for Computing Polynomial GCDs over Number Fields presented with Multiple Extensions
We consider the problem of computing the monic gcd of two polynomials over a number field L = Q(α1, . . . , αn). Langemyr and McCallum have already shown how Brown’s modular GCD algorithm for polynomials over Q can be modified to work for Q(α) and subsequently, Langemyr extended the algorithm to L[x]. Encarnacion also showed how to use rational number to make the algorithm for Q(α) output sensitive, that is, the number of primes used depends on the size of the integers in the gcd and not on bounds based on the input polynomials. Our first contribution is an extension of Encarnacion’s modular GCD algorithm to the case n > 1, which, like Encarnacion’s algorithm, is is output sensitive. Our second contribution is a proof that it is not necessary to test if p divides the discriminant. This simplifies the algorithm; it is correct without this test. Our third contribution is extensions to the algorithm to treat the case of reducible extensions. Our fourth contribution is an...
Mark van Hoeij, Michael B. Monagan
Added 01 Apr 2016
Updated 01 Apr 2016
Type Journal
Year 2016
Where CORR
Authors Mark van Hoeij, Michael B. Monagan
Comments (0)