fmpz_mod_mpoly_q_is_canonical
Synopsis
#include <flint/fmpz_mod_mpoly_q.h>int fmpz_mod_mpoly_q_is_canonical(const fmpz_mod_mpoly_q_t res, const fmpz_mod_mpoly_ctx_t ctx)sourceReturns whether x is in canonical form: the numerator and denominator are canonical polynomials, the denominator is nonzero and monic, and the GCD of numerator and denominator is 1. Used for testing.
Cite this page
The FLINT team, “fmpz_mod_mpoly_q_is_canonical (fmpz_mod_mpoly_q.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mod_mpoly_q/fmpz_mod_mpoly_q_is_canonical.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mod-mpoly-q-fmpz-mod-mpoly-q-is-canonical,
author = {{The FLINT team}},
title = {{fmpz\_mod\_mpoly\_q\_is\_canonical (fmpz\_mod\_mpoly\_q.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mod_mpoly_q/fmpz_mod_mpoly_q_is_canonical.html},
note = {Generated 2026-10-20}
}