gr_poly_quotient_ctx_refine
Synopsis
#include <flint/gr.h>Replaces the modulus by new_modulus, which must be monic of degree at least 1, and returns GR_DOMAIN otherwise. If the new modulus divides the old one (for instance a factor recovered from a zero divisor), existing elements remain valid representatives of their images in the new ring: they are reduced by subsequent operations, so no conversion is needed. Previous moduli are kept until the context is cleared, so that a pointer obtained from gr_poly_quotient_ctx_modulus stays valid.
Cite this page
The FLINT team, “gr_poly_quotient_ctx_refine (gr.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr_domains/gr_poly_quotient_ctx_refine.html (generated 2026-10-20).
@misc{flint-doc-gr-domains-gr-poly-quotient-ctx-refine,
author = {{The FLINT team}},
title = {{gr\_poly\_quotient\_ctx\_refine (gr.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/gr_domains/gr_poly_quotient_ctx_refine.html},
note = {Generated 2026-10-20}
}