mpoly_to_mpolyl_perm_deflate, mpoly_from_mpolyl_perm_inflate
#include <flint/mpoly.h>void mpoly_to_mpolyl_perm_deflate(ulong * Aexps, flint_bitcnt_t Abits, const mpoly_ctx_t Actx, ulong * Bexps, flint_bitcnt_t Bbits, const mpoly_ctx_t Bctx, slong length, const slong * perm, const ulong * shift, const ulong * stride)sourcevoid mpoly_from_mpolyl_perm_inflate(ulong * Bexps, flint_bitcnt_t Bbits, const mpoly_ctx_t Bctx, ulong * Aexps, flint_bitcnt_t Abits, const mpoly_ctx_t Actx, slong length, const slong * perm, const ulong * shift, const ulong * stride)sourceConvert monomials between a context Bctx with n variables and a lex context Actx with m \le n variables, both with single precision packing. Deflation sets the exponent of variable k of A to (e_l - \mathit{shift}_l)/\mathit{stride}_l where l = \mathit{perm}[k] and e_l is the exponent of variable l of B; inflation is the inverse, setting the exponents of variables of B not in the image of perm to their shift. The GCD and factoring code use these to move to a lex ordering in the variables that actually occur. The order of the monomials is not maintained; the caller sorts afterwards.
The FLINT team, “mpoly_to_mpolyl_perm_deflate, mpoly_from_mpolyl_perm_inflate (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/mpoly_to_mpolyl_perm_deflate.html (generated 2026-10-20).
@misc{flint-doc-mpoly-mpoly-to-mpolyl-perm-deflate,
author = {{The FLINT team}},
title = {{mpoly\_to\_mpolyl\_perm\_deflate, mpoly\_from\_mpolyl\_perm\_inflate (mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mpoly/mpoly_to_mpolyl_perm_deflate.html},
note = {Generated 2026-10-20}
}