David L. Johnson wrote:
In the standard AMS layout, all these but one are numbered within
sections, consecutively using a single counter (so that, for instance,
if a lemma appears in section 3 after theorem 12, it's Lemma 3.13).
The oddball is Case, which is not numbered by section, and has its own
counter separate from the other items (so that if Lemma 3.13 is
followed by the second case overall, it's Case 2).
I am trying to remember why I did that. I do remember that that was a
"special case" for some reason. I have been trying to read through the
documentation of the amslatex package to find that, but I have changed
computers since then, and don't seem to have the documentation of this.
But you are right, it is an oddball thing.
But cases is an oddball thing. You use this in the midst of a proof.
Case 1, case 2, etc. You know, like:
Case 1; x>0
blah
Case 2; x< 0
blah, blah
Case 3: x=0
Trivial.
So having cases have the same numbering as theorem environments is
wrong. It would be better to reset the numbering automatically after
each proof environment. What I do in practice is to reset the numbering
when needed -- although I don't recall how I did that now. Maybe a
simple \setcounter{cases}{0} would work...??
This makes sense. I wondered why Case was being treated as a
theorem-ish environment. Given this, I assume that there would be no
point in having a Case* environment. For resetting the counter, how
about this: two case environments, 'Case (first)' which resets the
counter and 'Case (next)' which doesn't?
There was a glitch in recent versions of lyx that did not reset the
secondary number from section to section, so if you had 4 theorems in
section 1, the first theorem in section 2 would appear on-screen as
theorem (2.5). It did not print that way, though. Someone sent me
layout files that fixed that (maybe you?), but in any event those
changes should be incorporated.
I fixed that for someone, and I might have posted the changes on the
list (v. sending them directly). I definitely did post the changes to
the wiki. IIRC, that one was just a matter of reordering the includes.
At any rate, that's in the next wave.
And, lest I forget, thanks for doing the original hack!
Cheers,
Paul
