Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

restarting theorem numbering

14 views
Skip to first unread message

Philip A. Viton

unread,
Jan 4, 2010, 3:56:09 PM1/4/10
to

I've got a main document with a bunch of proclamations, based
on eg \newtheorem{lemma}[theorem]{Lemma}. In the appendix, I
want to show both the proclamations and their proofs. I've
copied the statements of the proclamations to the appendix(in
the same order as in the main text, obviously), so now I need
to start the numbering again, so that the topw sets of
numberings match. Can anyone tell me how to do this?

Thanks!


--


Phil Viton
Ohio State University

Ulrich D i e z

unread,
Jan 4, 2010, 9:06:41 PM1/4/10
to
Philip A. Viton wrote:

> I've got a main document with a bunch of proclamations, based
> on eg \newtheorem{lemma}[theorem]{Lemma}. In the appendix, I
> want to show both the proclamations and their proofs. I've
> copied the statements of the proclamations to the appendix(in
> the same order as in the main text, obviously), so now I need
> to start the numbering again, so that the topw sets of
> numberings match. Can anyone tell me how to do this?

I'm not sure if I got you right:
In the main-text you have proclamations.
In the appendix, you want to restate the proclamations and
add proofs to them.

Back in 2008 I wrote a small package "theolab". That name
is a seven-letter-abbreviation for "theorem" and "label".
You can provide labels/names to instances of theorem-environments
for later restating them by means of another macro whose
name is \restatetheorem.

There is also a macro \restatecases which makes it possible to
have material added (e.g., a proof) only when a theorem is restated.

The package+documentation is in the attached file "theolab.sty".

proclamations.tex is an example on how you could use theolab for
maintaining proclamations and a command \listofproclamations
similar to \tableofcontents for restating everything and adding proofs
to the restated material.

theolab is highly experimental. I give no warranties.
In case you decide to use it, don't trust the thing and make sure that
the result is what you want.

Ulrich

proclamations.tex
theolab.sty

Philip A. Viton

unread,
Jan 4, 2010, 10:19:30 PM1/4/10
to
In article <hhu6t3$i8o$02$1...@news.t-online.com>, eu_an...@web.de
says...
> [application/octet-stream]
>
> [application/octet-stream]
>


Yes, that's what I meant. Meantime, I discovered that I could reset the
theorem numbers (and numbers for all proclamations that depend on
theorems) by \setcounter{thm}{0} at the beginning of the proofs section.
Still, your solution looks much more interesting: at least on my
newsreader the attachments didn't make it, but I found them (i think) on
an archive of the newsgroup, based on your response last May to EM
Reingold. I'll give them a try; thanks!


--
Philip A. Viton
Ohio State University

Ulrich D i e z

unread,
Jan 5, 2010, 4:18:31 AM1/5/10
to
Philip A. Viton wrote:

> at least on my
> newsreader the attachments didn't make it,

What does that mean?
Could you not obtain the attachments or did the attempt of compiling
them yield erroneous behavior?

> but I found them (i think) on
> an archive of the newsgroup, based on your response last May to EM
> Reingold. I'll give them a try; thanks!

You can get my previous posting plus file-attachments from google-groups.

The URL is:

http://groups.google.de/group/comp.text.tex/msg/292ecd2bddb3a942

Sincerely

Ulrich

Philip A. Viton

unread,
Jan 5, 2010, 11:22:37 AM1/5/10
to
In article <hhv06p$l75$01$1...@news.t-online.com>,
eu_an...@web.de says...

> Philip A. Viton wrote:
>
> > at least on my
> > newsreader the attachments didn't make it,
>
> What does that mean?
> Could you not obtain the attachments or did the attempt of compiling
> them yield erroneous behavior?
> ://groups.google.de/group/comp.text.tex/msg/292ecd2bddb3a942

Wht I meant was that though your message said that there were
attachments, they didn't actually seem to be there - just a
line of text naming the files. But I did get them (I think)
from an archive, more-or-less as you suggest.

0 new messages