1 #\DeclareLyXModule{Theorems (AMS-Extended)}
3 #Defines some additional theorem environments for use with the
4 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
5 #Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
6 #Fact, Assumption, and Case, in both starred and non-starred forms.
8 #Requires: Theorems (AMS)
10 # Original Author : David L. Johnson <dlj0@lehigh.edu>
11 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
12 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
13 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
14 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
20 # The environnements defined (regular and starred) are :
32 # - Case (regular only -- defined as an enumeration)
38 LabelString "Criterion \thetheorem."
41 \newtheorem{criterion}[thm]{Criterion}
48 LabelString "Criterion."
51 \newtheorem*{criterion*}{Criterion}
60 LabelString "Algorithm \thetheorem."
63 \newtheorem{algorithm}[thm]{Algorithm}
71 LabelString "Algorithm."
74 \newtheorem*{algorithm*}{Algorithm}
83 LabelString "Axiom \thetheorem."
86 \newtheorem{ax}[thm]{Axiom}
97 \newtheorem*{ax*}{Axiom}
105 LabelString "Condition \thetheorem."
107 \theoremstyle{definition}
108 \newtheorem{condition}[thm]{Condition}
114 CopyStyle Definition*
116 LabelString "Condition."
118 \theoremstyle{definition}
119 \newtheorem*{condition*}{Condition}
127 LabelString "Note \thetheorem."
129 \theoremstyle{remark}
130 \newtheorem{note}[thm]{Note}
140 \theoremstyle{remark}
141 \newtheorem*{note*}{Note}
149 LabelString "Notation \thetheorem."
151 \theoremstyle{remark}
152 \newtheorem{notation}[thm]{Notation}
160 LabelString "Notation."
162 \theoremstyle{remark}
163 \newtheorem*{notation*}{Notation}
171 LabelString "Summary \thetheorem."
173 \theoremstyle{remark}
174 \newtheorem{summary}[thm]{Summary}
182 LabelString "Summary."
184 \theoremstyle{remark}
185 \newtheorem*{summary*}{Summary}
190 Style Acknowledgement
192 LatexName acknowledgement
193 LabelString "Acknowledgement \thetheorem."
195 \theoremstyle{remark}
196 \newtheorem{acknowledgement}[thm]{Acknowledgement}
201 Style Acknowledgement*
203 LatexName acknowledgement*
204 LabelString "Acknowledgement."
206 \theoremstyle{remark}
207 \newtheorem*{acknowledgement*}{Acknowledgement}
215 LabelString "Conclusion \thetheorem."
217 \theoremstyle{remark}
218 \newtheorem{conclusion}[thm]{Conclusion}
225 LatexName conclusion*
226 LabelString "Conclusion."
228 \theoremstyle{remark}
229 \newtheorem*{conclusion*}{Conclusion}
238 LabelString "Assumption \thetheorem."
241 \newtheorem{assumption}[thm]{Assumption}
248 LatexName assumption*
249 LabelString "Assumption."
252 \newtheorem*{assumption*}{Assumption}
257 # Define Case as an enumeration environment
263 LabelString "Case #:"
266 \newenvironment{caseenv}
267 {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}