Next: Differentiation
Up: Algorithms for algebraic computation
Previous: Resultant
- solving linear systems is easy as only the inversion of a matrix
is required
- system of polynomial equations

- Grobner basis according to lexicographic ordering of variables
(very high time complexity)
- the system of polynomial equations and its Grobner basis have
the same solution
- example

- Grobner basis of these polynomials with variables ordering

- this is in "triangular" form
-
can be determined by solving the 3rd equation;
after substituting
into the 2nd equation, we
can determine
, etc.
- one approximate solution is
- solving (even numerically) of a polynomial equation in one variable
is much simpler than solving a system of polynomial equations
- solving a polynomial system is transformed into the successive
solution of equations in one variable; see the example
Grobner bases
Richard Liska