fmpz_mpoly_q_factored_canonicalise
Synopsis
#include <flint/fmpz_mpoly_q.h>void fmpz_mpoly_q_factored_canonicalise(fmpz_mpoly_q_factored_t x, const fmpz_mpoly_ctx_t ctx)sourcePuts x in canonical form. The input may have any nonzero integer constant and constant_den in the denominator, and bases that are any nonzero polynomials (not necessarily irreducible, distinct or sorted) with any integer exponents; bases with negative exponents are moved to the numerator. Each base with positive exponent is factored into irreducibles, and common factors of numerator and denominator are then removed. Throws if the denominator is zero.
Cite this page
The FLINT team, “fmpz_mpoly_q_factored_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_factored_canonicalise.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mpoly-q-fmpz-mpoly-q-factored-canonicalise,
author = {{The FLINT team}},
title = {{fmpz\_mpoly\_q\_factored\_canonicalise (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_factored_canonicalise.html},
note = {Generated 2026-10-20}
}