SystemSolvePackage R¶

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.