FLINT3.7.0-dev

_fq_zech_poly_mul_univariate, fq_zech_poly_mul_univariate

Synopsis#include <flint/fq_zech_poly.h>
void _fq_zech_poly_mul_univariate(fq_zech_struct * rop, const fq_zech_struct * op1, slong len1, const fq_zech_struct * op2, slong len2, const fq_zech_ctx_t ctx)source
void fq_zech_poly_mul_univariate(fq_zech_poly_t rop, const fq_zech_poly_t op1, const fq_zech_poly_t op2, const fq_zech_ctx_t ctx)source

Set rop to the product, computed by converting the coefficients to their polynomial representation, substituting y = x^{2d-1} for the generator, multiplying in (\mathbb{Z}/p\mathbb{Z})[x] with _nmod_poly_mul, reducing each block modulo the defining polynomial and converting back with the Zech tables. The underscore version requires len1, len2 \ge 1 and writes len1 + len2 - 1 coefficients.

Cite this page

The FLINT team, “_fq_zech_poly_mul_univariate, fq_zech_poly_mul_univariate (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_mul_univariate.html (generated 2026-10-20).