1 #\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type within Chapters)}
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, restarted with each
10 #new chapter (e.g., criterion 1.1, criterion 1.2, axiom 1.1, assumption 1.1, #criterion 2.1, criterion 2.2, axiom 2.1..., as opposed to criterion 1,
11 #criterion 2, axiom 3, assumption 4...)
13 #Requires: theorems-ams-chap-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
21 # Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
27 # The environnements defined (regular and starred) are :
40 # We need separate counters for each theorem-like style.
69 Counter acknowledgement
70 GuiName Acknowledgement
87 # additional (AMS-extended) environments
92 LabelString "Criterion \thecriterion."
95 \ifx\thechapter\undefined
96 \newtheorem{criterion}{\protect\criterionname}
98 \newtheorem{criterion}{\protect\criterionname}[chapter]
102 \providecommand{\criterionname}{_(Criterion)}
105 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
107 LabelCounter criterion
109 DocBookAttr role='criterion'
117 LabelString "Criterion."
120 \newtheorem*{criterion*}{\protect\criterionname}
123 \providecommand{\criterionname}{_(Criterion)}
126 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
129 DocBookAttr role='criterion'
136 LatexName lyxalgorithm
137 LabelString "Algorithm \thealgorithm."
140 \ifx\thechapter\undefined
141 \newtheorem{lyxalgorithm}{\protect\algorithmname}
143 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
147 \providecommand{\algorithmname}{_(Algorithm)}
150 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
152 LabelCounter algorithm
154 DocBookAttr role='algorithm'
161 LatexName lyxalgorithm*
162 LabelString "Algorithm."
165 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
168 \providecommand{\algorithmname}{_(Algorithm)}
171 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
174 DocBookAttr role='algorithm'
182 LabelString "Axiom \theaxiom."
185 \ifx\thechapter\undefined
186 \newtheorem{ax}{\protect\axiomname}
188 \newtheorem{ax}{\protect\axiomname}[chapter]
192 \providecommand{\axiomname}{_(Axiom)}
195 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
199 DocBookAttr role='axiom'
210 \newtheorem*{ax*}{\protect\axiomname}
213 \providecommand{\axiomname}{_(Axiom)}
216 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
219 DocBookAttr role='axiom'
227 LabelString "Condition \thecondition."
229 \theoremstyle{definition}
230 \ifx\thechapter\undefined
231 \newtheorem{condition}{\protect\conditionname}
233 \newtheorem{condition}{\protect\conditionname}[chapter]
237 \providecommand{\conditionname}{_(Condition)}
240 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
242 LabelCounter condition
244 DocBookAttr role='condition'
250 CopyStyle Definition*
252 LabelString "Condition."
254 \theoremstyle{definition}
255 \newtheorem*{condition*}{\protect\conditionname}
258 \providecommand{\conditionname}{_(Condition)}
261 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
264 DocBookAttr role='condition'
272 LabelString "Note \thenote."
274 \theoremstyle{remark}
275 \ifx\thechapter\undefined
276 \newtheorem{note}{\protect\notename}
278 \newtheorem{note}{\protect\notename}[chapter]
282 \providecommand{\notename}{_(Note)}
285 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
298 \theoremstyle{remark}
299 \newtheorem*{note*}{\protect\notename}
302 \providecommand{\notename}{_(Note)}
305 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
315 LabelString "Notation \thenotation."
317 \theoremstyle{remark}
318 \ifx\thechapter\undefined
319 \newtheorem{notation}{\protect\notationname}
321 \newtheorem{notation}{\protect\notationname}[chapter]
325 \providecommand{\notationname}{_(Notation)}
328 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
330 LabelCounter notation
332 DocBookAttr role='notation'
340 LabelString "Notation."
342 \theoremstyle{remark}
343 \newtheorem*{notation*}{\protect\notationname}
346 \providecommand{\notationname}{_(Notation)}
349 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
352 DocBookAttr role='notation'
360 LabelString "Summary \thesummary."
362 \theoremstyle{remark}
363 \ifx\thechapter\undefined
364 \newtheorem{summary}{\protect\summaryname}
367 \newtheorem{summary}{\protect\summaryname}[chapter]
371 \providecommand{\summaryname}{_(Summary)}
374 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
378 DocBookAttr role='summary'
386 LabelString "Summary."
388 \theoremstyle{remark}
389 \newtheorem*{summary*}{\protect\summaryname}
392 \providecommand{\summaryname}{_(Summary)}
395 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
398 DocBookAttr role='summary'
403 Style Acknowledgement
405 LatexName acknowledgement
406 LabelString "Acknowledgement \theacknowledgement."
408 \theoremstyle{remark}
409 \ifx\thechapter\undefined
410 \newtheorem{acknowledgement}{\protect\acknowledgementname}
412 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
416 \providecommand{\acknowledgementname}{_(Acknowledgement)}
419 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
421 LabelCounter acknowledgement
423 DocBookAttr role='acknowledgement'
428 Style Acknowledgement*
430 LatexName acknowledgement*
431 LabelString "Acknowledgement."
433 \theoremstyle{remark}
434 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
437 \providecommand{\acknowledgementname}{_(Acknowledgement)}
440 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
443 DocBookAttr role='acknowledgement'
451 LabelString "Conclusion \theconclusion."
453 \theoremstyle{remark}
454 \ifx\thechapter\undefined
455 \newtheorem{conclusion}{\protect\conclusionname}
457 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
461 \providecommand{\conclusionname}{_(Conclusion)}
464 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
466 LabelCounter conclusion
468 DocBookAttr role='conclusion'
475 LatexName conclusion*
476 LabelString "Conclusion."
478 \theoremstyle{remark}
479 \newtheorem*{conclusion*}{\protect\conclusionname}
482 \providecommand{\conclusionname}{_(Conclusion)}
485 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
488 DocBookAttr role='conclusion'
496 LabelString "Assumption \theassumption."
499 \ifx\thechapter\undefined
500 \newtheorem{assumption}{\protect\assumptionname}
502 \newtheorem{assumption}{\protect\assumptionname}[chapter]
506 \providecommand{\assumptionname}{_(Assumption)}
509 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
511 LabelCounter assumption
513 DocBookAttr role='assumption'
520 LatexName assumption*
521 LabelString "Assumption."
524 \newtheorem*{assumption*}{\protect\assumptionname}
527 \providecommand{\assumptionname}{_(Assumption)}
530 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
533 DocBookAttr role='assumption'
541 LabelString "Question \thequestion."
544 \ifx\thechapter\undefined
545 \newtheorem{question}{\protect\questionname}
547 \newtheorem{question}{\protect\questionname}[chapter]
551 \providecommand{\questionname}{_(Question)}
554 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
556 LabelCounter question
558 DocBookAttr role='question'
565 LabelString "Question."
568 \newtheorem*{question*}{\protect\questionname}
571 \providecommand{\questionname}{_(Question)}
574 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
577 DocBookAttr role='question'
581 Input theorems-refprefix.inc