`mpoly_monomials_deflation`

Synopsis#include <flint/mpoly.h>

void mpoly_monomials_deflation(fmpz * shift, fmpz * stride, const ulong * Aexps, flint_bitcnt_t Abits, slong Alength, const mpoly_ctx_t mctx)

source

For each variable $v$ , with $S_v$ the set of exponents of $v$ in the monomials, sets shift[v] to $\min S_v$ and stride[v] to $\gcd\{e - \min S_v : e \in S_v\}$ , which is zero if $S_v$ has one element. Every monomial then has exponent $\mathit{shift}_v + k \cdot \mathit{stride}_v$ in $v$ . For an empty array all shifts and strides are zero.

Cite this page

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

@misc{flint-doc-mpoly-mpoly-monomials-deflation,
  author       = {{The FLINT team}},
  title        = {{mpoly\_monomials\_deflation (mpoly.h)}},
  howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
  year         = {2026},
  url          = {https://flintlib.org/doc/mpoly/mpoly_monomials_deflation.html},
  note         = {Generated 2026-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95