Next: Quantifier elimination
Up: Algorithms for algebraic computation
Previous: Ordinary differential equations
- consider polynomials with integer coefficients (it is simple to
convert a polynomial with rational coefficients into a problem in
this domain)
- factorization splits a given polynomial into
the product of polynomials :
- a polynomial is "square free", i.e., it does
not have a factor which is the second or higher power of a
polynomial, if and only if , that
is, there does not exist a polynomial other than the constant
that divides the polynomial and
its derivative
- if the polynomial is not "square free" then
and
- Berlekamp algorithm for factorization of "square free" polynomials
in one variable modulo a prime
- Berlekamp-Hensel algorithm for factorization of "square free"
polynomials in one variable with integer coefficients
- Kronecker algorithm for factorization of polynomial in more variables
- these algorithms exhibit exponential complexity
- there exists algorithms with only polynomial complexity
- uses of factorization: solving of polynomial equations, integration of
rational functions, etc.
- example
- other examples
Richard Liska