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