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 numbered and non-numbered
9 #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 Heck <rgheck@comcast.net>
22 # The environments defined (regular and starred) are :
40 LabelString "Criterion \thetheorem."
43 \newtheorem{criterion}[thm]{\protect\criterionname}
46 \providecommand{\criterionname}{_(Criterion)}
49 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
56 LabelString "Criterion."
59 \newtheorem*{criterion*}{\protect\criterionname}
62 \providecommand{\criterionname}{_(Criterion)}
65 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
73 LatexName lyxalgorithm
74 LabelString "Algorithm \thetheorem."
77 \newtheorem{lyxalgorithm}[thm]{\protect\algorithmname}
80 \providecommand{\algorithmname}{_(Algorithm)}
83 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
90 LatexName lyxalgorithm*
91 LabelString "Algorithm."
94 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
97 \providecommand{\algorithmname}{_(Algorithm)}
100 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
109 LabelString "Axiom \thetheorem."
112 \newtheorem{ax}[thm]{\protect\axiomname}
115 \providecommand{\axiomname}{_(Axiom)}
118 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
129 \newtheorem*{ax*}{\protect\axiomname}
132 \providecommand{\axiomname}{_(Axiom)}
135 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
143 LabelString "Condition \thetheorem."
145 \theoremstyle{definition}
146 \newtheorem{condition}[thm]{\protect\conditionname}
149 \providecommand{\conditionname}{_(Condition)}
152 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
158 CopyStyle Definition*
160 LabelString "Condition."
162 \theoremstyle{definition}
163 \newtheorem*{condition*}{\protect\conditionname}
166 \providecommand{\conditionname}{_(Condition)}
169 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
177 LabelString "Note \thetheorem."
179 \theoremstyle{remark}
180 \newtheorem{note}[thm]{\protect\notename}
183 \providecommand{\notename}{_(Note)}
186 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
196 \theoremstyle{remark}
197 \newtheorem*{note*}{\protect\notename}
200 \providecommand{\notename}{_(Note)}
203 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
211 LabelString "Notation \thetheorem."
213 \theoremstyle{remark}
214 \newtheorem{notation}[thm]{\protect\notationname}
217 \providecommand{\notationname}{_(Notation)}
220 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
228 LabelString "Notation."
230 \theoremstyle{remark}
231 \newtheorem*{notation*}{\protect\notationname}
234 \providecommand{\notationname}{_(Notation)}
237 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
245 LabelString "Summary \thetheorem."
247 \theoremstyle{remark}
248 \newtheorem{summary}[thm]{\protect\summaryname}
251 \providecommand{\summaryname}{_(Summary)}
254 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
262 LabelString "Summary."
264 \theoremstyle{remark}
265 \newtheorem*{summary*}{\protect\summaryname}
268 \providecommand{\summaryname}{_(Summary)}
271 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
276 Style Acknowledgement
278 LatexName acknowledgement
279 LabelString "Acknowledgement \thetheorem."
281 \theoremstyle{remark}
282 \newtheorem{acknowledgement}[thm]{\protect\acknowledgementname}
285 \providecommand{\acknowledgementname}{_(Acknowledgement)}
288 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
293 Style Acknowledgement*
295 LatexName acknowledgement*
296 LabelString "Acknowledgement."
298 \theoremstyle{remark}
299 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
302 \providecommand{\acknowledgementname}{_(Acknowledgement)}
305 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
313 LabelString "Conclusion \thetheorem."
315 \theoremstyle{remark}
316 \newtheorem{conclusion}[thm]{\protect\conclusionname}
319 \providecommand{\conclusionname}{_(Conclusion)}
322 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
329 LatexName conclusion*
330 LabelString "Conclusion."
332 \theoremstyle{remark}
333 \newtheorem*{conclusion*}{\protect\conclusionname}
336 \providecommand{\conclusionname}{_(Conclusion)}
339 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
348 LabelString "Assumption \thetheorem."
351 \newtheorem{assumption}[thm]{\protect\assumptionname}
354 \providecommand{\assumptionname}{_(Assumption)}
357 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
364 LatexName assumption*
365 LabelString "Assumption."
368 \newtheorem*{assumption*}{\protect\assumptionname}
371 \providecommand{\assumptionname}{_(Assumption)}
374 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
382 LabelString "Question \thetheorem."
385 \newtheorem{question}[thm]{\protect\questionname}
388 \providecommand{\questionname}{_(Question)}
391 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
398 LabelString "Question."
401 \newtheorem*{question*}{\protect\questionname}
404 \providecommand{\questionname}{_(Question)}
407 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
411 Input theorems-refprefix.inc