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