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 Kimberly Heck <rikiheck@lyx.org>
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 Input theorems-counters-extended-bytype.inc
62 Counter acknowledgement
76 # additional (AMS-extended) environments
81 LabelString "Criterion \thecriterion."
84 \ifx\thechapter\undefined
85 \newtheorem{criterion}{\protect\criterionname}
87 \newtheorem{criterion}{\protect\criterionname}[chapter]
91 \providecommand{\criterionname}{_(Criterion)}
94 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
96 LabelCounter criterion
98 DocBookAttr role='criterion'
106 LabelString "Criterion."
109 \newtheorem*{criterion*}{\protect\criterionname}
112 \providecommand{\criterionname}{_(Criterion)}
115 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
118 DocBookAttr role='criterion'
125 LatexName lyxalgorithm
126 LabelString "Algorithm \thealgorithm."
129 \ifx\thechapter\undefined
130 \newtheorem{lyxalgorithm}{\protect\algorithmname}
132 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
136 \providecommand{\algorithmname}{_(Algorithm)}
139 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
141 LabelCounter algorithm
143 DocBookAttr role='algorithm'
150 LatexName lyxalgorithm*
151 LabelString "Algorithm."
154 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
157 \providecommand{\algorithmname}{_(Algorithm)}
160 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
163 DocBookAttr role='algorithm'
171 LabelString "Axiom \theaxiom."
174 \ifx\thechapter\undefined
175 \newtheorem{ax}{\protect\axiomname}
177 \newtheorem{ax}{\protect\axiomname}[chapter]
181 \providecommand{\axiomname}{_(Axiom)}
184 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
188 DocBookAttr role='axiom'
199 \newtheorem*{ax*}{\protect\axiomname}
202 \providecommand{\axiomname}{_(Axiom)}
205 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
208 DocBookAttr role='axiom'
216 LabelString "Condition \thecondition."
218 \theoremstyle{definition}
219 \ifx\thechapter\undefined
220 \newtheorem{condition}{\protect\conditionname}
222 \newtheorem{condition}{\protect\conditionname}[chapter]
226 \providecommand{\conditionname}{_(Condition)}
229 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
231 LabelCounter condition
233 DocBookAttr role='condition'
239 CopyStyle Definition*
241 LabelString "Condition."
243 \theoremstyle{definition}
244 \newtheorem*{condition*}{\protect\conditionname}
247 \providecommand{\conditionname}{_(Condition)}
250 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
253 DocBookAttr role='condition'
261 LabelString "Note \thenote."
263 \theoremstyle{remark}
264 \ifx\thechapter\undefined
265 \newtheorem{note}{\protect\notename}
267 \newtheorem{note}{\protect\notename}[chapter]
271 \providecommand{\notename}{_(Note)}
274 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
287 \theoremstyle{remark}
288 \newtheorem*{note*}{\protect\notename}
291 \providecommand{\notename}{_(Note)}
294 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
304 LabelString "Notation \thenotation."
306 \theoremstyle{remark}
307 \ifx\thechapter\undefined
308 \newtheorem{notation}{\protect\notationname}
310 \newtheorem{notation}{\protect\notationname}[chapter]
314 \providecommand{\notationname}{_(Notation)}
317 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
319 LabelCounter notation
321 DocBookAttr role='notation'
329 LabelString "Notation."
331 \theoremstyle{remark}
332 \newtheorem*{notation*}{\protect\notationname}
335 \providecommand{\notationname}{_(Notation)}
338 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
341 DocBookAttr role='notation'
349 LabelString "Summary \thesummary."
351 \theoremstyle{remark}
352 \ifx\thechapter\undefined
353 \newtheorem{summary}{\protect\summaryname}
356 \newtheorem{summary}{\protect\summaryname}[chapter]
360 \providecommand{\summaryname}{_(Summary)}
363 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
367 DocBookAttr role='summary'
375 LabelString "Summary."
377 \theoremstyle{remark}
378 \newtheorem*{summary*}{\protect\summaryname}
381 \providecommand{\summaryname}{_(Summary)}
384 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
387 DocBookAttr role='summary'
392 Style Acknowledgement
394 LatexName acknowledgement
395 LabelString "Acknowledgement \theacknowledgement."
397 \theoremstyle{remark}
398 \ifx\thechapter\undefined
399 \newtheorem{acknowledgement}{\protect\acknowledgementname}
401 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
405 \providecommand{\acknowledgementname}{_(Acknowledgement)}
408 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
410 LabelCounter acknowledgement
412 DocBookAttr role='acknowledgement'
417 Style Acknowledgement*
419 LatexName acknowledgement*
420 LabelString "Acknowledgement."
422 \theoremstyle{remark}
423 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
426 \providecommand{\acknowledgementname}{_(Acknowledgement)}
429 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
432 DocBookAttr role='acknowledgement'
440 LabelString "Conclusion \theconclusion."
442 \theoremstyle{remark}
443 \ifx\thechapter\undefined
444 \newtheorem{conclusion}{\protect\conclusionname}
446 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
450 \providecommand{\conclusionname}{_(Conclusion)}
453 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
455 LabelCounter conclusion
457 DocBookAttr role='conclusion'
464 LatexName conclusion*
465 LabelString "Conclusion."
467 \theoremstyle{remark}
468 \newtheorem*{conclusion*}{\protect\conclusionname}
471 \providecommand{\conclusionname}{_(Conclusion)}
474 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
477 DocBookAttr role='conclusion'
485 LabelString "Assumption \theassumption."
488 \ifx\thechapter\undefined
489 \newtheorem{assumption}{\protect\assumptionname}
491 \newtheorem{assumption}{\protect\assumptionname}[chapter]
495 \providecommand{\assumptionname}{_(Assumption)}
498 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
500 LabelCounter assumption
502 DocBookAttr role='assumption'
509 LatexName assumption*
510 LabelString "Assumption."
513 \newtheorem*{assumption*}{\protect\assumptionname}
516 \providecommand{\assumptionname}{_(Assumption)}
519 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
522 DocBookAttr role='assumption'
530 LabelString "Question \thequestion."
533 \ifx\thechapter\undefined
534 \newtheorem{question}{\protect\questionname}
536 \newtheorem{question}{\protect\questionname}[chapter]
540 \providecommand{\questionname}{_(Question)}
543 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
545 LabelCounter question
547 DocBookAttr role='question'
554 LabelString "Question."
557 \newtheorem*{question*}{\protect\questionname}
560 \providecommand{\questionname}{_(Question)}
563 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
566 DocBookAttr role='question'
570 Input theorems-refprefix.inc