RealSolvePackage

acplot.spad line 1 [edit on github]

This package provides numerical solutions of systems of polynomial equations for use in ACPLOT.

realSolve: (List Polynomial Integer, List Symbol, Float) -> List List Float

realSolve(lp, lv, eps) = compute the list of the real solutions of the list lp of polynomials with integer coefficients with respect to the variables in lv, with precision eps.

solve: (Polynomial Fraction Integer, Float) -> List Float

solve(p, eps) finds the real zeroes of a univariate rational polynomial p with precision eps.

solve: (Polynomial Integer, Float) -> List Float

solve(p, eps) finds the real zeroes of a univariate integer polynomial p with precision eps.