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 :
38 # We need separate counters for each theorem-like style.
53 Counter acknowledgement
66 LabelString "Criterion \thecriterion."
69 \newtheorem{criterion}{\protect\criterionname}
72 \providecommand{\criterionname}{_(Criterion)}
75 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
77 LabelCounter criterion
83 LabelString "Criterion."
86 \newtheorem*{criterion*}{\protect\criterionname}
89 \providecommand{\criterionname}{_(Criterion)}
92 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
99 LatexName lyxalgorithm
100 LabelString "Algorithm \thealgorithm."
103 \newtheorem{lyxalgorithm}{\protect\algorithmname}
106 \providecommand{\algorithmname}{_(Algorithm)}
109 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
111 LabelCounter algorithm
117 LatexName lyxalgorithm*
118 LabelString "Algorithm."
121 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
124 \providecommand{\algorithmname}{_(Algorithm)}
127 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
135 LabelString "Axiom \theaxiom."
138 \newtheorem{ax}{\protect\axiomname}
141 \providecommand{\axiomname}{_(Axiom)}
144 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
156 \newtheorem*{ax*}{\protect\axiomname}
159 \providecommand{\axiomname}{_(Axiom)}
162 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
170 LabelString "Condition \thecondition."
172 \theoremstyle{definition}
173 \newtheorem{condition}{\protect\conditionname}
176 \providecommand{\conditionname}{_(Condition)}
179 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
181 LabelCounter condition
186 CopyStyle Definition*
188 LabelString "Condition."
190 \theoremstyle{definition}
191 \newtheorem*{condition*}{\protect\conditionname}
194 \providecommand{\conditionname}{_(Condition)}
197 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
205 LabelString "Note \thenote."
207 \theoremstyle{remark}
208 \newtheorem{note}{\protect\notename}
211 \providecommand{\notename}{_(Note)}
214 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
225 \theoremstyle{remark}
226 \newtheorem*{note*}{\protect\notename}
229 \providecommand{\notename}{_(Note)}
232 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
240 LabelString "Notation \thenotation."
242 \theoremstyle{remark}
243 \newtheorem{notation}{\protect\notationname}
246 \providecommand{\notationname}{_(Notation)}
249 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
251 LabelCounter notation
258 LabelString "Notation."
260 \theoremstyle{remark}
261 \newtheorem*{notation*}{\protect\notationname}
264 \providecommand{\notationname}{_(Notation)}
267 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
275 LabelString "Summary \thesummary."
277 \theoremstyle{remark}
278 \newtheorem{summary}{\protect\summaryname}
281 \providecommand{\summaryname}{_(Summary)}
284 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
293 LabelString "Summary."
295 \theoremstyle{remark}
296 \newtheorem*{summary*}{\protect\summaryname}
299 \providecommand{\summaryname}{_(Summary)}
302 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
307 Style Acknowledgement
309 LatexName acknowledgement
310 LabelString "Acknowledgement \theacknowledgement."
312 \theoremstyle{remark}
313 \newtheorem{acknowledgement}{\protect\acknowledgementname}
316 \providecommand{\acknowledgementname}{_(Acknowledgement)}
319 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
321 LabelCounter acknowledgement
325 Style Acknowledgement*
327 LatexName acknowledgement*
328 LabelString "Acknowledgement."
330 \theoremstyle{remark}
331 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
334 \providecommand{\acknowledgementname}{_(Acknowledgement)}
337 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
345 LabelString "Conclusion \theconclusion."
347 \theoremstyle{remark}
348 \newtheorem{conclusion}{\protect\conclusionname}
351 \providecommand{\conclusionname}{_(Conclusion)}
354 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
356 LabelCounter conclusion
362 LatexName conclusion*
363 LabelString "Conclusion."
365 \theoremstyle{remark}
366 \newtheorem*{conclusion*}{\protect\conclusionname}
369 \providecommand{\conclusionname}{_(Conclusion)}
372 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
380 LabelString "Assumption \theassumption."
383 \newtheorem{assumption}{\protect\assumptionname}
386 \providecommand{\assumptionname}{_(Assumption)}
389 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
391 LabelCounter assumption
397 LatexName assumption*
398 LabelString "Assumption."
401 \newtheorem*{assumption*}{\protect\assumptionname}
404 \providecommand{\assumptionname}{_(Assumption)}
407 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
415 LabelString "Question \thequestion."
418 \newtheorem{question}{\protect\questionname}
421 \providecommand{\questionname}{_(Question)}
424 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
426 LabelCounter question
432 LabelString "Question."
435 \newtheorem*{question*}{\protect\questionname}
438 \providecommand{\questionname}{_(Question)}
441 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
445 Input theorems-refprefix.inc