algebra algebraic-calculations algebraic-data-types commutative-algebra factorization finite-fields groebner-basis mathematics multivariate-polynomials polynomial-arithmetic polynomials