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, 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 :
39 Input theorems-counters-extended-bytype.inc
72 # additional (AMS-extended) environments
77 LabelString "Criterion \thecriterion."
80 \ifx\thechapter\undefined
81 \newtheorem{criterion}{\protect\criterionname}
83 \newtheorem{criterion}{\protect\criterionname}[chapter]
87 \providecommand{\criterionname}{_(Criterion)}
90 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
92 LabelCounter criterion
94 DocBookAttr role='criterion'
102 LabelString "Criterion."
105 \newtheorem*{criterion*}{\protect\criterionname}
108 \providecommand{\criterionname}{_(Criterion)}
111 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
114 DocBookAttr role='criterion'
121 LatexName lyxalgorithm
122 LabelString "Algorithm \thealgorithm."
125 \ifx\thechapter\undefined
126 \newtheorem{lyxalgorithm}{\protect\algorithmname}
128 \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
132 \providecommand{\algorithmname}{_(Algorithm)}
135 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
137 LabelCounter algorithm
139 DocBookAttr role='algorithm'
146 LatexName lyxalgorithm*
147 LabelString "Algorithm."
150 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
153 \providecommand{\algorithmname}{_(Algorithm)}
156 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
159 DocBookAttr role='algorithm'
167 LabelString "Axiom \theaxiom."
170 \ifx\thechapter\undefined
171 \newtheorem{ax}{\protect\axiomname}
173 \newtheorem{ax}{\protect\axiomname}[chapter]
177 \providecommand{\axiomname}{_(Axiom)}
180 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
184 DocBookAttr role='axiom'
195 \newtheorem*{ax*}{\protect\axiomname}
198 \providecommand{\axiomname}{_(Axiom)}
201 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
204 DocBookAttr role='axiom'
212 LabelString "Condition \thecondition."
214 \theoremstyle{definition}
215 \ifx\thechapter\undefined
216 \newtheorem{condition}{\protect\conditionname}
218 \newtheorem{condition}{\protect\conditionname}[chapter]
222 \providecommand{\conditionname}{_(Condition)}
225 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
227 LabelCounter condition
229 DocBookAttr role='condition'
235 CopyStyle Definition*
237 LabelString "Condition."
239 \theoremstyle{definition}
240 \newtheorem*{condition*}{\protect\conditionname}
243 \providecommand{\conditionname}{_(Condition)}
246 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
249 DocBookAttr role='condition'
257 LabelString "Note \thenote."
259 \theoremstyle{remark}
260 \ifx\thechapter\undefined
261 \newtheorem{note}{\protect\notename}
263 \newtheorem{note}{\protect\notename}[chapter]
267 \providecommand{\notename}{_(Note)}
270 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
283 \theoremstyle{remark}
284 \newtheorem*{note*}{\protect\notename}
287 \providecommand{\notename}{_(Note)}
290 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
300 LabelString "Notation \thenotation."
302 \theoremstyle{remark}
303 \ifx\thechapter\undefined
304 \newtheorem{notation}{\protect\notationname}
306 \newtheorem{notation}{\protect\notationname}[chapter]
310 \providecommand{\notationname}{_(Notation)}
313 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
315 LabelCounter notation
317 DocBookAttr role='notation'
325 LabelString "Notation."
327 \theoremstyle{remark}
328 \newtheorem*{notation*}{\protect\notationname}
331 \providecommand{\notationname}{_(Notation)}
334 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
337 DocBookAttr role='notation'
345 LabelString "Summary \thesummary."
347 \theoremstyle{remark}
348 \ifx\thechapter\undefined
349 \newtheorem{summary}{\protect\summaryname}
352 \newtheorem{summary}{\protect\summaryname}[chapter]
356 \providecommand{\summaryname}{_(Summary)}
359 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
363 DocBookAttr role='summary'
371 LabelString "Summary."
373 \theoremstyle{remark}
374 \newtheorem*{summary*}{\protect\summaryname}
377 \providecommand{\summaryname}{_(Summary)}
380 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
383 DocBookAttr role='summary'
391 LabelString "Conclusion \theconclusion."
393 \theoremstyle{remark}
394 \ifx\thechapter\undefined
395 \newtheorem{conclusion}{\protect\conclusionname}
397 \newtheorem{conclusion}{\protect\conclusionname}[chapter]
401 \providecommand{\conclusionname}{_(Conclusion)}
404 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
406 LabelCounter conclusion
408 DocBookAttr role='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)}}
428 DocBookAttr role='conclusion'
436 LabelString "Assumption \theassumption."
439 \ifx\thechapter\undefined
440 \newtheorem{assumption}{\protect\assumptionname}
442 \newtheorem{assumption}{\protect\assumptionname}[chapter]
446 \providecommand{\assumptionname}{_(Assumption)}
449 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
451 LabelCounter assumption
453 DocBookAttr role='assumption'
460 LatexName assumption*
461 LabelString "Assumption."
464 \newtheorem*{assumption*}{\protect\assumptionname}
467 \providecommand{\assumptionname}{_(Assumption)}
470 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
473 DocBookAttr role='assumption'
481 LabelString "Question \thequestion."
484 \ifx\thechapter\undefined
485 \newtheorem{question}{\protect\questionname}
487 \newtheorem{question}{\protect\questionname}[chapter]
491 \providecommand{\questionname}{_(Question)}
494 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
496 LabelCounter question
498 DocBookAttr role='question'
505 LabelString "Question."
508 \newtheorem*{question*}{\protect\questionname}
511 \providecommand{\questionname}{_(Question)}
514 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
517 DocBookAttr role='question'
521 Input theorems-refprefix.inc