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