Functions | |
void | fmpq_poly_resultant (mpq_t rop, const fmpq_poly_ptr a, const fmpq_poly_ptr b) |
Returns the resultant of a and b .Returns the resultant of a and b . |
void fmpq_poly_resultant | ( | mpq_t | rop, | |
const fmpq_poly_ptr | a, | |||
const fmpq_poly_ptr | b | |||
) |
Returns the resultant of a
and b
.Returns the resultant of a
and b
.
Enumerating the roots of a
and b
over as and , respectively, and letting and denote the leading coefficients, the resultant is defined as
We handle special cases as follows: if one of the polynomials is zero, the resultant is zero. Note that otherwise if one of the polynomials is constant, the last term in the above expression is the empty product.