Skip to content

FLINT`Resultant

Status: Stable

documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

Description

FLINT`Resultant[a, b, x] gives the resultant of the polynomials a and b eliminating the variable x, over the rationals, computed directly via FLINT (fmpq_mpoly_resultant). Other variables are treated as coefficients. Returns unevaluated if out of scope.

Examples

All examples below are verified against the current Mathilda build.

In[1]:= FLINT`Resultant[x^2 - 1, x - 2, x]
Out[1]= 3

Implementation notes

Attributes: Protected.

Implementation status

Stable — documented, exercised by the test suite and/or worked examples, with no known limitations recorded.

References