NonLinearSolvePackage(R)

nlinsol.spad line 63 [edit on github]

• R : IntegralDomain

NonLinearSolvePackage is an interface to SystemSolvePackage that attempts to retract the coefficients of the equations before solving. The solutions are given in the algebraic closure of R whenever possible.

solve : List(Polynomial(R)) -> List(List(Equation(Fraction(Polynomial(R)))))

solve(lp) finds the solution in the algebraic closure of R of the list lp of rational functions with respect to all the symbols appearing in lp.

solve : (List(Polynomial(R)), List(Symbol)) -> List(List(Equation(Fraction(Polynomial(R)))))

solve(lp, lv) finds the solutions in the algebraic closure of R of the list lp of rational functions with respect to the list of symbols lv.

solveInField : List(Polynomial(R)) -> List(List(Equation(Fraction(Polynomial(R)))))

solveInField(lp) finds the solution of the list lp of rational functions with respect to all the symbols appearing in lp.

solveInField : (List(Polynomial(R)), List(Symbol)) -> List(List(Equation(Fraction(Polynomial(R)))))

solveInField(lp, lv) finds the solutions of the list lp of rational functions with respect to the list of symbols lv.