1 #\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type)}
2 #\DeclareCategory{Theorems}
4 #Defines some additional theorem environments for use with the
5 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
6 #Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
7 #Assumption, and Case, in both numbered and non-numbered forms.
8 #Contrary to the plain AMS-Extended module, the different theorem
9 #types provided here each have a separate counter (e.g., criterion 1,
10 #criterion 2, axiom 1, assumption 1, criterion 3, ...,
11 #as opposed to criterion 1, criterion 2, axiom 3, assumption 4, ...).
13 #Requires: theorems-ams-bytype
15 # Original Author : David L. Johnson <dlj0@lehigh.edu>
16 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
17 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
18 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
19 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
20 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
26 # The environnements defined (regular and starred) are :
39 # We need separate counters for each theorem-like style.
54 Counter acknowledgement
67 LabelString "Criterion \thecriterion."
70 \newtheorem{criterion}{\protect\criterionname}
73 \providecommand{\criterionname}{_(Criterion)}
76 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
78 LabelCounter criterion
84 LabelString "Criterion."
87 \newtheorem*{criterion*}{\protect\criterionname}
90 \providecommand{\criterionname}{_(Criterion)}
93 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
100 LatexName lyxalgorithm
101 LabelString "Algorithm \thealgorithm."
104 \newtheorem{lyxalgorithm}{\protect\algorithmname}
107 \providecommand{\algorithmname}{_(Algorithm)}
110 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
112 LabelCounter algorithm
118 LatexName lyxalgorithm*
119 LabelString "Algorithm."
122 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
125 \providecommand{\algorithmname}{_(Algorithm)}
128 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
136 LabelString "Axiom \theaxiom."
139 \newtheorem{ax}{\protect\axiomname}
142 \providecommand{\axiomname}{_(Axiom)}
145 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
157 \newtheorem*{ax*}{\protect\axiomname}
160 \providecommand{\axiomname}{_(Axiom)}
163 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
171 LabelString "Condition \thecondition."
173 \theoremstyle{definition}
174 \newtheorem{condition}{\protect\conditionname}
177 \providecommand{\conditionname}{_(Condition)}
180 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
182 LabelCounter condition
187 CopyStyle Definition*
189 LabelString "Condition."
191 \theoremstyle{definition}
192 \newtheorem*{condition*}{\protect\conditionname}
195 \providecommand{\conditionname}{_(Condition)}
198 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
206 LabelString "Note \thenote."
208 \theoremstyle{remark}
209 \newtheorem{note}{\protect\notename}
212 \providecommand{\notename}{_(Note)}
215 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
226 \theoremstyle{remark}
227 \newtheorem*{note*}{\protect\notename}
230 \providecommand{\notename}{_(Note)}
233 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
241 LabelString "Notation \thenotation."
243 \theoremstyle{remark}
244 \newtheorem{notation}{\protect\notationname}
247 \providecommand{\notationname}{_(Notation)}
250 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
252 LabelCounter notation
259 LabelString "Notation."
261 \theoremstyle{remark}
262 \newtheorem*{notation*}{\protect\notationname}
265 \providecommand{\notationname}{_(Notation)}
268 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
276 LabelString "Summary \thesummary."
278 \theoremstyle{remark}
279 \newtheorem{summary}{\protect\summaryname}
282 \providecommand{\summaryname}{_(Summary)}
285 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
294 LabelString "Summary."
296 \theoremstyle{remark}
297 \newtheorem*{summary*}{\protect\summaryname}
300 \providecommand{\summaryname}{_(Summary)}
303 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
308 Style Acknowledgement
310 LatexName acknowledgement
311 LabelString "Acknowledgement \theacknowledgement."
313 \theoremstyle{remark}
314 \newtheorem{acknowledgement}{\protect\acknowledgementname}
317 \providecommand{\acknowledgementname}{_(Acknowledgement)}
320 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
322 LabelCounter acknowledgement
326 Style Acknowledgement*
328 LatexName acknowledgement*
329 LabelString "Acknowledgement."
331 \theoremstyle{remark}
332 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
335 \providecommand{\acknowledgementname}{_(Acknowledgement)}
338 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
346 LabelString "Conclusion \theconclusion."
348 \theoremstyle{remark}
349 \newtheorem{conclusion}{\protect\conclusionname}
352 \providecommand{\conclusionname}{_(Conclusion)}
355 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
357 LabelCounter conclusion
363 LatexName conclusion*
364 LabelString "Conclusion."
366 \theoremstyle{remark}
367 \newtheorem*{conclusion*}{\protect\conclusionname}
370 \providecommand{\conclusionname}{_(Conclusion)}
373 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
381 LabelString "Assumption \theassumption."
384 \newtheorem{assumption}{\protect\assumptionname}
387 \providecommand{\assumptionname}{_(Assumption)}
390 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
392 LabelCounter assumption
398 LatexName assumption*
399 LabelString "Assumption."
402 \newtheorem*{assumption*}{\protect\assumptionname}
405 \providecommand{\assumptionname}{_(Assumption)}
408 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
416 LabelString "Question \thequestion."
419 \newtheorem{question}{\protect\questionname}
422 \providecommand{\questionname}{_(Question)}
425 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
427 LabelCounter question
433 LabelString "Question."
436 \newtheorem*{question*}{\protect\questionname}
439 \providecommand{\questionname}{_(Question)}
442 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
446 Input theorems-refprefix.inc