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