fmpz_mpoly_q_is_canonical
Synopsis
#include <flint/fmpz_mpoly_q.h>int fmpz_mpoly_q_is_canonical(const fmpz_mpoly_q_t x, const fmpz_mpoly_ctx_t ctx)sourceReturns whether is canonical. Besides coprimality and the sign of the leading coefficient of the denominator, this checks that the denominator is nonzero and that both polynomials are canonical fmpz_mpoly values, which makes it useful as a consistency check in tests.
Cite this page
The FLINT team, “fmpz_mpoly_q_is_canonical (fmpz_mpoly_q.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mpoly_q/fmpz_mpoly_q_is_canonical.html (generated 2026-11-02).
@misc{flint-doc-fmpz-mpoly-q-fmpz-mpoly-q-is-canonical,
author = {{The FLINT team}},
title = {{fmpz\_mpoly\_q\_is\_canonical (fmpz\_mpoly\_q.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mpoly_q/fmpz_mpoly_q_is_canonical.html},
note = {Generated 2026-11-02}
}