1 # Author : David L. Johnson <dlj0@lehigh.edu>
2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
4 # This version has Theorems and other results numbered in one sequence, and all
5 # numbered environments (figures as well) containing the section number.
6 # (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
7 # These are only the theorems styles environnements
8 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
10 # The environnements defined (regular and starred) are :
33 # - Case (regular only -- defined as an enumeration)
48 #DependsOn TheoremStyle
58 AlignPossible Block, Left
61 LabelString "Theorem @Section@.\arabic{theorem}."
72 \newtheorem{thm}{Theorem}[section]
81 LabelString "Theorem."
84 \newtheorem*{thm*}{Theorem}
92 LabelString "Corollary @Section@.\arabic{theorem}."
95 \newtheorem{cor}[thm]{Corollary}
103 LabelString "Corollary."
106 \newtheorem*{cor*}{Corollary}
114 LabelString "Lemma @Section@.\arabic{theorem}."
117 \newtheorem{lem}[thm]{Lemma}
128 \newtheorem*{lem*}{Lemma}
136 LabelString "Proposition @Section@.\arabic{theorem}."
139 \newtheorem{prop}[thm]{Proposition}
147 LabelString "Proposition."
150 \newtheorem*{prop*}{Proposition}
158 LabelString "Conjecture @Section@.\arabic{theorem}."
161 \newtheorem{conjecture}[thm]{Conjecture}
168 LatexName conjecture*
169 LabelString "Conjecture."
172 \newtheorem*{conjecture*}{Conjecture}
180 LabelString "Criterion @Section@.\arabic{theorem}."
183 \newtheorem{criterion}[thm]{Criterion}
190 LabelString "Criterion."
193 \newtheorem*{criterion*}{Criterion}
201 LabelString "Algorithm @Section@.\arabic{theorem}."
204 \newtheorem{algorithm}[thm]{Algorithm}
212 LabelString "Algorithm."
215 \newtheorem*{algorithm*}{Algorithm}
223 LabelString "Fact @Section@.\arabic{theorem}."
226 \newtheorem{fact}[thm]{Fact}
237 \newtheorem*{fact*}{Fact}
245 LabelString "Axiom @Section@.\arabic{theorem}."
248 \newtheorem{ax}[thm]{Axiom}
259 \newtheorem*{ax*}{Axiom}
267 LabelString "Definition @Section@.\arabic{theorem}."
276 \theoremstyle{definition}
277 \newtheorem{defn}[thm]{Definition}
286 LabelString "Definition."
288 \theoremstyle{definition}
289 \newtheorem*{defn*}{Definition}
297 LabelString "Example @Section@.\arabic{theorem}."
299 \theoremstyle{definition}
300 \newtheorem{example}[thm]{Example}
306 CopyStyle Definition*
308 LabelString "Example."
310 \theoremstyle{definition}
311 \newtheorem*{example*}{Example}
319 LabelString "Condition @Section@.\arabic{theorem}."
321 \theoremstyle{definition}
322 \newtheorem{condition}[thm]{Condition}
328 CopyStyle Definition*
330 LabelString "Condition."
332 \theoremstyle{definition}
333 \newtheorem*{condition*}{Condition}
341 LabelString "Problem @Section@.\arabic{theorem}."
343 \theoremstyle{definition}
344 \newtheorem{problem}[thm]{Problem}
350 CopyStyle Definition*
352 LabelString "Problem."
354 \theoremstyle{definition}
355 \newtheorem*{problem*}{Problem}
363 LabelString "Exercise @Section@.\arabic{theorem}."
365 \theoremstyle{definition}
366 \newtheorem{xca}[thm]{Exercise}
372 CopyStyle Definition*
374 LabelString "Exercise."
376 \theoremstyle{definition}
377 \newtheorem*{xca*}{Exercise}
385 LabelString "Remark @Section@.\arabic{theorem}."
395 \theoremstyle{remark}
396 \newtheorem{rem}[thm]{Remark}
405 LabelString "Remark."
407 \theoremstyle{remark}
408 \newtheorem*{rem*}{Remark}
416 LabelString "Claim @Section@.\arabic{theorem}."
418 \theoremstyle{remark}
419 \newtheorem{claim}[thm]{Claim}
429 \theoremstyle{remark}
430 \newtheorem*{claim*}{Claim}
438 LabelString "Note @Section@.\arabic{theorem}."
440 \theoremstyle{remark}
441 \newtheorem{note}[thm]{Note}
451 \theoremstyle{remark}
452 \newtheorem*{note*}{Note}
460 LabelString "Notation @Section@.\arabic{theorem}."
462 \theoremstyle{remark}
463 \newtheorem{notation}[thm]{Notation}
471 LabelString "Notation."
473 \theoremstyle{remark}
474 \newtheorem*{notation*}{Notation}
482 LabelString "Summary @Section@.\arabic{theorem}."
484 \theoremstyle{remark}
485 \newtheorem{summary}[thm]{Summary}
493 LabelString "Summary."
495 \theoremstyle{remark}
496 \newtheorem*{summary*}{Summary}
501 Style Acknowledgement
503 LatexName acknowledgement
504 LabelString "Acknowledgement @Section@.\arabic{theorem}."
506 \theoremstyle{remark}
507 \newtheorem{acknowledgement}[thm]{Acknowledgement}
512 Style Acknowledgement*
514 LatexName acknowledgement*
515 LabelString "Acknowledgement."
517 \theoremstyle{remark}
518 \newtheorem*{acknowledgement*}{Acknowledgement}
526 LabelString "Conclusion @Section@.\arabic{theorem}."
528 \theoremstyle{remark}
529 \newtheorem{conclusion}[thm]{Conclusion}
536 LatexName conclusion*
537 LabelString "Conclusion."
539 \theoremstyle{remark}
540 \newtheorem*{conclusion*}{Conclusion}
548 LabelString "Assumption @Section@.\arabic{theorem}."
551 \newtheorem{assumption}[thm]{Assumption}
558 LatexName assumption*
559 LabelString "Assumption."
562 \newtheorem*{assumption*}{Assumption}
567 # Define Case as an enumeration environment
573 LabelString "Case #:"
576 \newenvironment{caseenv}
577 {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}