Axiom also has state-of-the-art algorithms for the solution of systems of polynomial equations. When the number of equations and unknowns is the same, and you have no symbolic coefficients, you can use solve for real roots and complexSolve for complex roots. In each case, you tell Axiom how accurate you want your result to be. All operations in the solve family return answers in the form of a list of solution sets, where each solution set is a list of equations.
A system of two equations involving a symbolic parameter .
Find the real roots of with rational arithmetic, correct to within .
Find the complex roots of with floating point coefficients to digits accuracy in the mantissa.
If a system of equations has symbolic coefficients and you want a solution in radicals, try radicalSolve.
For systems of equations with symbolic coefficients, you can apply solve, listing the variables that you want Axiom to solve for. For polynomial equations, a solution cannot usually be expressed solely in terms of the other variables. Instead, the solution is presented as a ``triangular'' system of equations, where each polynomial has coefficients involving only the succeeding variables. This is analogous to converting a linear system of equations to ``triangular form''.
A system of three equations in five variables.
Solve the system for unknowns , reducing the solution to triangular form.