FLINT3.7.0-dev

gr_poly_canonical_associate

Synopsis#include <flint/gr_poly.h>
int gr_poly_canonical_associate(gr_poly_t res, gr_poly_t u, const gr_poly_t src, gr_ctx_t ctx)source

Sets res to the canonical associate of ff: ff multiplied by the unit cc of RR that makes the leading coefficient canonical in the sense of gr_canonical_associate (1 over a field, positive over Z\mathbb{Z}). If u is not NULL, it is set to the constant polynomial cc, so that res=uf\mathit{res} = u f. The zero polynomial is its own canonical associate, with u=1u = 1. GCD functions use this to normalise their output.

Cite this page

The FLINT team, “gr_poly_canonical_associate (gr_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr_poly/gr_poly_canonical_associate.html (generated 2026-11-02).