gr_poly_leading_taylor_shift
Synopsis
#include <flint/gr_poly.h>int gr_poly_leading_taylor_shift(gr_ptr shift, const gr_poly_t p, const gr_poly_t q, gr_ctx_t ctx)sourceComputes the s for which p(x + s) and q(x) have the same two leading coefficients: if p and q have degree n and the same leading coefficient c, then s = (q_{n-1} - p_{n-1}) / (n c). Returns GR_DOMAIN if the degrees or the leading coefficients differ or the division fails, and GR_UNABLE if a leading coefficient is not provably nonzero. This is the candidate tested by gr_poly_shift_equivalent.
Cite this page
The FLINT team, “gr_poly_leading_taylor_shift (gr_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr_poly/gr_poly_leading_taylor_shift.html (generated 2026-10-20).
@misc{flint-doc-gr-poly-gr-poly-leading-taylor-shift,
author = {{The FLINT team}},
title = {{gr\_poly\_leading\_taylor\_shift (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_leading_taylor_shift.html},
note = {Generated 2026-10-20}
}