FLINT3.7.0-dev

_fmpz_mpoly_get_lead0, _fmpz_mpoly_set_lead0

Synopsis#include <flint/fmpz_mpoly_factor.h>
void _fmpz_mpoly_get_lead0(fmpz_mpoly_t c, const fmpz_mpoly_t A, const fmpz_mpoly_ctx_t ctx)source
void _fmpz_mpoly_set_lead0(fmpz_mpoly_t A, const fmpz_mpoly_t B, const fmpz_mpoly_t c, const fmpz_mpoly_ctx_t ctx)source

In a lex context, set c to the leading coefficient of A as a polynomial in x_0 (a polynomial in the other variables), and set A to B with that leading coefficient replaced by c.

Cite this page

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