FLINT3.7.0-dev

_fq_zech_poly_compose_mod, fq_zech_poly_compose_mod

Synopsis#include <flint/fq_zech_poly.h>
void _fq_zech_poly_compose_mod(fq_zech_struct * res, const fq_zech_struct * f, slong lenf, const fq_zech_struct * g, const fq_zech_struct * h, slong lenh, const fq_zech_ctx_t ctx)
void fq_zech_poly_compose_mod(fq_zech_poly_t res, const fq_zech_poly_t poly1, const fq_zech_poly_t poly2, const fq_zech_poly_t poly3, const fq_zech_ctx_t ctx)

Set res to f(g) \bmod h for f = poly1, g = poly2 and h = poly3 \ne 0, choosing between Horner's rule and the Brent–Kung algorithm. The underscore version requires g reduced modulo h and zero-padded to length lenh - 1, writes lenh - 1 coefficients and does not allow aliasing.

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

Cite this page

The FLINT team, “_fq_zech_poly_compose_mod, fq_zech_poly_compose_mod (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_compose_mod.html (generated 2026-10-20).