Macaulay2 software for algebraic geometry  and commutative algebra