1 #\DeclareLyXModule{AMS Theorems (Extended)}
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 #Fact, Assumption, Case, and Question, in both numbered and non-numbered
10 #Requires: theorems-ams
12 # Original Author : David L. Johnson <dlj0@lehigh.edu>
13 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
14 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
15 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
16 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
22 # The environments defined (regular and starred) are :
39 LabelString "Criterion \thetheorem."
42 \newtheorem{criterion}[thm]{\protect\criterionname}
45 \providecommand{\criterionname}{_(Criterion)}
48 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
51 DocBookAttr role='criterion'
58 LabelString "Criterion."
61 \newtheorem*{criterion*}{\protect\criterionname}
64 \providecommand{\criterionname}{_(Criterion)}
67 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
70 DocBookAttr role='criterion'
78 LatexName lyxalgorithm
79 LabelString "Algorithm \thetheorem."
82 \newtheorem{lyxalgorithm}[thm]{\protect\algorithmname}
85 \providecommand{\algorithmname}{_(Algorithm)}
88 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
91 DocBookAttr role='algorithm'
98 LatexName lyxalgorithm*
99 LabelString "Algorithm."
102 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
105 \providecommand{\algorithmname}{_(Algorithm)}
108 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
111 DocBookAttr role='algorithm'
120 LabelString "Axiom \thetheorem."
123 \newtheorem{ax}[thm]{\protect\axiomname}
126 \providecommand{\axiomname}{_(Axiom)}
129 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
132 DocBookAttr role='axiom'
143 \newtheorem*{ax*}{\protect\axiomname}
146 \providecommand{\axiomname}{_(Axiom)}
149 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
152 DocBookAttr role='axiom'
160 LabelString "Condition \thetheorem."
162 \theoremstyle{definition}
163 \newtheorem{condition}[thm]{\protect\conditionname}
166 \providecommand{\conditionname}{_(Condition)}
169 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
172 DocBookAttr role='condition'
178 CopyStyle Definition*
180 LabelString "Condition."
182 \theoremstyle{definition}
183 \newtheorem*{condition*}{\protect\conditionname}
186 \providecommand{\conditionname}{_(Condition)}
189 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
192 DocBookAttr role='condition'
200 LabelString "Note \thetheorem."
202 \theoremstyle{remark}
203 \newtheorem{note}[thm]{\protect\notename}
206 \providecommand{\notename}{_(Note)}
209 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
221 \theoremstyle{remark}
222 \newtheorem*{note*}{\protect\notename}
225 \providecommand{\notename}{_(Note)}
228 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
238 LabelString "Notation \thetheorem."
240 \theoremstyle{remark}
241 \newtheorem{notation}[thm]{\protect\notationname}
244 \providecommand{\notationname}{_(Notation)}
247 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
250 DocBookAttr role='notation'
258 LabelString "Notation."
260 \theoremstyle{remark}
261 \newtheorem*{notation*}{\protect\notationname}
264 \providecommand{\notationname}{_(Notation)}
267 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
270 DocBookAttr role='notation'
278 LabelString "Summary \thetheorem."
280 \theoremstyle{remark}
281 \newtheorem{summary}[thm]{\protect\summaryname}
284 \providecommand{\summaryname}{_(Summary)}
287 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
290 DocBookAttr role='summary'
298 LabelString "Summary."
300 \theoremstyle{remark}
301 \newtheorem*{summary*}{\protect\summaryname}
304 \providecommand{\summaryname}{_(Summary)}
307 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
310 DocBookAttr role='summary'
318 LabelString "Conclusion \thetheorem."
320 \theoremstyle{remark}
321 \newtheorem{conclusion}[thm]{\protect\conclusionname}
324 \providecommand{\conclusionname}{_(Conclusion)}
327 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
330 DocBookAttr role='conclusion'
337 LatexName conclusion*
338 LabelString "Conclusion."
340 \theoremstyle{remark}
341 \newtheorem*{conclusion*}{\protect\conclusionname}
344 \providecommand{\conclusionname}{_(Conclusion)}
347 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
350 DocBookAttr role='conclusion'
359 LabelString "Assumption \thetheorem."
362 \newtheorem{assumption}[thm]{\protect\assumptionname}
365 \providecommand{\assumptionname}{_(Assumption)}
368 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
371 DocBookAttr role='assumption'
378 LatexName assumption*
379 LabelString "Assumption."
382 \newtheorem*{assumption*}{\protect\assumptionname}
385 \providecommand{\assumptionname}{_(Assumption)}
388 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
391 DocBookAttr role='assumption'
399 LabelString "Question \thetheorem."
402 \newtheorem{question}[thm]{\protect\questionname}
405 \providecommand{\questionname}{_(Question)}
408 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
411 DocBookAttr role='question'
418 LabelString "Question."
421 \newtheorem*{question*}{\protect\questionname}
424 \providecommand{\questionname}{_(Question)}
427 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
430 DocBookAttr role='question'
434 Input theorems-refprefix.inc