mpoly_monomials_valid_test, mpoly_monomials_overflow_test, mpoly_monomials_inorder_test
Synopsis
#include <flint/mpoly.h>int mpoly_monomials_valid_test(ulong * exps, slong len, flint_bitcnt_t bits, const mpoly_ctx_t mctx)sourceint mpoly_monomials_overflow_test(ulong * exps, slong len, flint_bitcnt_t bits, const mpoly_ctx_t mctx)sourceint mpoly_monomials_inorder_test(ulong * exps, slong len, flint_bitcnt_t bits, const mpoly_ctx_t mctx)sourceConsistency checks used by the assert_canonical functions. The first returns whether every total degree field (for degree orderings) equals the sum of the exponents, the second whether some field has its guard bit set, and the third whether the monomials are strictly decreasing.
Cite this page
The FLINT team, “mpoly_monomials_valid_test, mpoly_monomials_overflow_test, mpoly_monomials_inorder_test (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/mpoly_monomials_valid_test.html (generated 2026-10-20).
@misc{flint-doc-mpoly-mpoly-monomials-valid-test,
author = {{The FLINT team}},
title = {{mpoly\_monomials\_valid\_test, mpoly\_monomials\_overflow\_test, mpoly\_monomials\_inorder\_test (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_valid_test.html},
note = {Generated 2026-10-20}
}