FloatingComplexPackage ParΒΆ

numsolve.spad line 447 [edit on github]

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

complexRoots: (Fraction Polynomial Complex Integer, Par) -> List Complex Par

complexRoots(rf, eps) finds all the complex solutions of a univariate rational function with rational number coefficients. The solutions are computed to precision eps.

complexRoots: (List Fraction Polynomial Complex Integer, List Symbol, Par) -> List List Complex Par

complexRoots(lrf, lv, eps) finds all the complex solutions of a list of rational functions with rational number coefficients with respect the variables appearing in lv. Each solution is computed to precision eps and returned as list corresponding to the order of variables in lv.

complexSolve: (Equation Fraction Polynomial Complex Integer, Par) -> List Equation Polynomial Complex Par

complexSolve(eq, eps) finds all the complex solutions of the equation eq of rational functions with rational rational coefficients with respect to all the variables appearing in eq, with precision eps.

complexSolve: (Fraction Polynomial Complex Integer, Par) -> List Equation Polynomial Complex Par

complexSolve(p, eps) find all the complex solutions of the rational function p with complex rational coefficients with respect to all the variables appearing in p, with precision eps.

complexSolve: (List Equation Fraction Polynomial Complex Integer, Par) -> List List Equation Polynomial Complex Par

complexSolve(leq, eps) finds all the complex solutions to precision eps of the system leq of equations of rational functions over complex rationals with respect to all the variables appearing in lp.

complexSolve: (List Fraction Polynomial Complex Integer, Par) -> List List Equation Polynomial Complex Par

complexSolve(lp, eps) finds all the complex solutions to precision eps of the system lp of rational functions over the complex rationals with respect to all the variables appearing in lp.