FLINT3.7.0-dev

_fq_zech_poly_divides, fq_zech_poly_divides

Synopsis#include <flint/fq_zech_poly.h>
int _fq_zech_poly_divides(fq_zech_struct * Q, const fq_zech_struct * A, slong lenA, const fq_zech_struct * B, slong lenB, const fq_zech_t invB, const fq_zech_ctx_t ctx)
int fq_zech_poly_divides(fq_zech_poly_t Q, const fq_zech_poly_t A, const fq_zech_poly_t B, const fq_zech_ctx_t ctx)

Return 1 and set Q = A / B if B divides A, and return 0 otherwise (then Q is undefined). The underscore version requires lenA \ge lenB > 0, space for lenA - lenB + 1 coefficients in Q and no aliasing. fq_zech_poly_divides throws FLINT_DIVZERO if B = 0. The test performs a full division with remainder.

Generated from the same template as _fq_poly_divides, whose documentation has the details.

Cite this page

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