SystemSolvePackage RΒΆ

syssolp.spad line 1

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: (Equation Fraction Polynomial R, Symbol) -> List Equation Fraction Polynomial R
solve(eq, v) finds the solutions of the equation eq with respect to the variable v.
solve: (Fraction Polynomial R, Symbol) -> List Equation Fraction Polynomial R
solve(p, v) solves the equation p=0, where p is a rational function with respect to the variable v.
solve: (List Equation Fraction Polynomial R, List Symbol) -> List List Equation Fraction Polynomial R
solve(le, lv) finds the solutions of the list le of equations of rational functions with respect to the list of symbols lv.
solve: (List Fraction Polynomial R, List Symbol) -> List List Equation Fraction Polynomial R
solve(lp, lv) finds the solutions of the list lp of rational functions with respect to the list of symbols lv.
solve: Equation Fraction Polynomial R -> List Equation Fraction Polynomial R
solve(eq) finds the solutions of the equation eq with respect to the unique variable appearing in eq.
solve: Fraction Polynomial R -> List Equation Fraction Polynomial R
solve(p) finds the solution of a rational function p = 0 with respect to the unique variable appearing in p.
solve: List Equation Fraction Polynomial R -> List List Equation Fraction Polynomial R
solve(le) finds the solutions of the list le of equations of rational functions with respect to all symbols appearing in le.
solve: List Fraction Polynomial R -> List List Equation Fraction Polynomial R
solve(lp) finds the solutions of the list lp of rational functions with respect to all symbols appearing in lp.
triangularSystems: (List Fraction Polynomial R, List Symbol) -> List List Polynomial R
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.