FLINT3.7.0-dev

_fq_poly_divrem_f, fq_poly_divrem_f

Synopsis#include <flint/fq_poly.h>
void _fq_poly_divrem_f(fq_t f, fq_struct * Q, fq_struct * R, const fq_struct * A, slong lenA, const fq_struct * B, slong lenB, const fq_ctx_t ctx)
void fq_poly_divrem_f(fq_t f, fq_poly_t Q, fq_poly_t R, const fq_poly_t A, const fq_poly_t B, const fq_ctx_t ctx)

As fq_poly_divrem, for a possibly reducible defining polynomial: if the leading coefficient of B is invertible, sets f = 1 and computes Q and R; otherwise sets f to a nontrivial factor of the defining polynomial (see fq_gcdinv) and leaves Q and R unchanged. B must be nonzero.

Cite this page

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