1 #\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type)}
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 (e.g., criterion 1,
10 #criterion 2, axiom 1, assumption 1, criterion 3, ...,
11 #as opposed to criterion 1, criterion 2, axiom 3, assumption 4, ...).
13 #Requires: theorems-ams-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
26 # The environnements defined (regular and starred) are :
38 Input theorems-counters-extended-bytype.inc
43 LabelString "Criterion \thecriterion."
46 \newtheorem{criterion}{\protect\criterionname}
49 \providecommand{\criterionname}{_(Criterion)}
52 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
54 LabelCounter criterion
56 DocBookAttr role='criterion'
63 LabelString "Criterion."
66 \newtheorem*{criterion*}{\protect\criterionname}
69 \providecommand{\criterionname}{_(Criterion)}
72 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
75 DocBookAttr role='criterion'
82 LatexName lyxalgorithm
83 LabelString "Algorithm \thealgorithm."
86 \newtheorem{lyxalgorithm}{\protect\algorithmname}
89 \providecommand{\algorithmname}{_(Algorithm)}
92 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
94 LabelCounter algorithm
96 DocBookAttr role='algorithm'
103 LatexName lyxalgorithm*
104 LabelString "Algorithm."
107 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
110 \providecommand{\algorithmname}{_(Algorithm)}
113 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
116 DocBookAttr role='algorithm'
124 LabelString "Axiom \theaxiom."
127 \newtheorem{ax}{\protect\axiomname}
130 \providecommand{\axiomname}{_(Axiom)}
133 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
137 DocBookAttr role='axiom'
148 \newtheorem*{ax*}{\protect\axiomname}
151 \providecommand{\axiomname}{_(Axiom)}
154 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
157 DocBookAttr role='axiom'
165 LabelString "Condition \thecondition."
167 \theoremstyle{definition}
168 \newtheorem{condition}{\protect\conditionname}
171 \providecommand{\conditionname}{_(Condition)}
174 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
176 LabelCounter condition
178 DocBookAttr role='condition'
184 CopyStyle Definition*
186 LabelString "Condition."
188 \theoremstyle{definition}
189 \newtheorem*{condition*}{\protect\conditionname}
192 \providecommand{\conditionname}{_(Condition)}
195 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
198 DocBookAttr role='condition'
206 LabelString "Note \thenote."
208 \theoremstyle{remark}
209 \newtheorem{note}{\protect\notename}
212 \providecommand{\notename}{_(Note)}
215 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
228 \theoremstyle{remark}
229 \newtheorem*{note*}{\protect\notename}
232 \providecommand{\notename}{_(Note)}
235 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
245 LabelString "Notation \thenotation."
247 \theoremstyle{remark}
248 \newtheorem{notation}{\protect\notationname}
251 \providecommand{\notationname}{_(Notation)}
254 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
256 LabelCounter notation
258 DocBookAttr role='notation'
266 LabelString "Notation."
268 \theoremstyle{remark}
269 \newtheorem*{notation*}{\protect\notationname}
272 \providecommand{\notationname}{_(Notation)}
275 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
278 DocBookAttr role='notation'
286 LabelString "Summary \thesummary."
288 \theoremstyle{remark}
289 \newtheorem{summary}{\protect\summaryname}
292 \providecommand{\summaryname}{_(Summary)}
295 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
299 DocBookAttr role='summary'
307 LabelString "Summary."
309 \theoremstyle{remark}
310 \newtheorem*{summary*}{\protect\summaryname}
313 \providecommand{\summaryname}{_(Summary)}
316 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
319 DocBookAttr role='summary'
327 LabelString "Conclusion \theconclusion."
329 \theoremstyle{remark}
330 \newtheorem{conclusion}{\protect\conclusionname}
333 \providecommand{\conclusionname}{_(Conclusion)}
336 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
338 LabelCounter conclusion
340 DocBookAttr role='conclusion'
347 LatexName conclusion*
348 LabelString "Conclusion."
350 \theoremstyle{remark}
351 \newtheorem*{conclusion*}{\protect\conclusionname}
354 \providecommand{\conclusionname}{_(Conclusion)}
357 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
360 DocBookAttr role='conclusion'
368 LabelString "Assumption \theassumption."
371 \newtheorem{assumption}{\protect\assumptionname}
374 \providecommand{\assumptionname}{_(Assumption)}
377 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
379 LabelCounter assumption
381 DocBookAttr role='assumption'
388 LatexName assumption*
389 LabelString "Assumption."
392 \newtheorem*{assumption*}{\protect\assumptionname}
395 \providecommand{\assumptionname}{_(Assumption)}
398 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
401 DocBookAttr role='assumption'
409 LabelString "Question \thequestion."
412 \newtheorem{question}{\protect\questionname}
415 \providecommand{\questionname}{_(Question)}
418 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
420 LabelCounter question
422 DocBookAttr role='question'
429 LabelString "Question."
432 \newtheorem*{question*}{\protect\questionname}
435 \providecommand{\questionname}{_(Question)}
438 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
441 DocBookAttr role='question'
445 Input theorems-refprefix.inc