FLINT3.7.0-dev

nmod_mpoly_compression_do, nmod_mpoly_compression_undo

Synopsis#include <flint/nmod_mpoly_factor.h>
void nmod_mpoly_compression_do(nmod_mpoly_t L, const nmod_mpoly_ctx_t Lctx, ulong * Acoeffs, slong Alen, mpoly_compression_t M)source
void nmod_mpoly_compression_undo(nmod_mpoly_t A, flint_bitcnt_t Abits, const nmod_mpoly_ctx_t Actx, nmod_mpoly_t L, const nmod_mpoly_ctx_t Lctx, mpoly_compression_t M)source

Apply the compression M (computed by mpoly_compression_set, see mpoly.h) to the terms Acoeffs of length Alen, giving L in the context Lctx with fewer variables, and undo it, giving A with Abits exponent bits. A compression is an invertible monomial change of variables that removes unused variables and redundancy in the exponents.

Cite this page

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