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)sourceSets res to the canonical associate of f: f multiplied by the unit c of R that makes the leading coefficient canonical in the sense of gr_canonical_associate (1 over a field, positive over \mathbb{Z}). If u is not NULL, it is set to the constant polynomial c, so that \mathit{res} = u f. The zero polynomial is its own canonical associate, with u = 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-10-20).
@misc{flint-doc-gr-poly-gr-poly-canonical-associate,
author = {{The FLINT team}},
title = {{gr\_poly\_canonical\_associate (gr\_poly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/gr_poly/gr_poly_canonical_associate.html},
note = {Generated 2026-10-20}
}