CoCoA: computations in commutative algebra