FLINT3.7.0-dev

fmpz_mpoly_q_canonicalise

Synopsis#include <flint/fmpz_mpoly_q.h>
void fmpz_mpoly_q_canonicalise(fmpz_mpoly_q_t x, const fmpz_mpoly_ctx_t ctx)source

Puts x in canonical form by dividing the numerator and the denominator by their GCD (as polynomials over \mathbb{Z}, including the integer content) and making the leading coefficient of the denominator positive. The terms of both must be sorted and the denominator nonzero.

Cite this page

The FLINT team, “fmpz_mpoly_q_canonicalise (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_canonicalise.html (generated 2026-10-20).