MathObj.Algebra
data
T
a b
zipWith
mulMonomial
monomial