ToDo
Factorization of multi-variate polynomials over algebraic field
Factorization over polynomial ring over Euclidian ring
Geometry