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 Heck <rgheck@comcast.net>
20 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
26 # The environnements defined (regular and starred) are :
39 # We need separate counters for each theorem-like style.
61 Counter acknowledgement
62 GuiName Acknowledgement
78 LabelString "Criterion \thecriterion."
81 \newtheorem{criterion}{\protect\criterionname}
84 \providecommand{\criterionname}{_(Criterion)}
87 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
89 LabelCounter criterion
91 DocBookAttr role='criterion'
98 LabelString "Criterion."
101 \newtheorem*{criterion*}{\protect\criterionname}
104 \providecommand{\criterionname}{_(Criterion)}
107 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
110 DocBookAttr role='criterion'
117 LatexName lyxalgorithm
118 LabelString "Algorithm \thealgorithm."
121 \newtheorem{lyxalgorithm}{\protect\algorithmname}
124 \providecommand{\algorithmname}{_(Algorithm)}
127 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
129 LabelCounter algorithm
131 DocBookAttr role='algorithm'
138 LatexName lyxalgorithm*
139 LabelString "Algorithm."
142 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
145 \providecommand{\algorithmname}{_(Algorithm)}
148 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
151 DocBookAttr role='algorithm'
159 LabelString "Axiom \theaxiom."
162 \newtheorem{ax}{\protect\axiomname}
165 \providecommand{\axiomname}{_(Axiom)}
168 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
172 DocBookAttr role='axiom'
183 \newtheorem*{ax*}{\protect\axiomname}
186 \providecommand{\axiomname}{_(Axiom)}
189 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
192 DocBookAttr role='axiom'
200 LabelString "Condition \thecondition."
202 \theoremstyle{definition}
203 \newtheorem{condition}{\protect\conditionname}
206 \providecommand{\conditionname}{_(Condition)}
209 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
211 LabelCounter condition
213 DocBookAttr role='condition'
219 CopyStyle Definition*
221 LabelString "Condition."
223 \theoremstyle{definition}
224 \newtheorem*{condition*}{\protect\conditionname}
227 \providecommand{\conditionname}{_(Condition)}
230 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
233 DocBookAttr role='condition'
241 LabelString "Note \thenote."
243 \theoremstyle{remark}
244 \newtheorem{note}{\protect\notename}
247 \providecommand{\notename}{_(Note)}
250 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
263 \theoremstyle{remark}
264 \newtheorem*{note*}{\protect\notename}
267 \providecommand{\notename}{_(Note)}
270 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
280 LabelString "Notation \thenotation."
282 \theoremstyle{remark}
283 \newtheorem{notation}{\protect\notationname}
286 \providecommand{\notationname}{_(Notation)}
289 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
291 LabelCounter notation
293 DocBookAttr role='notation'
301 LabelString "Notation."
303 \theoremstyle{remark}
304 \newtheorem*{notation*}{\protect\notationname}
307 \providecommand{\notationname}{_(Notation)}
310 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
313 DocBookAttr role='notation'
321 LabelString "Summary \thesummary."
323 \theoremstyle{remark}
324 \newtheorem{summary}{\protect\summaryname}
327 \providecommand{\summaryname}{_(Summary)}
330 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
334 DocBookAttr role='summary'
342 LabelString "Summary."
344 \theoremstyle{remark}
345 \newtheorem*{summary*}{\protect\summaryname}
348 \providecommand{\summaryname}{_(Summary)}
351 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
354 DocBookAttr role='summary'
359 Style Acknowledgement
361 LatexName acknowledgement
362 LabelString "Acknowledgement \theacknowledgement."
364 \theoremstyle{remark}
365 \newtheorem{acknowledgement}{\protect\acknowledgementname}
368 \providecommand{\acknowledgementname}{_(Acknowledgement)}
371 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
373 LabelCounter acknowledgement
375 DocBookAttr role='acknowledgement'
380 Style Acknowledgement*
382 LatexName acknowledgement*
383 LabelString "Acknowledgement."
385 \theoremstyle{remark}
386 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
389 \providecommand{\acknowledgementname}{_(Acknowledgement)}
392 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
395 DocBookAttr role='acknowledgement'
403 LabelString "Conclusion \theconclusion."
405 \theoremstyle{remark}
406 \newtheorem{conclusion}{\protect\conclusionname}
409 \providecommand{\conclusionname}{_(Conclusion)}
412 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
414 LabelCounter conclusion
416 DocBookAttr role='conclusion'
423 LatexName conclusion*
424 LabelString "Conclusion."
426 \theoremstyle{remark}
427 \newtheorem*{conclusion*}{\protect\conclusionname}
430 \providecommand{\conclusionname}{_(Conclusion)}
433 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
436 DocBookAttr role='conclusion'
444 LabelString "Assumption \theassumption."
447 \newtheorem{assumption}{\protect\assumptionname}
450 \providecommand{\assumptionname}{_(Assumption)}
453 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
455 LabelCounter assumption
457 DocBookAttr role='assumption'
464 LatexName assumption*
465 LabelString "Assumption."
468 \newtheorem*{assumption*}{\protect\assumptionname}
471 \providecommand{\assumptionname}{_(Assumption)}
474 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
477 DocBookAttr role='assumption'
485 LabelString "Question \thequestion."
488 \newtheorem{question}{\protect\questionname}
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