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.
45 LaTeXName lyxalgorithm
63 Counter acknowledgement
64 GuiName Acknowledgement
80 LabelString "Criterion \thecriterion."
83 \newtheorem{criterion}{\protect\criterionname}
86 \providecommand{\criterionname}{_(Criterion)}
89 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
91 LabelCounter criterion
93 DocBookAttr role='criterion'
100 LabelString "Criterion."
103 \newtheorem*{criterion*}{\protect\criterionname}
106 \providecommand{\criterionname}{_(Criterion)}
109 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
112 DocBookAttr role='criterion'
119 LatexName lyxalgorithm
120 LabelString "Algorithm \thealgorithm."
123 \newtheorem{lyxalgorithm}{\protect\algorithmname}
126 \providecommand{\algorithmname}{_(Algorithm)}
129 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
131 LabelCounter algorithm
133 DocBookAttr role='algorithm'
140 LatexName lyxalgorithm*
141 LabelString "Algorithm."
144 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
147 \providecommand{\algorithmname}{_(Algorithm)}
150 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
153 DocBookAttr role='algorithm'
161 LabelString "Axiom \theaxiom."
164 \newtheorem{ax}{\protect\axiomname}
167 \providecommand{\axiomname}{_(Axiom)}
170 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
174 DocBookAttr role='axiom'
185 \newtheorem*{ax*}{\protect\axiomname}
188 \providecommand{\axiomname}{_(Axiom)}
191 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
194 DocBookAttr role='axiom'
202 LabelString "Condition \thecondition."
204 \theoremstyle{definition}
205 \newtheorem{condition}{\protect\conditionname}
208 \providecommand{\conditionname}{_(Condition)}
211 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
213 LabelCounter condition
215 DocBookAttr role='condition'
221 CopyStyle Definition*
223 LabelString "Condition."
225 \theoremstyle{definition}
226 \newtheorem*{condition*}{\protect\conditionname}
229 \providecommand{\conditionname}{_(Condition)}
232 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
235 DocBookAttr role='condition'
243 LabelString "Note \thenote."
245 \theoremstyle{remark}
246 \newtheorem{note}{\protect\notename}
249 \providecommand{\notename}{_(Note)}
252 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
265 \theoremstyle{remark}
266 \newtheorem*{note*}{\protect\notename}
269 \providecommand{\notename}{_(Note)}
272 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
282 LabelString "Notation \thenotation."
284 \theoremstyle{remark}
285 \newtheorem{notation}{\protect\notationname}
288 \providecommand{\notationname}{_(Notation)}
291 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
293 LabelCounter notation
295 DocBookAttr role='notation'
303 LabelString "Notation."
305 \theoremstyle{remark}
306 \newtheorem*{notation*}{\protect\notationname}
309 \providecommand{\notationname}{_(Notation)}
312 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
315 DocBookAttr role='notation'
323 LabelString "Summary \thesummary."
325 \theoremstyle{remark}
326 \newtheorem{summary}{\protect\summaryname}
329 \providecommand{\summaryname}{_(Summary)}
332 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
336 DocBookAttr role='summary'
344 LabelString "Summary."
346 \theoremstyle{remark}
347 \newtheorem*{summary*}{\protect\summaryname}
350 \providecommand{\summaryname}{_(Summary)}
353 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
356 DocBookAttr role='summary'
361 Style Acknowledgement
363 LatexName acknowledgement
364 LabelString "Acknowledgement \theacknowledgement."
366 \theoremstyle{remark}
367 \newtheorem{acknowledgement}{\protect\acknowledgementname}
370 \providecommand{\acknowledgementname}{_(Acknowledgement)}
373 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
375 LabelCounter acknowledgement
377 DocBookAttr role='acknowledgement'
382 Style Acknowledgement*
384 LatexName acknowledgement*
385 LabelString "Acknowledgement."
387 \theoremstyle{remark}
388 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
391 \providecommand{\acknowledgementname}{_(Acknowledgement)}
394 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
397 DocBookAttr role='acknowledgement'
405 LabelString "Conclusion \theconclusion."
407 \theoremstyle{remark}
408 \newtheorem{conclusion}{\protect\conclusionname}
411 \providecommand{\conclusionname}{_(Conclusion)}
414 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
416 LabelCounter conclusion
418 DocBookAttr role='conclusion'
425 LatexName conclusion*
426 LabelString "Conclusion."
428 \theoremstyle{remark}
429 \newtheorem*{conclusion*}{\protect\conclusionname}
432 \providecommand{\conclusionname}{_(Conclusion)}
435 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
438 DocBookAttr role='conclusion'
446 LabelString "Assumption \theassumption."
449 \newtheorem{assumption}{\protect\assumptionname}
452 \providecommand{\assumptionname}{_(Assumption)}
455 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
457 LabelCounter assumption
459 DocBookAttr role='assumption'
466 LatexName assumption*
467 LabelString "Assumption."
470 \newtheorem*{assumption*}{\protect\assumptionname}
473 \providecommand{\assumptionname}{_(Assumption)}
476 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
479 DocBookAttr role='assumption'
487 LabelString "Question \thequestion."
490 \newtheorem{question}{\protect\questionname}
493 \providecommand{\questionname}{_(Question)}
496 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
498 LabelCounter question
500 DocBookAttr role='question'
507 LabelString "Question."
510 \newtheorem*{question*}{\protect\questionname}
513 \providecommand{\questionname}{_(Question)}
516 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
519 DocBookAttr role='question'
523 Input theorems-refprefix.inc