See Computations in algebraic geometry with Macaulay 2.