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 # We need separate counters for each theorem-like style.
48 LaTeXName lyxalgorithm
71 Counter acknowledgement
72 GuiName Acknowledgement
89 # additional (AMS-extended) environments
94 LabelString "Criterion \thecriterion."
97 \ifx\thechapter\undefined
98 \newtheorem{criterion}{\protect\criterionname}
100 \newtheorem{criterion}{\protect\criterionname}[chapter]
104 \providecommand{\criterionname}{_(Criterion)}
107 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
109 LabelCounter criterion
111 DocBookAttr role='criterion'
119 LabelString "Criterion."
122 \newtheorem*{criterion*}{\protect\criterionname}
125 \providecommand{\criterionname}{_(Criterion)}
128 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
131 DocBookAttr role='criterion'
138 LatexName lyxalgorithm
139 LabelString "Algorithm \thealgorithm."
142 \ifx\thechapter\undefined
143 \newtheorem{lyxalgorithm}{\protect\algorithmname}
145 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
149 \providecommand{\algorithmname}{_(Algorithm)}
152 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
154 LabelCounter algorithm
156 DocBookAttr role='algorithm'
163 LatexName lyxalgorithm*
164 LabelString "Algorithm."
167 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
170 \providecommand{\algorithmname}{_(Algorithm)}
173 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
176 DocBookAttr role='algorithm'
184 LabelString "Axiom \theaxiom."
187 \ifx\thechapter\undefined
188 \newtheorem{ax}{\protect\axiomname}
190 \newtheorem{ax}{\protect\axiomname}[chapter]
194 \providecommand{\axiomname}{_(Axiom)}
197 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
201 DocBookAttr role='axiom'
212 \newtheorem*{ax*}{\protect\axiomname}
215 \providecommand{\axiomname}{_(Axiom)}
218 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
221 DocBookAttr role='axiom'
229 LabelString "Condition \thecondition."
231 \theoremstyle{definition}
232 \ifx\thechapter\undefined
233 \newtheorem{condition}{\protect\conditionname}
235 \newtheorem{condition}{\protect\conditionname}[chapter]
239 \providecommand{\conditionname}{_(Condition)}
242 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
244 LabelCounter condition
246 DocBookAttr role='condition'
252 CopyStyle Definition*
254 LabelString "Condition."
256 \theoremstyle{definition}
257 \newtheorem*{condition*}{\protect\conditionname}
260 \providecommand{\conditionname}{_(Condition)}
263 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
266 DocBookAttr role='condition'
274 LabelString "Note \thenote."
276 \theoremstyle{remark}
277 \ifx\thechapter\undefined
278 \newtheorem{note}{\protect\notename}
280 \newtheorem{note}{\protect\notename}[chapter]
284 \providecommand{\notename}{_(Note)}
287 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
300 \theoremstyle{remark}
301 \newtheorem*{note*}{\protect\notename}
304 \providecommand{\notename}{_(Note)}
307 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
317 LabelString "Notation \thenotation."
319 \theoremstyle{remark}
320 \ifx\thechapter\undefined
321 \newtheorem{notation}{\protect\notationname}
323 \newtheorem{notation}{\protect\notationname}[chapter]
327 \providecommand{\notationname}{_(Notation)}
330 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
332 LabelCounter notation
334 DocBookAttr role='notation'
342 LabelString "Notation."
344 \theoremstyle{remark}
345 \newtheorem*{notation*}{\protect\notationname}
348 \providecommand{\notationname}{_(Notation)}
351 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
354 DocBookAttr role='notation'
362 LabelString "Summary \thesummary."
364 \theoremstyle{remark}
365 \ifx\thechapter\undefined
366 \newtheorem{summary}{\protect\summaryname}
369 \newtheorem{summary}{\protect\summaryname}[chapter]
373 \providecommand{\summaryname}{_(Summary)}
376 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
380 DocBookAttr role='summary'
388 LabelString "Summary."
390 \theoremstyle{remark}
391 \newtheorem*{summary*}{\protect\summaryname}
394 \providecommand{\summaryname}{_(Summary)}
397 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
400 DocBookAttr role='summary'
405 Style Acknowledgement
407 LatexName acknowledgement
408 LabelString "Acknowledgement \theacknowledgement."
410 \theoremstyle{remark}
411 \ifx\thechapter\undefined
412 \newtheorem{acknowledgement}{\protect\acknowledgementname}
414 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
418 \providecommand{\acknowledgementname}{_(Acknowledgement)}
421 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
423 LabelCounter acknowledgement
425 DocBookAttr role='acknowledgement'
430 Style Acknowledgement*
432 LatexName acknowledgement*
433 LabelString "Acknowledgement."
435 \theoremstyle{remark}
436 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
439 \providecommand{\acknowledgementname}{_(Acknowledgement)}
442 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
445 DocBookAttr role='acknowledgement'
453 LabelString "Conclusion \theconclusion."
455 \theoremstyle{remark}
456 \ifx\thechapter\undefined
457 \newtheorem{conclusion}{\protect\conclusionname}
459 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
463 \providecommand{\conclusionname}{_(Conclusion)}
466 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
468 LabelCounter conclusion
470 DocBookAttr role='conclusion'
477 LatexName conclusion*
478 LabelString "Conclusion."
480 \theoremstyle{remark}
481 \newtheorem*{conclusion*}{\protect\conclusionname}
484 \providecommand{\conclusionname}{_(Conclusion)}
487 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
490 DocBookAttr role='conclusion'
498 LabelString "Assumption \theassumption."
501 \ifx\thechapter\undefined
502 \newtheorem{assumption}{\protect\assumptionname}
504 \newtheorem{assumption}{\protect\assumptionname}[chapter]
508 \providecommand{\assumptionname}{_(Assumption)}
511 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
513 LabelCounter assumption
515 DocBookAttr role='assumption'
522 LatexName assumption*
523 LabelString "Assumption."
526 \newtheorem*{assumption*}{\protect\assumptionname}
529 \providecommand{\assumptionname}{_(Assumption)}
532 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
535 DocBookAttr role='assumption'
543 LabelString "Question \thequestion."
546 \ifx\thechapter\undefined
547 \newtheorem{question}{\protect\questionname}
549 \newtheorem{question}{\protect\questionname}[chapter]
553 \providecommand{\questionname}{_(Question)}
556 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
558 LabelCounter question
560 DocBookAttr role='question'
567 LabelString "Question."
570 \newtheorem*{question*}{\protect\questionname}
573 \providecommand{\questionname}{_(Question)}
576 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
579 DocBookAttr role='question'
583 Input theorems-refprefix.inc