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.