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, and Case, in both starred and non-starred forms.
8 #Requires: theorems-ams
10 # Original Author : David L. Johnson <dlj0@lehigh.edu>
11 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
12 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
13 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
14 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
20 # The environnements defined (regular and starred) are :
37 LabelString "Criterion \thetheorem."
40 \newtheorem{criterion}[thm]{Criterion}
47 LabelString "Criterion."
50 \newtheorem*{criterion*}{Criterion}
59 LabelString "Algorithm \thetheorem."
62 \newtheorem{algorithm}[thm]{Algorithm}
70 LabelString "Algorithm."
73 \newtheorem*{algorithm*}{Algorithm}
82 LabelString "Axiom \thetheorem."
85 \newtheorem{ax}[thm]{Axiom}
96 \newtheorem*{ax*}{Axiom}
104 LabelString "Condition \thetheorem."
106 \theoremstyle{definition}
107 \newtheorem{condition}[thm]{Condition}
113 CopyStyle Definition*
115 LabelString "Condition."
117 \theoremstyle{definition}
118 \newtheorem*{condition*}{Condition}
126 LabelString "Note \thetheorem."
128 \theoremstyle{remark}
129 \newtheorem{note}[thm]{Note}
139 \theoremstyle{remark}
140 \newtheorem*{note*}{Note}
148 LabelString "Notation \thetheorem."
150 \theoremstyle{remark}
151 \newtheorem{notation}[thm]{Notation}
159 LabelString "Notation."
161 \theoremstyle{remark}
162 \newtheorem*{notation*}{Notation}
170 LabelString "Summary \thetheorem."
172 \theoremstyle{remark}
173 \newtheorem{summary}[thm]{Summary}
181 LabelString "Summary."
183 \theoremstyle{remark}
184 \newtheorem*{summary*}{Summary}
189 Style Acknowledgement
191 LatexName acknowledgement
192 LabelString "Acknowledgement \thetheorem."
194 \theoremstyle{remark}
195 \newtheorem{acknowledgement}[thm]{Acknowledgement}
200 Style Acknowledgement*
202 LatexName acknowledgement*
203 LabelString "Acknowledgement."
205 \theoremstyle{remark}
206 \newtheorem*{acknowledgement*}{Acknowledgement}
214 LabelString "Conclusion \thetheorem."
216 \theoremstyle{remark}
217 \newtheorem{conclusion}[thm]{Conclusion}
224 LatexName conclusion*
225 LabelString "Conclusion."
227 \theoremstyle{remark}
228 \newtheorem*{conclusion*}{Conclusion}
237 LabelString "Assumption \thetheorem."
240 \newtheorem{assumption}[thm]{Assumption}
247 LatexName assumption*
248 LabelString "Assumption."
251 \newtheorem*{assumption*}{Assumption}