"Computational Commutative Algebra 1 (CoCoA)" - читать интересную книгу автора (Kreuzer, Robbiano.)