1 #\DeclareLyXModule{Theorems (AMS-Extended)}
3 #Defines some additional theorem environments for use with the
4 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
5 #Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
6 #Fact, Assumption, Case, and Question, in both starred and non-starred
9 #Requires: theorems-ams
11 # Original Author : David L. Johnson <dlj0@lehigh.edu>
12 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
13 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
14 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
15 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
21 # 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)}}
55 LabelString "Criterion."
58 \newtheorem*{criterion*}{\protect\criterionname}
61 \providecommand{\criterionname}{_(Criterion)}
64 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
73 LabelString "Algorithm \thetheorem."
76 \newtheorem{algorithm}[thm]{\protect\algorithmname}
79 \providecommand{\algorithmname}{_(Algorithm)}
82 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
90 LabelString "Algorithm."
93 \newtheorem*{algorithm*}{\protect\algorithmname}
96 \providecommand{\algorithmname}{_(Algorithm)}
99 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
108 LabelString "Axiom \thetheorem."
111 \newtheorem{ax}[thm]{\protect\axiomname}
114 \providecommand{\axiomname}{_(Axiom)}
117 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
128 \newtheorem*{ax*}{\protect\axiomname}
131 \providecommand{\axiomname}{_(Axiom)}
134 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
142 LabelString "Condition \thetheorem."
144 \theoremstyle{definition}
145 \newtheorem{condition}[thm]{\protect\conditionname}
148 \providecommand{\conditionname}{_(Condition)}
151 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
157 CopyStyle Definition*
159 LabelString "Condition."
161 \theoremstyle{definition}
162 \newtheorem*{condition*}{\protect\conditionname}
165 \providecommand{\conditionname}{_(Condition)}
168 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
176 LabelString "Note \thetheorem."
178 \theoremstyle{remark}
179 \newtheorem{note}[thm]{\protect\notename}
182 \providecommand{\notename}{_(Note)}
185 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
195 \theoremstyle{remark}
196 \newtheorem*{note*}{\protect\notename}
199 \providecommand{\notename}{_(Note)}
202 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
210 LabelString "Notation \thetheorem."
212 \theoremstyle{remark}
213 \newtheorem{notation}[thm]{\protect\notationname}
216 \providecommand{\notationname}{_(Notation)}
219 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
227 LabelString "Notation."
229 \theoremstyle{remark}
230 \newtheorem*{notation*}{\protect\notationname}
233 \providecommand{\notationname}{_(Notation)}
236 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
244 LabelString "Summary \thetheorem."
246 \theoremstyle{remark}
247 \newtheorem{summary}[thm]{\protect\summaryname}
250 \providecommand{\summaryname}{_(Summary)}
253 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
261 LabelString "Summary."
263 \theoremstyle{remark}
264 \newtheorem*{summary*}{\protect\summaryname}
267 \providecommand{\summaryname}{_(Summary)}
270 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
275 Style Acknowledgement
277 LatexName acknowledgement
278 LabelString "Acknowledgement \thetheorem."
280 \theoremstyle{remark}
281 \newtheorem{acknowledgement}[thm]{\protect\acknowledgementname}
284 \providecommand{\acknowledgementname}{_(Acknowledgement)}
287 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
292 Style Acknowledgement*
294 LatexName acknowledgement*
295 LabelString "Acknowledgement."
297 \theoremstyle{remark}
298 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
301 \providecommand{\acknowledgementname}{_(Acknowledgement)}
304 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
312 LabelString "Conclusion \thetheorem."
314 \theoremstyle{remark}
315 \newtheorem{conclusion}[thm]{\protect\conclusionname}
318 \providecommand{\conclusionname}{_(Conclusion)}
321 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
328 LatexName conclusion*
329 LabelString "Conclusion."
331 \theoremstyle{remark}
332 \newtheorem*{conclusion*}{\protect\conclusionname}
335 \providecommand{\conclusionname}{_(Conclusion)}
338 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
347 LabelString "Assumption \thetheorem."
350 \newtheorem{assumption}[thm]{\protect\assumptionname}
353 \providecommand{\assumptionname}{_(Assumption)}
356 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
363 LatexName assumption*
364 LabelString "Assumption."
367 \newtheorem*{assumption*}{\protect\assumptionname}
370 \providecommand{\assumptionname}{_(Assumption)}
373 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
381 LabelString "Question \thetheorem."
384 \newtheorem{question}[thm]{\protect\questionname}
387 \providecommand{\questionname}{_(Question)}
390 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
397 LabelString "Question."
400 \newtheorem*{question*}{\protect\questionname}
403 \providecommand{\questionname}{_(Question)}
406 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}