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.
69 Counter acknowledgement
70 GuiName Acknowledgement
87 # additional (AMS-extended) environments
92 LabelString "Criterion \thecriterion."
95 \ifx\thechapter\undefined
96 \newtheorem{criterion}{\protect\criterionname}
98 \newtheorem{criterion}{\protect\criterionname}[chapter]
102 \providecommand{\criterionname}{_(Criterion)}
105 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
107 LabelCounter criterion
114 LabelString "Criterion."
117 \newtheorem*{criterion*}{\protect\criterionname}
120 \providecommand{\criterionname}{_(Criterion)}
123 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
130 LatexName lyxalgorithm
131 LabelString "Algorithm \thealgorithm."
134 \ifx\thechapter\undefined
135 \newtheorem{lyxalgorithm}{\protect\algorithmname}
137 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
141 \providecommand{\algorithmname}{_(Algorithm)}
144 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
146 LabelCounter algorithm
152 LatexName lyxalgorithm*
153 LabelString "Algorithm."
156 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
159 \providecommand{\algorithmname}{_(Algorithm)}
162 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
170 LabelString "Axiom \theaxiom."
173 \ifx\thechapter\undefined
174 \newtheorem{ax}{\protect\axiomname}
176 \newtheorem{ax}{\protect\axiomname}[chapter]
180 \providecommand{\axiomname}{_(Axiom)}
183 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
195 \newtheorem*{ax*}{\protect\axiomname}
198 \providecommand{\axiomname}{_(Axiom)}
201 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
209 LabelString "Condition \thecondition."
211 \theoremstyle{definition}
212 \ifx\thechapter\undefined
213 \newtheorem{condition}{\protect\conditionname}
215 \newtheorem{condition}{\protect\conditionname}[chapter]
219 \providecommand{\conditionname}{_(Condition)}
222 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
224 LabelCounter condition
229 CopyStyle Definition*
231 LabelString "Condition."
233 \theoremstyle{definition}
234 \newtheorem*{condition*}{\protect\conditionname}
237 \providecommand{\conditionname}{_(Condition)}
240 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
248 LabelString "Note \thenote."
250 \theoremstyle{remark}
251 \ifx\thechapter\undefined
252 \newtheorem{note}{\protect\notename}
254 \newtheorem{note}{\protect\notename}[chapter]
258 \providecommand{\notename}{_(Note)}
261 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
272 \theoremstyle{remark}
273 \newtheorem*{note*}{\protect\notename}
276 \providecommand{\notename}{_(Note)}
279 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
287 LabelString "Notation \thenotation."
289 \theoremstyle{remark}
290 \ifx\thechapter\undefined
291 \newtheorem{notation}{\protect\notationname}
293 \newtheorem{notation}{\protect\notationname}[chapter]
297 \providecommand{\notationname}{_(Notation)}
300 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
302 LabelCounter notation
309 LabelString "Notation."
311 \theoremstyle{remark}
312 \newtheorem*{notation*}{\protect\notationname}
315 \providecommand{\notationname}{_(Notation)}
318 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
326 LabelString "Summary \thesummary."
328 \theoremstyle{remark}
329 \ifx\thechapter\undefined
330 \newtheorem{summary}{\protect\summaryname}
333 \newtheorem{summary}{\protect\summaryname}[chapter]
337 \providecommand{\summaryname}{_(Summary)}
340 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
349 LabelString "Summary."
351 \theoremstyle{remark}
352 \newtheorem*{summary*}{\protect\summaryname}
355 \providecommand{\summaryname}{_(Summary)}
358 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
363 Style Acknowledgement
365 LatexName acknowledgement
366 LabelString "Acknowledgement \theacknowledgement."
368 \theoremstyle{remark}
369 \ifx\thechapter\undefined
370 \newtheorem{acknowledgement}{\protect\acknowledgementname}
372 \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
376 \providecommand{\acknowledgementname}{_(Acknowledgement)}
379 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
381 LabelCounter acknowledgement
385 Style Acknowledgement*
387 LatexName acknowledgement*
388 LabelString "Acknowledgement."
390 \theoremstyle{remark}
391 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
394 \providecommand{\acknowledgementname}{_(Acknowledgement)}
397 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
405 LabelString "Conclusion \theconclusion."
407 \theoremstyle{remark}
408 \ifx\thechapter\undefined
409 \newtheorem{conclusion}{\protect\conclusionname}
411 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
415 \providecommand{\conclusionname}{_(Conclusion)}
418 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
420 LabelCounter conclusion
426 LatexName conclusion*
427 LabelString "Conclusion."
429 \theoremstyle{remark}
430 \newtheorem*{conclusion*}{\protect\conclusionname}
433 \providecommand{\conclusionname}{_(Conclusion)}
436 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
444 LabelString "Assumption \theassumption."
447 \ifx\thechapter\undefined
448 \newtheorem{assumption}{\protect\assumptionname}
450 \newtheorem{assumption}{\protect\assumptionname}[chapter]
454 \providecommand{\assumptionname}{_(Assumption)}
457 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
459 LabelCounter assumption
465 LatexName assumption*
466 LabelString "Assumption."
469 \newtheorem*{assumption*}{\protect\assumptionname}
472 \providecommand{\assumptionname}{_(Assumption)}
475 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
483 LabelString "Question \thequestion."
486 \ifx\thechapter\undefined
487 \newtheorem{question}{\protect\questionname}
489 \newtheorem{question}{\protect\questionname}[chapter]
493 \providecommand{\questionname}{_(Question)}
496 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
498 LabelCounter question
504 LabelString "Question."
507 \newtheorem*{question*}{\protect\questionname}
510 \providecommand{\questionname}{_(Question)}
513 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
517 Input theorems-refprefix.inc