Just for practice, we computed a Gr\"obner basis for the ideal generated by the entries of M^2.
Then we worried about whether the Buchberger algorithm terminates.
For culture, we talked about an algorithm suspected, but not known, to terminate.
Then we defined the Ascending Chain Condition on ideals in a ring, which we'll prove next time for monomial ideals.
