Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra