@hackage computational-algebra0.5.1.0

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

Dependently-typed computational algebra library for Groebner basis.