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.
55 Counter acknowledgement
65 # additional (AMS-extended) environments
70 LabelString "Criterion \thechapter.\thecriterion."
73 \ifx\thechapter\undefined
74 \newtheorem{criterion}{\protect\criterionname}
76 \newtheorem{criterion}{\protect\criterionname}[chapter]
80 \providecommand{\criterionname}{_(Criterion)}
83 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
85 LabelCounter criterion
92 LabelString "Criterion."
95 \newtheorem*{criterion*}{\protect\criterionname}
98 \providecommand{\criterionname}{_(Criterion)}
101 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
108 LatexName lyxalgorithm
109 LabelString "Algorithm \thechapter.\thealgorithm."
112 \ifx\thechapter\undefined
113 \newtheorem{lyxalgorithm}{\protect\algorithmname}
115 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
119 \providecommand{\algorithmname}{_(Algorithm)}
122 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
124 LabelCounter algorithm
130 LatexName lyxalgorithm*
131 LabelString "Algorithm."
134 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
137 \providecommand{\algorithmname}{_(Algorithm)}
140 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
148 LabelString "Axiom \thechapter.\theaxiom."
151 \ifx\thechapter\undefined
152 \newtheorem{ax}{\protect\axiomname}
154 \newtheorem{ax}{\protect\axiomname}[chapter]
158 \providecommand{\axiomname}{_(Axiom)}
161 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
173 \newtheorem*{ax*}{\protect\axiomname}
176 \providecommand{\axiomname}{_(Axiom)}
179 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
187 LabelString "Condition \thechapter.\thecondition."
189 \theoremstyle{definition}
190 \ifx\thechapter\undefined
191 \newtheorem{condition}{\protect\conditionname}
193 \newtheorem{condition}{\protect\conditionname}[chapter]
197 \providecommand{\conditionname}{_(Condition)}
200 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
202 LabelCounter condition
207 CopyStyle Definition*
209 LabelString "Condition."
211 \theoremstyle{definition}
212 \newtheorem*{condition*}{\protect\conditionname}
215 \providecommand{\conditionname}{_(Condition)}
218 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
226 LabelString "Note \thechapter.\thenote."
228 \theoremstyle{remark}
229 \ifx\thechapter\undefined
230 \newtheorem{note}{\protect\notename}
232 \newtheorem{note}{\protect\notename}[chapter]
236 \providecommand{\notename}{_(Note)}
239 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
250 \theoremstyle{remark}
251 \newtheorem*{note*}{\protect\notename}
254 \providecommand{\notename}{_(Note)}
257 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
265 LabelString "Notation \thechapter.\thenotation."
267 \theoremstyle{remark}
268 \ifx\thechapter\undefined
269 \newtheorem{notation}{\protect\notationname}
271 \newtheorem{notation}{\protect\notationname}[chapter]
275 \providecommand{\notationname}{_(Notation)}
278 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
280 LabelCounter notation
287 LabelString "Notation."
289 \theoremstyle{remark}
290 \newtheorem*{notation*}{\protect\notationname}
293 \providecommand{\notationname}{_(Notation)}
296 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
304 LabelString "Summary \thechapter.\thesummary."
306 \theoremstyle{remark}
307 \ifx\thechapter\undefined
308 \newtheorem{summary}{\protect\summaryname}
311 \newtheorem{summary}{\protect\summaryname}[chapter]
315 \providecommand{\summaryname}{_(Summary)}
318 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
327 LabelString "Summary."
329 \theoremstyle{remark}
330 \newtheorem*{summary*}{\protect\summaryname}
333 \providecommand{\summaryname}{_(Summary)}
336 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
341 Style Acknowledgement
343 LatexName acknowledgement
344 LabelString "Acknowledgement \thechapter.\theacknowledgement."
346 \theoremstyle{remark}
347 \ifx\thechapter\undefined
348 \newtheorem{acknowledgement}{\protect\acknowledgementname}
350 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
354 \providecommand{\acknowledgementname}{_(Acknowledgement)}
357 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
359 LabelCounter acknowledgement
363 Style Acknowledgement*
365 LatexName acknowledgement*
366 LabelString "Acknowledgement."
368 \theoremstyle{remark}
369 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
372 \providecommand{\acknowledgementname}{_(Acknowledgement)}
375 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
383 LabelString "Conclusion \thechapter.\theconclusion."
385 \theoremstyle{remark}
386 \ifx\thechapter\undefined
387 \newtheorem{conclusion}{\protect\conclusionname}
389 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
393 \providecommand{\conclusionname}{_(Conclusion)}
396 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
398 LabelCounter conclusion
404 LatexName conclusion*
405 LabelString "Conclusion."
407 \theoremstyle{remark}
408 \newtheorem*{conclusion*}{\protect\conclusionname}
411 \providecommand{\conclusionname}{_(Conclusion)}
414 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
422 LabelString "Assumption \thechapter.\theassumption."
425 \ifx\thechapter\undefined
426 \newtheorem{assumption}{\protect\assumptionname}
428 \newtheorem{assumption}{\protect\assumptionname}[chapter]
432 \providecommand{\assumptionname}{_(Assumption)}
435 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
437 LabelCounter assumption
443 LatexName assumption*
444 LabelString "Assumption."
447 \newtheorem*{assumption*}{\protect\assumptionname}
450 \providecommand{\assumptionname}{_(Assumption)}
453 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
461 LabelString "Question \thechapter.\thequestion."
464 \ifx\thechapter\undefined
465 \newtheorem{question}{\protect\questionname}
467 \newtheorem{question}{\protect\questionname}[chapter]
471 \providecommand{\questionname}{_(Question)}
474 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
476 LabelCounter question
482 LabelString "Question."
485 \newtheorem*{question*}{\protect\questionname}
488 \providecommand{\questionname}{_(Question)}
491 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
495 Input theorems-refprefix.inc