ComplexRootPackage(UP, Par)

numsolve.spad line 1 [edit on github]

• UP: UnivariatePolynomialCategory Complex Integer

• Par: Join(Field, OrderedRing)

This package provides functions complexZeros for finding the complex zeros of univariate polynomials with complex rational number coefficients. The results are to any user specified precision and are returned as either complex rational number or complex floating point numbers depending on the type of the second argument which specifies the precision.

complexZeros: (UP, Par) -> List Complex Par

complexZeros(poly, eps) finds the complex zeros of the univariate polynomial poly to precision eps with solutions returned as complex floats or rationals depending on the type of eps.