FLINT3.7.0-dev
/

_arb_poly_product_roots_complex, arb_poly_product_roots_complex

Synopsis#include <flint/arb_poly.h>
void _arb_poly_product_roots_complex(arb_ptr poly, arb_srcptr r, slong rn, acb_srcptr c, slong cn, slong prec)source
void arb_poly_product_roots_complex(arb_poly_t poly, arb_srcptr r, slong rn, acb_srcptr c, slong cn, slong prec)source

Set poly to the real polynomial

∏i=0rn−1(x−ri)∏i=0cn−1(x−ci)(x−cˉi)\prod_{i=0}^{\mathit{rn}-1} (x - r_i) \prod_{i=0}^{\mathit{cn}-1} (x - c_i)(x - \bar c_i)

with rn\mathit{rn} real roots and cn\mathit{cn} pairs of complex conjugate roots, of which one member of each pair is given. Either count may be zero. Use acb_poly_product_roots for complex roots that are not grouped in conjugate pairs.

Cite this page

The FLINT team, “_arb_poly_product_roots_complex, arb_poly_product_roots_complex (arb_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arb_poly/_arb_poly_product_roots_complex.html (generated 2026-11-02).