- Improve Algorithm of Factorization over algebraic fields
- Elementary Divisor
- Jordan Form
- Minimal Decomposition Field
- move "MatrixAlgebra" to "Algebra::MatrixAlgebra"
- move "MatrixAlgebra::Vector" to "Algebra::Vector"
- move "MatrixAlgebra::Covector" to "Algebra::Covector",
- move "MatrixAlgebra::SquareMatrix" to "Algebra::SquareMatrix"
One-variate polynomial
- Fundamental operations (addition, multiplication, quotient/remainder, ...)
- factorization
Multi-variate polynomial
- Fundamental operations (addition, multiplication, ...)
- factorization
- Creating Groebner-basis, quotient/remainder by Groebner-basis.
Algebraic systems
- Creating quotient fields
- Creating residue class fields
- Operating matrices.
Linear Algebra
- Diagonalization of Symmetrix Matrix