FLINT3.7.0-dev

gr_ctx_cmp_coercion

Synopsis#include <flint/gr.h>
int gr_ctx_cmp_coercion(gr_ctx_t ctx1, gr_ctx_t ctx2)source

Returns 1 if elements should be coerced into ctx1 and -1 if into ctx2, when an operation combines elements of both. The rule compares the implementation codes (gr_which_structure, in which structures built on other structures come later), recursing into the base rings of two gr_poly or two matrix contexts; for equal codes it returns 1.

Cite this page

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