1 #\DeclareLyXModule[amsmath.sty]{Defines theorem environments and the proof environment for use with non-AMS classes, using the extended AMS machinery. The theorems are numbered consecutively throughout the document.}{Theorems (AMS)}
3 # Author: Richard Heck <rgheck@comcast.net>
4 # Adapted from amsdefs.inc and amsmaths.inc
6 # the environments defined are:
51 \newtheorem{thm}{Theorem}[section]
64 #DependsOn TheoremStyle
74 AlignPossible Block, Left
77 LabelString "Theorem \thetheorem."
93 LabelString "Theorem."
96 \newtheorem*{thm*}{Theorem}
104 LabelString "Corollary \thetheorem."
107 \newtheorem{cor}[thm]{Corollary}
115 LabelString "Corollary."
118 \newtheorem*{cor*}{Corollary}
126 LabelString "Lemma \thetheorem."
129 \newtheorem{lem}[thm]{Lemma}
140 \newtheorem*{lem*}{Lemma}
148 LabelString "Proposition \thetheorem."
151 \newtheorem{prop}[thm]{Proposition}
159 LabelString "Proposition."
162 \newtheorem*{prop*}{Proposition}
170 LabelString "Conjecture \thetheorem."
173 \newtheorem{conjecture}[thm]{Conjecture}
180 LatexName conjecture*
181 LabelString "Conjecture."
184 \newtheorem*{conjecture*}{Conjecture}
192 LabelString "Criterion \thetheorem."
195 \newtheorem{criterion}[thm]{Criterion}
203 LabelString "Algorithm \thetheorem."
206 \newtheorem{algorithm}[thm]{Algorithm}
214 LabelString "Fact \thetheorem."
217 \newtheorem{fact}[thm]{Fact}
228 \newtheorem*{fact*}{Fact}
236 LabelString "Axiom \thetheorem."
239 \newtheorem{ax}[thm]{Axiom}
247 LabelString "Definition \thetheorem."
256 \theoremstyle{definition}
257 \newtheorem{defn}[thm]{Definition}
266 LabelString "Definition."
268 \theoremstyle{definition}
269 \newtheorem*{defn*}{Definition}
277 LabelString "Example \thetheorem."
279 \theoremstyle{definition}
280 \newtheorem{example}[thm]{Example}
286 CopyStyle Definition*
288 LabelString "Example."
290 \theoremstyle{definition}
291 \newtheorem*{example*}{Example}
299 LabelString "Condition \thetheorem."
301 \theoremstyle{definition}
302 \newtheorem{condition}[thm]{Condition}
308 CopyStyle Definition*
310 LabelString "Condition."
312 \theoremstyle{definition}
313 \newtheorem*{condition*}{Condition}
321 LabelString "Problem \thetheorem."
323 \theoremstyle{definition}
324 \newtheorem{problem}[thm]{Problem}
330 CopyStyle Definition*
332 LabelString "Problem."
334 \theoremstyle{definition}
335 \newtheorem*{problem*}{Problem}
343 LabelString "Exercise \thetheorem."
345 \theoremstyle{definition}
346 %%Delete [section] for sequential numbering
347 \newtheorem{xca}[section]{Exercise}
353 CopyStyle Definition*
355 LabelString "Exercise."
357 \theoremstyle{definition}
358 \newtheorem*{xca*}{Exercise}
366 LabelString "Remark \thetheorem."
376 \theoremstyle{remark}
377 \newtheorem{rem}[thm]{Remark}
386 LabelString "Remark."
388 \theoremstyle{remark}
389 \newtheorem*{rem*}{Remark}
397 LabelString "Claim \thetheorem."
399 \theoremstyle{remark}
400 \newtheorem{claim}[thm]{Claim}
410 \theoremstyle{remark}
411 \newtheorem*{claim*}{Claim}
419 LabelString "Note \thetheorem."
421 \theoremstyle{remark}
422 \newtheorem{note}[thm]{Note}
432 \theoremstyle{remark}
433 \newtheorem*{note*}{Note}
441 LabelString "Notation \thetheorem."
443 \theoremstyle{remark}
444 \newtheorem{notation}[thm]{Notation}
452 LabelString "Notation."
454 \theoremstyle{remark}
455 \newtheorem*{notation*}[thm]{Notation}
463 LabelString "Summary \thetheorem."
465 \theoremstyle{remark}
466 \newtheorem{summary}[thm]{Summary}
471 Style Acknowledgement
473 LatexName acknowledgement
474 LabelString "Acknowledgement \thetheorem."
476 \theoremstyle{remark}
477 \newtheorem{acknowledgement}[thm]{Acknowledgement}
482 Style Acknowledgement*
484 LatexName acknowledgement*
485 LabelString "Acknowledgement."
487 \theoremstyle{remark}
488 \newtheorem*{acknowledgement*}{Acknowledgement}
496 LabelString "Case \thetheorem."
498 \theoremstyle{remark}
499 \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
507 LabelString "Conclusion \thetheorem."
509 \theoremstyle{remark}
510 \newtheorem{conclusion}[thm]{Conclusion}
517 LatexName conclusion*
518 LabelString "Conclusion."
520 \theoremstyle{remark}
521 \newtheorem*{conclusion*}{Conclusion}
528 LatexType Environment
539 AlignPossible Block, Left
550 # We don't want the preamble from Theorem