_ca_mpoly_q_simplify_fraction_ideal
Synopsis
#include <flint/ca.h>void _ca_mpoly_q_simplify_fraction_ideal(fmpz_mpoly_q_t res, ca_field_srcptr field, ca_ctx_t ctx)sourceTries to simplify the fraction res using the ideal of relations of field, currently by moving monomial factors of the denominator to the numerator: if a relation has a leading monomial u sharing a factor g with the denominator, numerator and denominator are multiplied by u/g and reduced, which is kept if the denominator decreases.
Cite this page
The FLINT team, “_ca_mpoly_q_simplify_fraction_ideal (ca.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/ca/_ca_mpoly_q_simplify_fraction_ideal.html (generated 2026-10-20).
@misc{flint-doc-ca-ca-mpoly-q-simplify-fraction-ideal,
author = {{The FLINT team}},
title = {{\_ca\_mpoly\_q\_simplify\_fraction\_ideal (ca.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/ca/_ca_mpoly_q_simplify_fraction_ideal.html},
note = {Generated 2026-10-20}
}