FLINT3.7.0-dev

_fmpq_poly_compose_series_kinoshita_li, fmpq_poly_compose_series_kinoshita_li

Synopsis#include <flint/fmpq_poly.h>
void _fmpq_poly_compose_series_kinoshita_li(fmpz * res, fmpz_t den, const fmpz * poly1, const fmpz_t den1, slong len1, const fmpz * poly2, const fmpz_t den2, slong len2, slong n)source
void fmpq_poly_compose_series_kinoshita_li(fmpq_poly_t res, const fmpq_poly_t poly1, const fmpq_poly_t poly2, slong n)source

Compose by the algorithm of Kinoshita and Li [KL2024], which uses O(M(n) \log n) operations on bivariate polynomials. The underscore version does not need the condition on (\mathit{len1} - 1)(\mathit{len2} - 1) + 1.

References#

Cite this page

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