Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@Vectornaut: Great, now I am totally confused :) I am going to undelete my answer. Gowers had convinced me that it was wrong, but now I really am not sure. If people don't like the answer they should mark it down so that it can at least inform people of what not to do!
I think I agree. I can't actually construct a situation where it doesn't seem somehow nicer to add "Now" or "Then" or "Consider when" or something similar.
Thanks Robin! I realised this as I was reading about the Smith normal form. There exist polynomial time algorithms to compute the Smith and the Hermite normal forms so this certainly answers my question.