Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra (David A. Cox, John Little, Donal O’Shea)