RetractSolvePackage(Q, R)

nlinsol.spad line 1 [edit on github]

• Q: IntegralDomain

• R: Join(IntegralDomain, RetractableTo Q)

RetractSolvePackage is an interface to SystemSolvePackage that attempts to retract the coefficients of the equations before solving.

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

solveRetract(lp, lv) finds the solutions of the list lp of rational functions with respect to the list of symbols lv. The function tries to retract all the coefficients of the equations to Q before solving if possible.