1 #\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type)}
2 #\DeclareCategory{Maths}
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.
61 Counter acknowledgement
62 GuiName Acknowledgement
78 LabelString "Criterion \thecriterion."
81 \newtheorem{criterion}{\protect\criterionname}
84 \providecommand{\criterionname}{_(Criterion)}
87 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
89 LabelCounter criterion
95 LabelString "Criterion."
98 \newtheorem*{criterion*}{\protect\criterionname}
101 \providecommand{\criterionname}{_(Criterion)}
104 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
111 LatexName lyxalgorithm
112 LabelString "Algorithm \thealgorithm."
115 \newtheorem{lyxalgorithm}{\protect\algorithmname}
118 \providecommand{\algorithmname}{_(Algorithm)}
121 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
123 LabelCounter algorithm
129 LatexName lyxalgorithm*
130 LabelString "Algorithm."
133 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
136 \providecommand{\algorithmname}{_(Algorithm)}
139 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
147 LabelString "Axiom \theaxiom."
150 \newtheorem{ax}{\protect\axiomname}
153 \providecommand{\axiomname}{_(Axiom)}
156 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
168 \newtheorem*{ax*}{\protect\axiomname}
171 \providecommand{\axiomname}{_(Axiom)}
174 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
182 LabelString "Condition \thecondition."
184 \theoremstyle{definition}
185 \newtheorem{condition}{\protect\conditionname}
188 \providecommand{\conditionname}{_(Condition)}
191 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
193 LabelCounter condition
198 CopyStyle Definition*
200 LabelString "Condition."
202 \theoremstyle{definition}
203 \newtheorem*{condition*}{\protect\conditionname}
206 \providecommand{\conditionname}{_(Condition)}
209 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
217 LabelString "Note \thenote."
219 \theoremstyle{remark}
220 \newtheorem{note}{\protect\notename}
223 \providecommand{\notename}{_(Note)}
226 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
237 \theoremstyle{remark}
238 \newtheorem*{note*}{\protect\notename}
241 \providecommand{\notename}{_(Note)}
244 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
252 LabelString "Notation \thenotation."
254 \theoremstyle{remark}
255 \newtheorem{notation}{\protect\notationname}
258 \providecommand{\notationname}{_(Notation)}
261 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
263 LabelCounter notation
270 LabelString "Notation."
272 \theoremstyle{remark}
273 \newtheorem*{notation*}{\protect\notationname}
276 \providecommand{\notationname}{_(Notation)}
279 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
287 LabelString "Summary \thesummary."
289 \theoremstyle{remark}
290 \newtheorem{summary}{\protect\summaryname}
293 \providecommand{\summaryname}{_(Summary)}
296 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
305 LabelString "Summary."
307 \theoremstyle{remark}
308 \newtheorem*{summary*}{\protect\summaryname}
311 \providecommand{\summaryname}{_(Summary)}
314 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
319 Style Acknowledgement
321 LatexName acknowledgement
322 LabelString "Acknowledgement \theacknowledgement."
324 \theoremstyle{remark}
325 \newtheorem{acknowledgement}{\protect\acknowledgementname}
328 \providecommand{\acknowledgementname}{_(Acknowledgement)}
331 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
333 LabelCounter acknowledgement
337 Style Acknowledgement*
339 LatexName acknowledgement*
340 LabelString "Acknowledgement."
342 \theoremstyle{remark}
343 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
346 \providecommand{\acknowledgementname}{_(Acknowledgement)}
349 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
357 LabelString "Conclusion \theconclusion."
359 \theoremstyle{remark}
360 \newtheorem{conclusion}{\protect\conclusionname}
363 \providecommand{\conclusionname}{_(Conclusion)}
366 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
368 LabelCounter conclusion
374 LatexName conclusion*
375 LabelString "Conclusion."
377 \theoremstyle{remark}
378 \newtheorem*{conclusion*}{\protect\conclusionname}
381 \providecommand{\conclusionname}{_(Conclusion)}
384 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
392 LabelString "Assumption \theassumption."
395 \newtheorem{assumption}{\protect\assumptionname}
398 \providecommand{\assumptionname}{_(Assumption)}
401 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
403 LabelCounter assumption
409 LatexName assumption*
410 LabelString "Assumption."
413 \newtheorem*{assumption*}{\protect\assumptionname}
416 \providecommand{\assumptionname}{_(Assumption)}
419 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
427 LabelString "Question \thequestion."
430 \newtheorem{question}{\protect\questionname}
433 \providecommand{\questionname}{_(Question)}
436 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
438 LabelCounter question
444 LabelString "Question."
447 \newtheorem*{question*}{\protect\questionname}
450 \providecommand{\questionname}{_(Question)}
453 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
457 Input theorems-refprefix.inc