1 #\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type within Chapters)}
3 #Defines some additional theorem environments for use with the
4 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
5 #Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
6 #Assumption, and Case, in both numbered and non-numbered forms.
7 #Contrary to the plain AMS-Extended module, the different theorem
8 #types provided here each have a separate counter, restarted with each
9 #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,
10 #criterion 2, axiom 3, assumption 4...)
12 #Requires: theorems-ams-chap-bytype
14 # Original Author : David L. Johnson <dlj0@lehigh.edu>
15 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
16 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
17 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
18 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
19 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
20 # Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
26 # The environnements defined (regular and starred) are :
39 # We need separate counters for each theorem-like style.
54 Counter acknowledgement
64 # additional (AMS-extended) environments
69 LabelString "Criterion \thechapter.\thecriterion."
72 \ifx\thechapter\undefined
73 \newtheorem{criterion}{\protect\criterionname}
75 \newtheorem{criterion}{\protect\criterionname}[chapter]
79 \providecommand{\criterionname}{_(Criterion)}
82 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
84 LabelCounter criterion
91 LabelString "Criterion."
94 \newtheorem*{criterion*}{\protect\criterionname}
97 \providecommand{\criterionname}{_(Criterion)}
100 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
107 LatexName lyxalgorithm
108 LabelString "Algorithm \thechapter.\thealgorithm."
111 \ifx\thechapter\undefined
112 \newtheorem{lyxalgorithm}{\protect\algorithmname}
114 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
118 \providecommand{\algorithmname}{_(Algorithm)}
121 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
123 LabelCounter algorithm
129 LatexName lyxalgorithm*
130 LabelString "Algorithm."
133 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
136 \providecommand{\algorithmname}{_(Algorithm)}
139 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
147 LabelString "Axiom \thechapter.\theaxiom."
150 \ifx\thechapter\undefined
151 \newtheorem{ax}{\protect\axiomname}
153 \newtheorem{ax}{\protect\axiomname}[chapter]
157 \providecommand{\axiomname}{_(Axiom)}
160 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
172 \newtheorem*{ax*}{\protect\axiomname}
175 \providecommand{\axiomname}{_(Axiom)}
178 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
186 LabelString "Condition \thechapter.\thecondition."
188 \theoremstyle{definition}
189 \ifx\thechapter\undefined
190 \newtheorem{condition}{\protect\conditionname}
192 \newtheorem{condition}{\protect\conditionname}[chapter]
196 \providecommand{\conditionname}{_(Condition)}
199 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
201 LabelCounter condition
206 CopyStyle Definition*
208 LabelString "Condition."
210 \theoremstyle{definition}
211 \newtheorem*{condition*}{\protect\conditionname}
214 \providecommand{\conditionname}{_(Condition)}
217 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
225 LabelString "Note \thechapter.\thenote."
227 \theoremstyle{remark}
228 \ifx\thechapter\undefined
229 \newtheorem{note}{\protect\notename}
231 \newtheorem{note}{\protect\notename}[chapter]
235 \providecommand{\notename}{_(Note)}
238 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
249 \theoremstyle{remark}
250 \newtheorem*{note*}{\protect\notename}
253 \providecommand{\notename}{_(Note)}
256 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
264 LabelString "Notation \thechapter.\thenotation."
266 \theoremstyle{remark}
267 \ifx\thechapter\undefined
268 \newtheorem{notation}{\protect\notationname}
270 \newtheorem{notation}{\protect\notationname}[chapter]
274 \providecommand{\notationname}{_(Notation)}
277 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
279 LabelCounter notation
286 LabelString "Notation."
288 \theoremstyle{remark}
289 \newtheorem*{notation*}{\protect\notationname}
292 \providecommand{\notationname}{_(Notation)}
295 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
303 LabelString "Summary \thechapter.\thesummary."
305 \theoremstyle{remark}
306 \ifx\thechapter\undefined
307 \newtheorem{summary}{\protect\summaryname}
310 \newtheorem{summary}{\protect\summaryname}[chapter]
314 \providecommand{\summaryname}{_(Summary)}
317 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
326 LabelString "Summary."
328 \theoremstyle{remark}
329 \newtheorem*{summary*}{\protect\summaryname}
332 \providecommand{\summaryname}{_(Summary)}
335 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
340 Style Acknowledgement
342 LatexName acknowledgement
343 LabelString "Acknowledgement \thechapter.\theacknowledgement."
345 \theoremstyle{remark}
346 \ifx\thechapter\undefined
347 \newtheorem{acknowledgement}{\protect\acknowledgementname}
349 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
353 \providecommand{\acknowledgementname}{_(Acknowledgement)}
356 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
358 LabelCounter acknowledgement
362 Style Acknowledgement*
364 LatexName acknowledgement*
365 LabelString "Acknowledgement."
367 \theoremstyle{remark}
368 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
371 \providecommand{\acknowledgementname}{_(Acknowledgement)}
374 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
382 LabelString "Conclusion \thechapter.\theconclusion."
384 \theoremstyle{remark}
385 \ifx\thechapter\undefined
386 \newtheorem{conclusion}{\protect\conclusionname}
388 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
392 \providecommand{\conclusionname}{_(Conclusion)}
395 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
397 LabelCounter conclusion
403 LatexName conclusion*
404 LabelString "Conclusion."
406 \theoremstyle{remark}
407 \newtheorem*{conclusion*}{\protect\conclusionname}
410 \providecommand{\conclusionname}{_(Conclusion)}
413 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
421 LabelString "Assumption \thechapter.\theassumption."
424 \ifx\thechapter\undefined
425 \newtheorem{assumption}{\protect\assumptionname}
427 \newtheorem{assumption}{\protect\assumptionname}[chapter]
431 \providecommand{\assumptionname}{_(Assumption)}
434 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
436 LabelCounter assumption
442 LatexName assumption*
443 LabelString "Assumption."
446 \newtheorem*{assumption*}{\protect\assumptionname}
449 \providecommand{\assumptionname}{_(Assumption)}
452 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
460 LabelString "Question \thechapter.\thequestion."
463 \ifx\thechapter\undefined
464 \newtheorem{question}{\protect\questionname}
466 \newtheorem{question}{\protect\questionname}[chapter]
470 \providecommand{\questionname}{_(Question)}
473 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
475 LabelCounter question
481 LabelString "Question."
484 \newtheorem*{question*}{\protect\questionname}
487 \providecommand{\questionname}{_(Question)}
490 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
494 Input theorems-refprefix.inc