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}{\protect\criterionname}
69 \providecommand{\criterionname}{_(Criterion)}
72 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
74 LabelCounter criterion
80 LabelString "Criterion."
83 \newtheorem*{criterion*}{\protect\criterionname}
86 \providecommand{\criterionname}{_(Criterion)}
89 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
97 LabelString "Algorithm \thealgorithm."
100 \newtheorem{algorithm}{\protect\algorithmname}
103 \providecommand{\algorithmname}{_(Algorithm)}
106 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
108 LabelCounter algorithm
115 LabelString "Algorithm."
118 \newtheorem*{algorithm*}{\protect\algorithmname}
121 \providecommand{\algorithmname}{_(Algorithm)}
124 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
132 LabelString "Axiom \theaxiom."
135 \newtheorem{ax}{\protect\axiomname}
138 \providecommand{\axiomname}{_(Axiom)}
141 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
153 \newtheorem*{ax*}{\protect\axiomname}
156 \providecommand{\axiomname}{_(Axiom)}
159 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
167 LabelString "Condition \thecondition."
169 \theoremstyle{definition}
170 \newtheorem{condition}{\protect\conditionname}
173 \providecommand{\conditionname}{_(Condition)}
176 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
178 LabelCounter condition
183 CopyStyle Definition*
185 LabelString "Condition."
187 \theoremstyle{definition}
188 \newtheorem*{condition*}{\protect\conditionname}
191 \providecommand{\conditionname}{_(Condition)}
194 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
202 LabelString "Note \thenote."
204 \theoremstyle{remark}
205 \newtheorem{note}{\protect\notename}
208 \providecommand{\notename}{_(Note)}
211 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
222 \theoremstyle{remark}
223 \newtheorem*{note*}{\protect\notename}
226 \providecommand{\notename}{_(Note)}
229 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
237 LabelString "Notation \thenotation."
239 \theoremstyle{remark}
240 \newtheorem{notation}{\protect\notationname}
243 \providecommand{\notationname}{_(Notation)}
246 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
248 LabelCounter notation
255 LabelString "Notation."
257 \theoremstyle{remark}
258 \newtheorem*{notation*}{\protect\notationname}
261 \providecommand{\notationname}{_(Notation)}
264 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
272 LabelString "Summary \thesummary."
274 \theoremstyle{remark}
275 \newtheorem{summary}{\protect\summaryname}
278 \providecommand{\summaryname}{_(Summary)}
281 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
290 LabelString "Summary."
292 \theoremstyle{remark}
293 \newtheorem*{summary*}{\protect\summaryname}
296 \providecommand{\summaryname}{_(Summary)}
299 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
304 Style Acknowledgement
306 LatexName acknowledgement
307 LabelString "Acknowledgement \theacknowledgement."
309 \theoremstyle{remark}
310 \newtheorem{acknowledgement}{\protect\acknowledgementname}
313 \providecommand{\acknowledgementname}{_(Acknowledgement)}
316 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
318 LabelCounter acknowledgement
322 Style Acknowledgement*
324 LatexName acknowledgement*
325 LabelString "Acknowledgement."
327 \theoremstyle{remark}
328 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
331 \providecommand{\acknowledgementname}{_(Acknowledgement)}
334 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
342 LabelString "Conclusion \theconclusion."
344 \theoremstyle{remark}
345 \newtheorem{conclusion}{\protect\conclusionname}
348 \providecommand{\conclusionname}{_(Conclusion)}
351 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
353 LabelCounter conclusion
359 LatexName conclusion*
360 LabelString "Conclusion."
362 \theoremstyle{remark}
363 \newtheorem*{conclusion*}{\protect\conclusionname}
366 \providecommand{\conclusionname}{_(Conclusion)}
369 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
377 LabelString "Assumption \theassumption."
380 \newtheorem{assumption}{\protect\assumptionname}
383 \providecommand{\assumptionname}{_(Assumption)}
386 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
388 LabelCounter assumption
394 LatexName assumption*
395 LabelString "Assumption."
398 \newtheorem*{assumption*}{\protect\assumptionname}
401 \providecommand{\assumptionname}{_(Assumption)}
404 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}