mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-06 11:23:45 +00:00
435 lines
11 KiB
Plaintext
435 lines
11 KiB
Plaintext
#\DeclareLyXModule{AMS Theorems (Extended)}
|
|
#\DeclareCategory{Maths}
|
|
#DescriptionBegin
|
|
#Defines some additional theorem environments for use with the
|
|
#AMS theorems packages. Includes Criterion, Algorithm, Axiom,
|
|
#Condition, Note, Notation, Summary, Conclusion,
|
|
#Fact, Assumption, Case, and Question, in both numbered and non-numbered
|
|
#forms.
|
|
#DescriptionEnd
|
|
#Requires: theorems-ams
|
|
|
|
# Original Author : David L. Johnson <dlj0@lehigh.edu>
|
|
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
|
|
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
|
|
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
|
|
# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
|
|
|
|
Format 107
|
|
|
|
Requires amsmath
|
|
|
|
# The environments defined (regular and starred) are :
|
|
# - Criterion
|
|
# - Algorithm
|
|
# - Axiom
|
|
# - Condition
|
|
# - Note
|
|
# - Notation
|
|
# - Summary
|
|
# - Conclusion
|
|
# - Fact
|
|
# - Assumption
|
|
# - Question
|
|
|
|
Style Criterion
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName criterion
|
|
LabelString "Criterion \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{criterion}[thm]{\protect\criterionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\criterionname}{_(Criterion)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='criterion'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
Style Criterion*
|
|
CopyStyle Theorem*
|
|
LatexName criterion*
|
|
LabelString "Criterion."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{criterion*}{\protect\criterionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\criterionname}{_(Criterion)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='criterion'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Algorithm
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName lyxalgorithm
|
|
LabelString "Algorithm \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{lyxalgorithm}[thm]{\protect\algorithmname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\algorithmname}{_(Algorithm)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='algorithm'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Algorithm*
|
|
CopyStyle Theorem*
|
|
LatexName lyxalgorithm*
|
|
LabelString "Algorithm."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{lyxalgorithm*}{\protect\algorithmname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\algorithmname}{_(Algorithm)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='algorithm'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Axiom
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName ax
|
|
LabelString "Axiom \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{ax}[thm]{\protect\axiomname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\axiomname}{_(Axiom)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='axiom'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Axiom*
|
|
CopyStyle Theorem*
|
|
LatexName ax*
|
|
LabelString "Axiom."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{ax*}{\protect\axiomname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\axiomname}{_(Axiom)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='axiom'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Condition
|
|
CopyStyle Definition
|
|
LatexName condition
|
|
LabelString "Condition \thetheorem."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem{condition}[thm]{\protect\conditionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\conditionname}{_(Condition)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='condition'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Condition*
|
|
CopyStyle Definition*
|
|
LatexName condition*
|
|
LabelString "Condition."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem*{condition*}{\protect\conditionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\conditionname}{_(Condition)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='condition'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Note
|
|
CopyStyle Remark
|
|
LatexName note
|
|
LabelString "Note \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{note}[thm]{\protect\notename}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\notename}{_(Note)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
|
|
EndBabelPreamble
|
|
DocBookTag note
|
|
DocBookItemTag para
|
|
End
|
|
|
|
|
|
Style Note*
|
|
CopyStyle Remark*
|
|
LatexName note*
|
|
LabelString "Note."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem*{note*}{\protect\notename}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\notename}{_(Note)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
|
|
EndBabelPreamble
|
|
DocBookTag note
|
|
DocBookItemTag para
|
|
End
|
|
|
|
|
|
Style Notation
|
|
CopyStyle Remark
|
|
LatexName notation
|
|
LabelString "Notation \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{notation}[thm]{\protect\notationname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\notationname}{_(Notation)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='notation'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Notation*
|
|
CopyStyle Remark*
|
|
LatexName notation*
|
|
LabelString "Notation."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem*{notation*}{\protect\notationname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\notationname}{_(Notation)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='notation'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Summary
|
|
CopyStyle Remark
|
|
LatexName summary
|
|
LabelString "Summary \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{summary}[thm]{\protect\summaryname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\summaryname}{_(Summary)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='summary'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Summary*
|
|
CopyStyle Remark*
|
|
LatexName summary*
|
|
LabelString "Summary."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem*{summary*}{\protect\summaryname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\summaryname}{_(Summary)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='summary'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Conclusion
|
|
CopyStyle Remark
|
|
LatexName conclusion
|
|
LabelString "Conclusion \thetheorem."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{conclusion}[thm]{\protect\conclusionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\conclusionname}{_(Conclusion)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='conclusion'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Conclusion*
|
|
CopyStyle Remark*
|
|
LatexName conclusion*
|
|
LabelString "Conclusion."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem*{conclusion*}{\protect\conclusionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\conclusionname}{_(Conclusion)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='conclusion'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Assumption
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName assumption
|
|
LabelString "Assumption \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{assumption}[thm]{\protect\assumptionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\assumptionname}{_(Assumption)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='assumption'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
|
|
Style Assumption*
|
|
CopyStyle Theorem*
|
|
LatexName assumption*
|
|
LabelString "Assumption."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{assumption*}{\protect\assumptionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\assumptionname}{_(Assumption)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='assumption'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
Style Question
|
|
CopyStyle Theorem
|
|
DependsOn Theorem
|
|
LatexName question
|
|
LabelString "Question \thetheorem."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{question}[thm]{\protect\questionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\questionname}{_(Question)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='question'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
Style Question*
|
|
CopyStyle Theorem*
|
|
LatexName question*
|
|
LabelString "Question."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem*{question*}{\protect\questionname}
|
|
EndPreamble
|
|
LangPreamble
|
|
\providecommand{\questionname}{_(Question)}
|
|
EndLangPreamble
|
|
BabelPreamble
|
|
\addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
|
|
EndBabelPreamble
|
|
DocBookTag para
|
|
DocBookAttr role='question'
|
|
DocBookItemTag ""
|
|
End
|
|
|
|
Input theorems-refprefix.inc
|