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.
62 Counter acknowledgement
63 GuiName Acknowledgement
76 # additional (AMS-extended) environments
81 LabelString "Criterion \thechapter.\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
103 LabelString "Criterion."
106 \newtheorem*{criterion*}{\protect\criterionname}
109 \providecommand{\criterionname}{_(Criterion)}
112 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
119 LatexName lyxalgorithm
120 LabelString "Algorithm \thechapter.\thealgorithm."
123 \ifx\thechapter\undefined
124 \newtheorem{lyxalgorithm}{\protect\algorithmname}
126 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
130 \providecommand{\algorithmname}{_(Algorithm)}
133 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
135 LabelCounter algorithm
141 LatexName lyxalgorithm*
142 LabelString "Algorithm."
145 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
148 \providecommand{\algorithmname}{_(Algorithm)}
151 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
159 LabelString "Axiom \thechapter.\theaxiom."
162 \ifx\thechapter\undefined
163 \newtheorem{ax}{\protect\axiomname}
165 \newtheorem{ax}{\protect\axiomname}[chapter]
169 \providecommand{\axiomname}{_(Axiom)}
172 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
184 \newtheorem*{ax*}{\protect\axiomname}
187 \providecommand{\axiomname}{_(Axiom)}
190 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
198 LabelString "Condition \thechapter.\thecondition."
200 \theoremstyle{definition}
201 \ifx\thechapter\undefined
202 \newtheorem{condition}{\protect\conditionname}
204 \newtheorem{condition}{\protect\conditionname}[chapter]
208 \providecommand{\conditionname}{_(Condition)}
211 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
213 LabelCounter condition
218 CopyStyle Definition*
220 LabelString "Condition."
222 \theoremstyle{definition}
223 \newtheorem*{condition*}{\protect\conditionname}
226 \providecommand{\conditionname}{_(Condition)}
229 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
237 LabelString "Note \thechapter.\thenote."
239 \theoremstyle{remark}
240 \ifx\thechapter\undefined
241 \newtheorem{note}{\protect\notename}
243 \newtheorem{note}{\protect\notename}[chapter]
247 \providecommand{\notename}{_(Note)}
250 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
261 \theoremstyle{remark}
262 \newtheorem*{note*}{\protect\notename}
265 \providecommand{\notename}{_(Note)}
268 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
276 LabelString "Notation \thechapter.\thenotation."
278 \theoremstyle{remark}
279 \ifx\thechapter\undefined
280 \newtheorem{notation}{\protect\notationname}
282 \newtheorem{notation}{\protect\notationname}[chapter]
286 \providecommand{\notationname}{_(Notation)}
289 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
291 LabelCounter notation
298 LabelString "Notation."
300 \theoremstyle{remark}
301 \newtheorem*{notation*}{\protect\notationname}
304 \providecommand{\notationname}{_(Notation)}
307 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
315 LabelString "Summary \thechapter.\thesummary."
317 \theoremstyle{remark}
318 \ifx\thechapter\undefined
319 \newtheorem{summary}{\protect\summaryname}
322 \newtheorem{summary}{\protect\summaryname}[chapter]
326 \providecommand{\summaryname}{_(Summary)}
329 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
338 LabelString "Summary."
340 \theoremstyle{remark}
341 \newtheorem*{summary*}{\protect\summaryname}
344 \providecommand{\summaryname}{_(Summary)}
347 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
352 Style Acknowledgement
354 LatexName acknowledgement
355 LabelString "Acknowledgement \thechapter.\theacknowledgement."
357 \theoremstyle{remark}
358 \ifx\thechapter\undefined
359 \newtheorem{acknowledgement}{\protect\acknowledgementname}
361 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
365 \providecommand{\acknowledgementname}{_(Acknowledgement)}
368 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
370 LabelCounter acknowledgement
374 Style Acknowledgement*
376 LatexName acknowledgement*
377 LabelString "Acknowledgement."
379 \theoremstyle{remark}
380 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
383 \providecommand{\acknowledgementname}{_(Acknowledgement)}
386 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
394 LabelString "Conclusion \thechapter.\theconclusion."
396 \theoremstyle{remark}
397 \ifx\thechapter\undefined
398 \newtheorem{conclusion}{\protect\conclusionname}
400 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
404 \providecommand{\conclusionname}{_(Conclusion)}
407 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
409 LabelCounter conclusion
415 LatexName conclusion*
416 LabelString "Conclusion."
418 \theoremstyle{remark}
419 \newtheorem*{conclusion*}{\protect\conclusionname}
422 \providecommand{\conclusionname}{_(Conclusion)}
425 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
433 LabelString "Assumption \thechapter.\theassumption."
436 \ifx\thechapter\undefined
437 \newtheorem{assumption}{\protect\assumptionname}
439 \newtheorem{assumption}{\protect\assumptionname}[chapter]
443 \providecommand{\assumptionname}{_(Assumption)}
446 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
448 LabelCounter assumption
454 LatexName assumption*
455 LabelString "Assumption."
458 \newtheorem*{assumption*}{\protect\assumptionname}
461 \providecommand{\assumptionname}{_(Assumption)}
464 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
472 LabelString "Question \thechapter.\thequestion."
475 \ifx\thechapter\undefined
476 \newtheorem{question}{\protect\questionname}
478 \newtheorem{question}{\protect\questionname}[chapter]
482 \providecommand{\questionname}{_(Question)}
485 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
487 LabelCounter question
493 LabelString "Question."
496 \newtheorem*{question*}{\protect\questionname}
499 \providecommand{\questionname}{_(Question)}
502 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
506 Input theorems-refprefix.inc