FLINT3.7.0-dev

_ca_mpoly_q_reduce_ideal

Synopsis#include <flint/ca.h>
void _ca_mpoly_q_reduce_ideal(fmpz_mpoly_q_t res, ca_field_srcptr field, ca_ctx_t ctx)source

Reduces the numerator and the denominator of res, an element of the generic field field, modulo the ideal of relations of the field (by pseudo-division with remainder), and cancels common factors.

Cite this page

The FLINT team, “_ca_mpoly_q_reduce_ideal (ca.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/ca/_ca_mpoly_q_reduce_ideal.html (generated 2026-10-20).