S
ubresultants
Resultant_Prelim
Dichotomous_Lazard
Binary_Exponentiation
More_Homomorphisms
Coeff_Int
Subresultant
Subresultant_Gcd