FLINT3.7.0-dev

fmpz_mpoly_deflation

Synopsis#include <flint/fmpz_mpoly.h>
void fmpz_mpoly_deflation(fmpz * shift, fmpz * stride, const fmpz_mpoly_t A, const fmpz_mpoly_ctx_t ctx)source

For each variable vv, with SvS_v the set of exponents of vv in AA, sets shift[v] to min⁡Sv\min S_v and stride[v] to gcd⁡{e−min⁡Sv:e∈Sv}\gcd\{e - \min S_v : e \in S_v\} (zero if SvS_v has one element). If AA is zero, all shifts and strides are zero.

Cite this page

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