fmpz_mpoly_is_canonical, fmpz_mpoly_assert_canonical
Synopsis
#include <flint/fmpz_mpoly.h>int fmpz_mpoly_is_canonical(const fmpz_mpoly_t A, const fmpz_mpoly_ctx_t ctx)sourcevoid fmpz_mpoly_assert_canonical(const fmpz_mpoly_t A, const fmpz_mpoly_ctx_t ctx)sourceTest whether A is canonical: no coefficient is zero, the monomials are strictly decreasing, and the packed exponents are valid (no guard bit set, and for degree orderings the total degree field is correct). The assert version throws FLINT_ERROR with a message describing the problem instead of returning 0.
Guides#
Cite this page
The FLINT team, “fmpz_mpoly_is_canonical, fmpz_mpoly_assert_canonical (fmpz_mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mpoly/fmpz_mpoly_is_canonical.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mpoly-fmpz-mpoly-is-canonical,
author = {{The FLINT team}},
title = {{fmpz\_mpoly\_is\_canonical, fmpz\_mpoly\_assert\_canonical (fmpz\_mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mpoly/fmpz_mpoly_is_canonical.html},
note = {Generated 2026-10-20}
}