1 #\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type)}
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 #Assumption, and Case, in both numbered and non-numbered forms.
7 #Contrary to the plain AMS-Extended module, the different theorem
8 #types provided here each have a separate counter (e.g., criterion 1,
9 #criterion 2, axiom 1, assumption 1, criterion 3, ...,
10 #as opposed to criterion 1, criterion 2, axiom 3, assumption 4, ...).
12 #Requires: theorems-ams-bytype
14 # Original Author : David L. Johnson <dlj0@lehigh.edu>
15 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
16 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
17 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
18 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
19 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
25 # The environnements defined (regular and starred) are :
37 # We need separate counters for each theorem-like style.
52 Counter acknowledgement
63 LabelString "Criterion \thecriterion."
66 \newtheorem{criterion}{Criterion}
68 LabelCounter criterion
74 LabelString "Criterion."
77 \newtheorem*{criterion*}{Criterion}
85 LabelString "Algorithm \thealgorithm."
88 \newtheorem{algorithm}{Algorithm}
90 LabelCounter algorithm
97 LabelString "Algorithm."
100 \newtheorem*{algorithm*}{Algorithm}
108 LabelString "Axiom \theaxiom."
111 \newtheorem{ax}{Axiom}
123 \newtheorem*{ax*}{Axiom}
131 LabelString "Condition \thecondition."
133 \theoremstyle{definition}
134 \newtheorem{condition}{Condition}
136 LabelCounter condition
141 CopyStyle Definition*
143 LabelString "Condition."
145 \theoremstyle{definition}
146 \newtheorem*{condition*}{Condition}
154 LabelString "Note \thenote."
156 \theoremstyle{remark}
157 \newtheorem{note}{Note}
168 \theoremstyle{remark}
169 \newtheorem*{note*}{Note}
177 LabelString "Notation \thenotation."
179 \theoremstyle{remark}
180 \newtheorem{notation}{Notation}
182 LabelCounter notation
189 LabelString "Notation."
191 \theoremstyle{remark}
192 \newtheorem*{notation*}{Notation}
200 LabelString "Summary \thesummary."
202 \theoremstyle{remark}
203 \newtheorem{summary}{Summary}
212 LabelString "Summary."
214 \theoremstyle{remark}
215 \newtheorem*{summary*}{Summary}
220 Style Acknowledgement
222 LatexName acknowledgement
223 LabelString "Acknowledgement \theacknowledgement."
225 \theoremstyle{remark}
226 \newtheorem{acknowledgement}{Acknowledgement}
228 LabelCounter acknowledgement
232 Style Acknowledgement*
234 LatexName acknowledgement*
235 LabelString "Acknowledgement."
237 \theoremstyle{remark}
238 \newtheorem*{acknowledgement*}{Acknowledgement}
246 LabelString "Conclusion \theconclusion."
248 \theoremstyle{remark}
249 \newtheorem{conclusion}{Conclusion}
251 LabelCounter conclusion
257 LatexName conclusion*
258 LabelString "Conclusion."
260 \theoremstyle{remark}
261 \newtheorem*{conclusion*}{Conclusion}
269 LabelString "Assumption \theassumption."
272 \newtheorem{assumption}{Assumption}
274 LabelCounter assumption
280 LatexName assumption*
281 LabelString "Assumption."
284 \newtheorem*{assumption*}{Assumption}