computational-algebra-0.0.1.1: Well-kinded computational algebra library, currently supporting Groebner basis.
Algebra.Algorithms.Groebner.Monomorphic
calcGroebnerBasis :: [Polyn] -> [Polyn]Source
isIdealMember :: Polyn -> [Polyn] -> BoolSource