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, Acknowledgement, 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 :
40 LabelString "Criterion \thetheorem."
43 \newtheorem{criterion}[thm]{\protect\criterionname}
46 \providecommand{\criterionname}{_(Criterion)}
49 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
52 DocBookAttr role='criterion'
59 LabelString "Criterion."
62 \newtheorem*{criterion*}{\protect\criterionname}
65 \providecommand{\criterionname}{_(Criterion)}
68 \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
71 DocBookAttr role='criterion'
79 LatexName lyxalgorithm
80 LabelString "Algorithm \thetheorem."
83 \newtheorem{lyxalgorithm}[thm]{\protect\algorithmname}
86 \providecommand{\algorithmname}{_(Algorithm)}
89 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
92 DocBookAttr role='algorithm'
99 LatexName lyxalgorithm*
100 LabelString "Algorithm."
103 \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
106 \providecommand{\algorithmname}{_(Algorithm)}
109 \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
112 DocBookAttr role='algorithm'
121 LabelString "Axiom \thetheorem."
124 \newtheorem{ax}[thm]{\protect\axiomname}
127 \providecommand{\axiomname}{_(Axiom)}
130 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
133 DocBookAttr role='axiom'
144 \newtheorem*{ax*}{\protect\axiomname}
147 \providecommand{\axiomname}{_(Axiom)}
150 \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
153 DocBookAttr role='axiom'
161 LabelString "Condition \thetheorem."
163 \theoremstyle{definition}
164 \newtheorem{condition}[thm]{\protect\conditionname}
167 \providecommand{\conditionname}{_(Condition)}
170 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
173 DocBookAttr role='condition'
179 CopyStyle Definition*
181 LabelString "Condition."
183 \theoremstyle{definition}
184 \newtheorem*{condition*}{\protect\conditionname}
187 \providecommand{\conditionname}{_(Condition)}
190 \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
193 DocBookAttr role='condition'
201 LabelString "Note \thetheorem."
203 \theoremstyle{remark}
204 \newtheorem{note}[thm]{\protect\notename}
207 \providecommand{\notename}{_(Note)}
210 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
222 \theoremstyle{remark}
223 \newtheorem*{note*}{\protect\notename}
226 \providecommand{\notename}{_(Note)}
229 \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
239 LabelString "Notation \thetheorem."
241 \theoremstyle{remark}
242 \newtheorem{notation}[thm]{\protect\notationname}
245 \providecommand{\notationname}{_(Notation)}
248 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
251 DocBookAttr role='notation'
259 LabelString "Notation."
261 \theoremstyle{remark}
262 \newtheorem*{notation*}{\protect\notationname}
265 \providecommand{\notationname}{_(Notation)}
268 \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
271 DocBookAttr role='notation'
279 LabelString "Summary \thetheorem."
281 \theoremstyle{remark}
282 \newtheorem{summary}[thm]{\protect\summaryname}
285 \providecommand{\summaryname}{_(Summary)}
288 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
291 DocBookAttr role='summary'
299 LabelString "Summary."
301 \theoremstyle{remark}
302 \newtheorem*{summary*}{\protect\summaryname}
305 \providecommand{\summaryname}{_(Summary)}
308 \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
311 DocBookAttr role='summary'
316 Style Acknowledgement
318 LatexName acknowledgement
319 LabelString "Acknowledgement \thetheorem."
321 \theoremstyle{remark}
322 \newtheorem{acknowledgement}[thm]{\protect\acknowledgementname}
325 \providecommand{\acknowledgementname}{_(Acknowledgement)}
328 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
331 DocBookAttr role='acknowledgement'
336 Style Acknowledgement*
338 LatexName acknowledgement*
339 LabelString "Acknowledgement."
341 \theoremstyle{remark}
342 \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
345 \providecommand{\acknowledgementname}{_(Acknowledgement)}
348 \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
351 DocBookAttr role='acknowledgement'
359 LabelString "Conclusion \thetheorem."
361 \theoremstyle{remark}
362 \newtheorem{conclusion}[thm]{\protect\conclusionname}
365 \providecommand{\conclusionname}{_(Conclusion)}
368 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
371 DocBookAttr role='conclusion'
378 LatexName conclusion*
379 LabelString "Conclusion."
381 \theoremstyle{remark}
382 \newtheorem*{conclusion*}{\protect\conclusionname}
385 \providecommand{\conclusionname}{_(Conclusion)}
388 \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
391 DocBookAttr role='conclusion'
400 LabelString "Assumption \thetheorem."
403 \newtheorem{assumption}[thm]{\protect\assumptionname}
406 \providecommand{\assumptionname}{_(Assumption)}
409 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
412 DocBookAttr role='assumption'
419 LatexName assumption*
420 LabelString "Assumption."
423 \newtheorem*{assumption*}{\protect\assumptionname}
426 \providecommand{\assumptionname}{_(Assumption)}
429 \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
432 DocBookAttr role='assumption'
440 LabelString "Question \thetheorem."
443 \newtheorem{question}[thm]{\protect\questionname}
446 \providecommand{\questionname}{_(Question)}
449 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
452 DocBookAttr role='question'
459 LabelString "Question."
462 \newtheorem*{question*}{\protect\questionname}
465 \providecommand{\questionname}{_(Question)}
468 \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
471 DocBookAttr role='question'
475 Input theorems-refprefix.inc