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, Acknowledgment, 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 :
35 # - Acknowledgment (with LaTeX name acknowledgement for compatib.)
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'
394 LatexName acknowledgement
395 LabelString "Acknowledgment \theacknowledgement."
397 \theoremstyle{remark}
398 \ifx\thechapter\undefined
399 \newtheorem{acknowledgement}{\protect\acknowledgementname}
401 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
405 \providecommand{\acknowledgementname}{_(Acknowledgment)}
408 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgment)}}
410 LabelCounter acknowledgement
412 DocBookAttr role='acknowledgement'
417 Style Acknowledgement
418 ObsoletedBy Acknowledgment
422 Style Acknowledgment*
424 LatexName acknowledgement*
425 LabelString "Acknowledgment."
427 \theoremstyle{remark}
428 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
431 \providecommand{\acknowledgementname}{_(Acknowledgment)}
434 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgment)}}
437 DocBookAttr role='acknowledgement'
442 Style Acknowledgement*
443 ObsoletedBy Acknowledgment*
450 LabelString "Conclusion \theconclusion."
452 \theoremstyle{remark}
453 \ifx\thechapter\undefined
454 \newtheorem{conclusion}{\protect\conclusionname}
456 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
460 \providecommand{\conclusionname}{_(Conclusion)}
463 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
465 LabelCounter conclusion
467 DocBookAttr role='conclusion'
474 LatexName conclusion*
475 LabelString "Conclusion."
477 \theoremstyle{remark}
478 \newtheorem*{conclusion*}{\protect\conclusionname}
481 \providecommand{\conclusionname}{_(Conclusion)}
484 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
487 DocBookAttr role='conclusion'
495 LabelString "Assumption \theassumption."
498 \ifx\thechapter\undefined
499 \newtheorem{assumption}{\protect\assumptionname}
501 \newtheorem{assumption}{\protect\assumptionname}[chapter]
505 \providecommand{\assumptionname}{_(Assumption)}
508 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
510 LabelCounter assumption
512 DocBookAttr role='assumption'
519 LatexName assumption*
520 LabelString "Assumption."
523 \newtheorem*{assumption*}{\protect\assumptionname}
526 \providecommand{\assumptionname}{_(Assumption)}
529 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
532 DocBookAttr role='assumption'
540 LabelString "Question \thequestion."
543 \ifx\thechapter\undefined
544 \newtheorem{question}{\protect\questionname}
546 \newtheorem{question}{\protect\questionname}[chapter]
550 \providecommand{\questionname}{_(Question)}
553 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
555 LabelCounter question
557 DocBookAttr role='question'
564 LabelString "Question."
567 \newtheorem*{question*}{\protect\questionname}
570 \providecommand{\questionname}{_(Question)}
573 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
576 DocBookAttr role='question'
580 Input theorems-refprefix.inc