# FloatingRealPackage Par¶

This is a package for the approximation of real solutions for systems of polynomial equations over the rational numbers. The results are expressed as either rational numbers or floats depending on the type of the precision parameter which can be either a rational number or a floating point number.

realRoots: (Fraction Polynomial Integer, Par) -> List Par
realRoots(rf, eps) finds the real zeros of a univariate rational function with precision given by eps.
realRoots: (List Fraction Polynomial Integer, List Symbol, Par) -> List List Par
realRoots(lp, lv, eps) computes the list of the real solutions of the list lp of rational functions with rational coefficients with respect to the variables in lv, with precision eps. Each solution is expressed as a list of numbers in order corresponding to the variables in lv.
solve: (Equation Fraction Polynomial Integer, Par) -> List Equation Polynomial Par
solve(eq, eps) finds all of the real solutions of the univariate equation eq of rational functions with respect to the unique variables appearing in eq, with precision eps.
solve: (Fraction Polynomial Integer, Par) -> List Equation Polynomial Par
solve(p, eps) finds all of the real solutions of the univariate rational function p with rational coefficients with respect to the unique variable appearing in p, with precision eps.
solve: (List Equation Fraction Polynomial Integer, Par) -> List List Equation Polynomial Par
solve(leq, eps) finds all of the real solutions of the system leq of equationas of rational functions with respect to all the variables appearing in lp, with precision eps.
solve: (List Fraction Polynomial Integer, Par) -> List List Equation Polynomial Par
solve(lp, eps) finds all of the real solutions of the system lp of rational functions over the rational numbers with respect to all the variables appearing in lp, with precision eps.