_mpoly_compress_exps
Synopsis
#include <flint/mpoly.h>The core of mpoly_compression_set: given the l \times n exponent matrix S (rows are monomials, l > 1), finds a unimodular n \times n matrix V, a vector D and new exponents (overwriting S) with V S'_i + D = S_i for every row, \min_i S'_{ij} = 0 and deg[j] one more than the maximum of column j, by greedy unimodular column operations that reduce the product of the degrees. Returns the number of columns of S' that are not identically zero, which come first.
Cite this page
The FLINT team, “_mpoly_compress_exps (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/_mpoly_compress_exps.html (generated 2026-10-20).
@misc{flint-doc-mpoly-mpoly-compress-exps,
author = {{The FLINT team}},
title = {{\_mpoly\_compress\_exps (mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mpoly/_mpoly_compress_exps.html},
note = {Generated 2026-10-20}
}