CoCoA System

Computations in Commutative Algebra