FLINT3.7.0-dev

fmpz_mpoly_resultant

Synopsis#include <flint/fmpz_mpoly.h>
int fmpz_mpoly_resultant(fmpz_mpoly_t R, const fmpz_mpoly_t A, const fmpz_mpoly_t B, slong var, const fmpz_mpoly_ctx_t ctx)source

Sets R to the resultant of A and B with respect to the variable of index var, and returns 1, or returns 0 on failure. If the context has two variables and the inputs are dense enough and of large enough degree, the resultant is computed by a dense multimodular algorithm (fmpz_bpoly_resultant, which uses the evaluation and interpolation algorithm of Bivariate resultants by evaluation and interpolation modulo each prime); otherwise by Ducos' subresultant algorithm on the univariate forms [Duc2000].

References#

Cite this page

The FLINT team, “fmpz_mpoly_resultant (fmpz_mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mpoly/fmpz_mpoly_resultant.html (generated 2026-10-20).