_gr_poly_divexact, gr_poly_divexact, _gr_poly_divexact_basecase_bidirectional, gr_poly_divexact_basecase_bidirectional, _gr_poly_divexact_bidirectional, gr_poly_divexact_bidirectional, _gr_poly_divexact_basecase_noinv, _gr_poly_divexact_basecase, gr_poly_divexact_basecase
#include <flint/gr_poly.h>int _gr_poly_divexact(gr_ptr Q, gr_srcptr A, slong lenA, gr_srcptr B, slong lenB, gr_ctx_t ctx)sourceint _gr_poly_divexact_basecase_bidirectional(gr_ptr Q, gr_srcptr A, slong Alen, gr_srcptr B, slong Blen, gr_ctx_t ctx)sourceint gr_poly_divexact_basecase_bidirectional(gr_poly_t Q, const gr_poly_t A, const gr_poly_t B, gr_ctx_t ctx)sourceint _gr_poly_divexact_bidirectional(gr_ptr Q, gr_srcptr A, slong Alen, gr_srcptr B, slong Blen, gr_ctx_t ctx)sourceint gr_poly_divexact_bidirectional(gr_poly_t Q, const gr_poly_t A, const gr_poly_t B, gr_ctx_t ctx)sourceint _gr_poly_divexact_basecase_noinv(gr_ptr Q, gr_srcptr A, slong Alen, gr_srcptr B, slong Blen, gr_ctx_t ctx)sourceint _gr_poly_divexact_basecase(gr_ptr Q, gr_srcptr A, slong Alen, gr_srcptr B, slong Blen, gr_ctx_t ctx)sourceint gr_poly_divexact_basecase(gr_poly_t Q, const gr_poly_t A, const gr_poly_t B, gr_ctx_t ctx)sourceSet Q to the exact quotient A / B. The non-underscore functions return GR_DOMAIN if B = 0 and GR_UNABLE if its leading coefficient is not provably nonzero. gr_poly_divexact calls the ring method GR_METHOD_POLY_DIVEXACT, whose default uses the basecase for divisors of length at most 2 and the bidirectional algorithm otherwise; fmpz uses the exact division of fmpz_poly and nmod that of nmod_poly. The underscore functions require \mathit{Alen} \ge \mathit{Blen} \ge 1 and write \mathit{Alen} - \mathit{Blen} + 1 coefficients.
The FLINT team, “_gr_poly_divexact, gr_poly_divexact, _gr_poly_divexact_basecase_bidirectional, gr_poly_divexact_basecase_bidirectional, _gr_poly_divexact_bidirectional, gr_poly_divexact_bidirectional, _gr_poly_divexact_basecase_noinv, _gr_poly_divexact_basecase, gr_poly_divexact_basecase (gr_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr_poly/_gr_poly_divexact.html (generated 2026-10-20).
@misc{flint-doc-gr-poly-gr-poly-divexact,
author = {{The FLINT team}},
title = {{\_gr\_poly\_divexact, gr\_poly\_divexact, \_gr\_poly\_divexact\_basecase\_bidirectional, gr\_poly\_divexact\_basecase\_bidirectional, \_gr\_poly\_divexact\_bidirectional, gr\_poly\_divexact\_bidirectional, \_gr\_poly\_divexact\_basecase\_noinv, \_gr\_poly\_divexact\_basecase, gr\_poly\_divexact\_basecase (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_divexact.html},
note = {Generated 2026-10-20}
}