=begin

= ToDo

* Factorization of multi-variate polynomials over algebraic field
* Factorization over polynomial ring over Euclidian ring
* Geometry
=end