X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-ams-extended-bytype.module;h=c537defc78807b3819b325c40afbcdb81986969d;hb=ca1ca4326b027d7781c6ff31c1dfb1b5e4e53d8c;hp=546b621bb35dc168c6bb62d6eee8d7c4e13bd442;hpb=3b716ae11e5f55cf0544521ebd345a341707744e;p=features.git diff --git a/lib/layouts/theorems-ams-extended-bytype.module b/lib/layouts/theorems-ams-extended-bytype.module index 546b621bb3..c537defc78 100644 --- a/lib/layouts/theorems-ams-extended-bytype.module +++ b/lib/layouts/theorems-ams-extended-bytype.module @@ -1,4 +1,5 @@ -#\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type)} +#\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type)} +#\DeclareCategory{Maths} #DescriptionBegin #Defines some additional theorem environments for use with the #AMS theorems packages. Includes Criterion, Algorithm, Axiom, @@ -18,7 +19,7 @@ # Modularized Jan 08 by Richard Heck # Hacked June '09 by Paul Rubin to use separate counters -Format 28 +Format 82 Requires amsmath @@ -33,27 +34,41 @@ Requires amsmath # - Acknowledgement # - Conclusion # - Assumption +# - Question # We need separate counters for each theorem-like style. Counter criterion + GuiName Criterion End Counter algorithm + GuiName Algorithm End Counter axiom + GuiName Axiom End Counter condition + GuiName Condition End Counter note + GuiName Note End Counter notation + GuiName Notation End Counter summary + GuiName Summary End Counter acknowledgement + GuiName Acknowledgement End Counter conclusion + GuiName Conclusion End Counter assumption + GuiName Assumption +End +Counter question + GuiName Question End @@ -63,9 +78,18 @@ Style Criterion LabelString "Criterion \thecriterion." Preamble \theoremstyle{plain} - \newtheorem{criterion}{Criterion} + \newtheorem{criterion}{\protect\criterionname} EndPreamble + LangPreamble + \providecommand{\criterionname}{_(Criterion)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}} + EndBabelPreamble LabelCounter criterion + DocBookTag para + DocBookAttr role='criterion' + DocBookItemTag "" End Style Criterion* @@ -74,31 +98,58 @@ Style Criterion* LabelString "Criterion." Preamble \theoremstyle{plain} - \newtheorem*{criterion*}{Criterion} + \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 - LatexName algorithm + LatexName lyxalgorithm LabelString "Algorithm \thealgorithm." Preamble \theoremstyle{plain} - \newtheorem{algorithm}{Algorithm} + \newtheorem{lyxalgorithm}{\protect\algorithmname} EndPreamble + LangPreamble + \providecommand{\algorithmname}{_(Algorithm)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}} + EndBabelPreamble LabelCounter algorithm + DocBookTag para + DocBookAttr role='algorithm' + DocBookItemTag "" End Style Algorithm* CopyStyle Theorem* - LatexName algorithm* + LatexName lyxalgorithm* LabelString "Algorithm." Preamble \theoremstyle{plain} - \newtheorem*{algorithm*}{Algorithm} + \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 @@ -108,9 +159,18 @@ Style Axiom LabelString "Axiom \theaxiom." Preamble \theoremstyle{plain} - \newtheorem{ax}{Axiom} + \newtheorem{ax}{\protect\axiomname} EndPreamble + LangPreamble + \providecommand{\axiomname}{_(Axiom)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}} + EndBabelPreamble LabelCounter axiom + DocBookTag para + DocBookAttr role='axiom' + DocBookItemTag "" End @@ -120,8 +180,17 @@ Style Axiom* LabelString "Axiom." Preamble \theoremstyle{plain} - \newtheorem*{ax*}{Axiom} + \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 @@ -131,9 +200,18 @@ Style Condition LabelString "Condition \thecondition." Preamble \theoremstyle{definition} - \newtheorem{condition}{Condition} + \newtheorem{condition}{\protect\conditionname} EndPreamble + LangPreamble + \providecommand{\conditionname}{_(Condition)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}} + EndBabelPreamble LabelCounter condition + DocBookTag para + DocBookAttr role='condition' + DocBookItemTag "" End @@ -143,8 +221,17 @@ Style Condition* LabelString "Condition." Preamble \theoremstyle{definition} - \newtheorem*{condition*}{Condition} + \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 @@ -154,9 +241,17 @@ Style Note LabelString "Note \thenote." Preamble \theoremstyle{remark} - \newtheorem{note}{Note} + \newtheorem{note}{\protect\notename} EndPreamble + LangPreamble + \providecommand{\notename}{_(Note)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} + EndBabelPreamble LabelCounter note + DocBookTag note + DocBookItemTag para End @@ -166,8 +261,16 @@ Style Note* LabelString "Note." Preamble \theoremstyle{remark} - \newtheorem*{note*}{Note} + \newtheorem*{note*}{\protect\notename} EndPreamble + LangPreamble + \providecommand{\notename}{_(Note)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} + EndBabelPreamble + DocBookTag note + DocBookItemTag para End @@ -177,9 +280,18 @@ Style Notation LabelString "Notation \thenotation." Preamble \theoremstyle{remark} - \newtheorem{notation}{Notation} + \newtheorem{notation}{\protect\notationname} EndPreamble + LangPreamble + \providecommand{\notationname}{_(Notation)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}} + EndBabelPreamble LabelCounter notation + DocBookTag para + DocBookAttr role='notation' + DocBookItemTag "" End @@ -189,8 +301,17 @@ Style Notation* LabelString "Notation." Preamble \theoremstyle{remark} - \newtheorem*{notation*}{Notation} + \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 @@ -200,9 +321,18 @@ Style Summary LabelString "Summary \thesummary." Preamble \theoremstyle{remark} - \newtheorem{summary}{Summary} + \newtheorem{summary}{\protect\summaryname} EndPreamble + LangPreamble + \providecommand{\summaryname}{_(Summary)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}} + EndBabelPreamble LabelCounter summary + DocBookTag para + DocBookAttr role='summary' + DocBookItemTag "" End @@ -212,8 +342,17 @@ Style Summary* LabelString "Summary." Preamble \theoremstyle{remark} - \newtheorem*{summary*}{Summary} + \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 @@ -223,9 +362,18 @@ Style Acknowledgement LabelString "Acknowledgement \theacknowledgement." Preamble \theoremstyle{remark} - \newtheorem{acknowledgement}{Acknowledgement} + \newtheorem{acknowledgement}{\protect\acknowledgementname} EndPreamble + LangPreamble + \providecommand{\acknowledgementname}{_(Acknowledgement)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}} + EndBabelPreamble LabelCounter acknowledgement + DocBookTag para + DocBookAttr role='acknowledgement' + DocBookItemTag "" End @@ -235,8 +383,17 @@ Style Acknowledgement* LabelString "Acknowledgement." Preamble \theoremstyle{remark} - \newtheorem*{acknowledgement*}{Acknowledgement} + \newtheorem*{acknowledgement*}{\protect\acknowledgementname} EndPreamble + LangPreamble + \providecommand{\acknowledgementname}{_(Acknowledgement)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}} + EndBabelPreamble + DocBookTag para + DocBookAttr role='acknowledgement' + DocBookItemTag "" End @@ -246,9 +403,18 @@ Style Conclusion LabelString "Conclusion \theconclusion." Preamble \theoremstyle{remark} - \newtheorem{conclusion}{Conclusion} + \newtheorem{conclusion}{\protect\conclusionname} EndPreamble + LangPreamble + \providecommand{\conclusionname}{_(Conclusion)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}} + EndBabelPreamble LabelCounter conclusion + DocBookTag para + DocBookAttr role='conclusion' + DocBookItemTag "" End @@ -258,8 +424,17 @@ Style Conclusion* LabelString "Conclusion." Preamble \theoremstyle{remark} - \newtheorem*{conclusion*}{Conclusion} + \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 @@ -269,9 +444,18 @@ Style Assumption LabelString "Assumption \theassumption." Preamble \theoremstyle{plain} - \newtheorem{assumption}{Assumption} + \newtheorem{assumption}{\protect\assumptionname} EndPreamble + LangPreamble + \providecommand{\assumptionname}{_(Assumption)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}} + EndBabelPreamble LabelCounter assumption + DocBookTag para + DocBookAttr role='assumption' + DocBookItemTag "" End @@ -281,6 +465,57 @@ Style Assumption* LabelString "Assumption." Preamble \theoremstyle{plain} - \newtheorem*{assumption*}{Assumption} + \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 \thequestion." + Preamble + \theoremstyle{plain} + \newtheorem{question}{\protect\questionname} EndPreamble + LangPreamble + \providecommand{\questionname}{_(Question)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}} + EndBabelPreamble + LabelCounter question + 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