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, 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 (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 :
39 Input theorems-counters-extended-bytype.inc
44 LabelString "Criterion \thecriterion."
47 \newtheorem{criterion}{\protect\criterionname}
50 \providecommand{\criterionname}{_(Criterion)}
53 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
55 LabelCounter criterion
57 DocBookAttr role='criterion'
64 LabelString "Criterion."
67 \newtheorem*{criterion*}{\protect\criterionname}
70 \providecommand{\criterionname}{_(Criterion)}
73 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
76 DocBookAttr role='criterion'
83 LatexName lyxalgorithm
84 LabelString "Algorithm \thealgorithm."
87 \newtheorem{lyxalgorithm}{\protect\algorithmname}
90 \providecommand{\algorithmname}{_(Algorithm)}
93 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
95 LabelCounter algorithm
97 DocBookAttr role='algorithm'
104 LatexName lyxalgorithm*
105 LabelString "Algorithm."
108 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
111 \providecommand{\algorithmname}{_(Algorithm)}
114 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
117 DocBookAttr role='algorithm'
125 LabelString "Axiom \theaxiom."
128 \newtheorem{ax}{\protect\axiomname}
131 \providecommand{\axiomname}{_(Axiom)}
134 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
138 DocBookAttr role='axiom'
149 \newtheorem*{ax*}{\protect\axiomname}
152 \providecommand{\axiomname}{_(Axiom)}
155 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
158 DocBookAttr role='axiom'
166 LabelString "Condition \thecondition."
168 \theoremstyle{definition}
169 \newtheorem{condition}{\protect\conditionname}
172 \providecommand{\conditionname}{_(Condition)}
175 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
177 LabelCounter condition
179 DocBookAttr role='condition'
185 CopyStyle Definition*
187 LabelString "Condition."
189 \theoremstyle{definition}
190 \newtheorem*{condition*}{\protect\conditionname}
193 \providecommand{\conditionname}{_(Condition)}
196 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
199 DocBookAttr role='condition'
207 LabelString "Note \thenote."
209 \theoremstyle{remark}
210 \newtheorem{note}{\protect\notename}
213 \providecommand{\notename}{_(Note)}
216 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
229 \theoremstyle{remark}
230 \newtheorem*{note*}{\protect\notename}
233 \providecommand{\notename}{_(Note)}
236 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
246 LabelString "Notation \thenotation."
248 \theoremstyle{remark}
249 \newtheorem{notation}{\protect\notationname}
252 \providecommand{\notationname}{_(Notation)}
255 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
257 LabelCounter notation
259 DocBookAttr role='notation'
267 LabelString "Notation."
269 \theoremstyle{remark}
270 \newtheorem*{notation*}{\protect\notationname}
273 \providecommand{\notationname}{_(Notation)}
276 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
279 DocBookAttr role='notation'
287 LabelString "Summary \thesummary."
289 \theoremstyle{remark}
290 \newtheorem{summary}{\protect\summaryname}
293 \providecommand{\summaryname}{_(Summary)}
296 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
300 DocBookAttr role='summary'
308 LabelString "Summary."
310 \theoremstyle{remark}
311 \newtheorem*{summary*}{\protect\summaryname}
314 \providecommand{\summaryname}{_(Summary)}
317 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
320 DocBookAttr role='summary'
325 Style Acknowledgement
327 LatexName acknowledgement
328 LabelString "Acknowledgement \theacknowledgement."
330 \theoremstyle{remark}
331 \newtheorem{acknowledgement}{\protect\acknowledgementname}
334 \providecommand{\acknowledgementname}{_(Acknowledgement)}
337 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
339 LabelCounter acknowledgement
341 DocBookAttr role='acknowledgement'
346 Style Acknowledgement*
348 LatexName acknowledgement*
349 LabelString "Acknowledgement."
351 \theoremstyle{remark}
352 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
355 \providecommand{\acknowledgementname}{_(Acknowledgement)}
358 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
361 DocBookAttr role='acknowledgement'
369 LabelString "Conclusion \theconclusion."
371 \theoremstyle{remark}
372 \newtheorem{conclusion}{\protect\conclusionname}
375 \providecommand{\conclusionname}{_(Conclusion)}
378 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
380 LabelCounter conclusion
382 DocBookAttr role='conclusion'
389 LatexName conclusion*
390 LabelString "Conclusion."
392 \theoremstyle{remark}
393 \newtheorem*{conclusion*}{\protect\conclusionname}
396 \providecommand{\conclusionname}{_(Conclusion)}
399 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
402 DocBookAttr role='conclusion'
410 LabelString "Assumption \theassumption."
413 \newtheorem{assumption}{\protect\assumptionname}
416 \providecommand{\assumptionname}{_(Assumption)}
419 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
421 LabelCounter assumption
423 DocBookAttr role='assumption'
430 LatexName assumption*
431 LabelString "Assumption."
434 \newtheorem*{assumption*}{\protect\assumptionname}
437 \providecommand{\assumptionname}{_(Assumption)}
440 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
443 DocBookAttr role='assumption'
451 LabelString "Question \thequestion."
454 \newtheorem{question}{\protect\questionname}
457 \providecommand{\questionname}{_(Question)}
460 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
462 LabelCounter question
464 DocBookAttr role='question'
471 LabelString "Question."
474 \newtheorem*{question*}{\protect\questionname}
477 \providecommand{\questionname}{_(Question)}
480 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
483 DocBookAttr role='question'
487 Input theorems-refprefix.inc