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) computes 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.