FLINT3.7.0-dev

_gr_ore_poly_mul, gr_ore_poly_mul

Synopsis#include <flint/gr_ore_poly.h>
int _gr_ore_poly_mul(gr_ptr res, gr_srcptr poly1, slong len1, gr_srcptr poly2, slong len2, gr_ore_poly_ctx_t ctx)source
int gr_ore_poly_mul(gr_ore_poly_t res, const gr_ore_poly_t poly1, const gr_ore_poly_t poly2, gr_ore_poly_ctx_t ctx)source

Set res to the product L_1 L_2 in the Ore algebra, computed as \sum_i a_i (D^i L_2) with the powers D^i L_2 obtained by repeated left multiplication by D: O(\mathit{len1} \cdot \mathit{len2}) applications of \sigma and \delta and multiplications in the base ring. The underscore version requires positive lengths, writes \mathit{len1} + \mathit{len2} - 1 coefficients and does not allow aliasing.

Cite this page

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