@hackage / computational-algebra

Well-kinded computational algebra library, currently supporting Groebner basis.