syssolp.spad line 1 [edit on github]
Symbolic solver for systems of rational functions with coefficients in an integral domain R. The systems are solved in the field of rational functions over R. Solutions are exact of the form variable = value when the value is a member of the coefficient domain R. Otherwise the solutions are implicitly expressed as roots of univariate polynomial equations over R. Care is taken to guarantee that the denominators of the input equations do not vanish on the solution sets. The arguments to solve can either be given as equations or as rational functions interpreted as equal to zero. The user can specify an explicit list of symbols to be solved for, treating all other symbols appearing as parameters or omit the list of symbols in which case the system tries to solve with respect to all symbols appearing in the input.
solve(eq) finds the solutions of the equation eq with respect to the unique variable appearing in eq.
solve(eq, v) finds the solutions of the equation eq with respect to the variable v.
solve(p) finds the solution of a rational function p = 0 with respect to the unique variable appearing in p.
solve(p, v) solves the equation p=0, where p is a rational function with respect to the variable v.
solve(le) finds the solutions of the list le of equations of rational functions with respect to all symbols appearing in le.
solve(le, lv) finds the solutions of the list le of equations of rational functions with respect to the list of symbols lv.
solve(lp) finds the solutions of the list lp of rational functions with respect to all symbols appearing in lp.
solve(lp, lv) finds the solutions of the list lp of rational functions with respect to the list of symbols lv.
triangularSystems(lf, lv) solves the system of equations defined by lf with respect to the list of symbols lv; the system of equations is obtaining by equating to zero the list of rational functions lf. The output is a list of solutions where each solution is expressed as a "reduced" triangular system of polynomials.