From 0f5ba65eae1b3e069be0be279904c911fe02907c Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Thu, 17 Nov 2016 10:59:49 -0500 Subject: [PATCH] Add three new files from Andrew Parsloe. These do for AMS-type theorem environments what the already existing "by chapter" modules do for non-AMS ones. --- lib/Makefile.am | 3 + lib/layouts/theorems-ams-chap-bytype.inc | 393 ++++++++++++++ lib/layouts/theorems-ams-chap-bytype.module | 72 +++ .../theorems-ams-extended-chap-bytype.module | 494 ++++++++++++++++++ 4 files changed, 962 insertions(+) create mode 100644 lib/layouts/theorems-ams-chap-bytype.inc create mode 100644 lib/layouts/theorems-ams-chap-bytype.module create mode 100644 lib/layouts/theorems-ams-extended-chap-bytype.module diff --git a/lib/Makefile.am b/lib/Makefile.am index 99d9fe42fb..ee7e2b141c 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -2273,8 +2273,11 @@ dist_layouts_DATA =\ layouts/theorems-ams.module \ layouts/theorems-ams-bytype.inc \ layouts/theorems-ams-bytype.module \ + layouts/theorems-ams-chap-bytype.inc \ + layouts/theorems-ams-chap-bytype.module \ layouts/theorems-ams-extended.module \ layouts/theorems-ams-extended-bytype.module \ + layouts/theorems-ams-extended-chap-bytype.module \ layouts/theorems-case.inc \ layouts/theorems-chap.module \ layouts/theorems.inc \ diff --git a/lib/layouts/theorems-ams-chap-bytype.inc b/lib/layouts/theorems-ams-chap-bytype.inc new file mode 100644 index 0000000000..efebe939ac --- /dev/null +++ b/lib/layouts/theorems-ams-chap-bytype.inc @@ -0,0 +1,393 @@ +# Original Author : David L. Johnson +# Probably broken by Jean-Marc Lasgouttes +# modified and modularized by Emmanuel GUREGHIAN +# Tinkered with Sep. '07 by Paul Rubin +# Modularized Jan 08 by Richard Heck +# Hacked June '09 by Paul Rubin to use separate counters +# Chapter dependence added Oct '16 by Andrew Parsloe + +# The environments defined are : +# - Theorem +# - Corollary +# - Lemma +# - Proposition +# - Conjecture +# - Fact +# - Definition +# - Example +# - Problem +# - Exercise +# - Solution +# - Remark +# - Claim +# - Case (by inclusion) + + +# We need separate counters for each theorem-like style. +Format 60 +Counter theorem +End +Counter corollary +End +Counter lemma +End +Counter proposition +End +Counter conjecture +End +Counter fact +End +Counter definition +End +Counter example +End +Counter problem +End +Counter exercise +End +Counter solution +End +Counter remark +End +Counter claim +End + +OutlinerName thm "Definitions & Theorems" + +Style Theorem + Category Reasoning + Margin First_Dynamic + LatexType Environment + LatexName thm + NextNoIndent 1 + ResetArgs 1 + AddToToc thm + IsTocCaption 1 + Argument 1 + LabelString "Additional Theorem Text" + Tooltip "Additional text appended to the theorem header" + IsTocCaption 1 + EndArgument + LabelSep xx + ParIndent MMM + ParSkip 0.4 + ItemSep 0.2 + TopSep 0.7 + BottomSep 0.7 + ParSep 0.3 + Align Block + AlignPossible Left + LabelType Static + LabelCounter theorem + LabelString "Theorem \thechapter.\thetheorem." + Font + Shape Italic + Size Normal + EndFont + LabelFont + Shape Up + Series Bold + EndFont + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{thm}{\protect\theoremname} + \else + \newtheorem{thm}{\protect\theoremname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\theoremname}{_(Theorem)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}} + EndBabelPreamble + Requires amsthm +End + + +Style Corollary + CopyStyle Theorem + LatexName cor + LabelString "Corollary \thechapter.\thecorollary." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{cor}{\protect\corollaryname} + \else + \newtheorem{cor}{\protect\corollaryname}[chapter] + \fi + EndPreamble + LabelCounter corollary + LangPreamble + \providecommand{\corollaryname}{_(Corollary)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}} + EndBabelPreamble +End + + +Style Lemma + CopyStyle Theorem + LatexName lem + LabelString "Lemma \thechapter.\thelemma." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{lem}{\protect\lemmaname} + \else + \newtheorem{lem}{\protect\lemmaname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\lemmaname}{_(Lemma)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}} + EndBabelPreamble + LabelCounter lemma +End + + +Style Proposition + CopyStyle Theorem + LatexName prop + LabelString "Proposition \thechapter.\theproposition." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{prop}{\protect\propositionname} + \else + \newtheorem{prop}{\protect\propositionname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\propositionname}{_(Proposition)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}} + EndBabelPreamble + LabelCounter proposition +End + + +Style Conjecture + CopyStyle Theorem + LatexName conjecture + LabelString "Conjecture \thechapter.\theconjecture." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{conjecture}{\protect\conjecturename} + \else + \newtheorem{conjecture}{\protect\conjecturename}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\conjecturename}{_(Conjecture)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}} + EndBabelPreamble + LabelCounter conjecture +End + + +Style Fact + CopyStyle Theorem + LatexName fact + LabelString "Fact \thechapter.\thefact." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{fact}{\protect\factname} + \else + \newtheorem{fact}{\protect\factname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\factname}{_(Fact)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}} + EndBabelPreamble + LabelCounter fact +End + + +Style Definition + CopyStyle Theorem + LatexName defn + LabelString "Definition \thechapter.\thedefinition." + Font + Shape Up + EndFont + LabelFont + Shape Up + Series Bold + EndFont + Preamble + \theoremstyle{definition} + \ifx\thechapter\undefined + \newtheorem{defn}{\protect\definitionname} + \else + \newtheorem{defn}{\protect\definitionname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\definitionname}{_(Definition)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}} + EndBabelPreamble + LabelCounter definition +End + + +Style Example + CopyStyle Definition + LatexName example + LabelString "Example \thechapter.\theexample." + Preamble + \theoremstyle{definition} + \ifx\thechapter\undefined + \newtheorem{example}{\protect\examplename} + \else + \newtheorem{example}{\protect\examplename}[chapter] + \fi + EndPreamble + Requires amsthm + LangPreamble + \providecommand{\examplename}{_(Example)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}} + EndBabelPreamble + LabelCounter example +End + + +Style Problem + CopyStyle Definition + LatexName problem + LabelString "Problem \thechapter.\theproblem." + Preamble + \theoremstyle{definition} + \ifx\thechapter\undefined + \newtheorem{problem}{\protect\problemname} + \else + \newtheorem{problem}{\protect\problemname}[chapter] + \fi + EndPreamble + Requires amsthm + LangPreamble + \providecommand{\problemname}{_(Problem)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}} + EndBabelPreamble + LabelCounter problem +End + + +Style Exercise + CopyStyle Definition + LatexName xca + LabelString "Exercise \thechapter.\theexercise." + Preamble + \theoremstyle{definition} + \ifx\thechapter\undefined + \newtheorem{xca}{\protect\exercisename} + \else + \newtheorem{xca}{\protect\exercisename}[chapter] + \fi + EndPreamble + Requires amsthm + LangPreamble + \providecommand{\exercisename}{_(Exercise)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}} + EndBabelPreamble + LabelCounter exercise +End + + +Style Solution + CopyStyle Definition + LatexName sol + LabelString "Solution \thechapter.\thesolution." + Preamble + \theoremstyle{definition} + \ifx\thechapter\undefined + \newtheorem{sol}{\protect\solutionname} + \else + \newtheorem{sol}{\protect\solutionname}[chapter] + \fi + EndPreamble + Requires amsthm + LangPreamble + \providecommand{\solutionname}{_(Solution)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}} + EndBabelPreamble + LabelCounter solution +End + + +Style Remark + CopyStyle Theorem + LatexName rem + LabelString "Remark \thechapter.\theremark." + Font + Shape Up + Size Normal + EndFont + LabelFont + Series Medium + Shape Italic + EndFont + Preamble + \theoremstyle{remark} + \ifx\thechapter\undefined + \newtheorem{rem}{\protect\remarkname} + \else + \newtheorem{rem}{\protect\remarkname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\remarkname}{_(Remark)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}} + EndBabelPreamble + LabelCounter remark +End + + +Style Claim + CopyStyle Remark + LatexName claim + LabelString "Claim \thechapter.\theclaim." + Preamble + \theoremstyle{remark} + \ifx\thechapter\undefined + \newtheorem{claim}{\protect\claimname} + \else + \newtheorem{claim}{\protect\claimname}[chapter] + \fi + EndPreamble + Requires amsthm + LangPreamble + \providecommand{\claimname}{_(Claim)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}} + EndBabelPreamble + LabelCounter claim +End + + +Input theorems-case.inc diff --git a/lib/layouts/theorems-ams-chap-bytype.module b/lib/layouts/theorems-ams-chap-bytype.module new file mode 100644 index 0000000000..ad422a8153 --- /dev/null +++ b/lib/layouts/theorems-ams-chap-bytype.module @@ -0,0 +1,72 @@ +#\DeclareLyXModule{Theorems (AMS, Numbered by Type within Chapters)} +#DescriptionBegin +#Defines theorem environments and the proof environment using the extended +#AMS machinery. Both numbered and unnumbered types are provided. Contrary to the +#plain AMS Theorem module, the different theorem types provided here each have +#a separate counter (e.g., theorem 1.1, theorem 1.2, lemma 1.1, proposition 1.1, +#theorem 1.3, lemma 1.2, ..., as opposed to theorem 1, theorem 2, lemma 3, +#proposition 4, ...). The numbering restarts for each chapter: theorem 1.1, +#theorem 2.1, ... +#DescriptionEnd +#Excludes: theorems-std | theorems-starred | theorems-ams | theorems-bytype + +# Original Author : David L. Johnson +# Probably broken by Jean-Marc Lasgouttes +# modified and modularized by Emmanuel GUREGHIAN +# Tinkered with Sep. '07 by Paul Rubin +# Modularized Jan 08 by Richard Heck +# Hacked June '09 by Paul Rubin to use separate counters +# Chapter dependence added Oct '16 by Andrew Parsloe + +Format 60 + +Requires amsmath,amsthm + +# The environments defined (regular and starred) are : +# - theorem +# - corollary +# - lemma +# - proposition +# - conjecture +# - fact +# - definition +# - example +# - solution +# - problem +# - exercise +# - remark +# - claim + +# We need separate counters for each theorem-like style. +Counter theorem +End +Counter corollary +End +Counter lemma +End +Counter proposition +End +Counter conjecture +End +Counter fact +End +Counter definition +End +Counter example +End +Counter solution +End +Counter problem +End +Counter exercise +End +Counter remark +End +Counter claim +End + + +Input theorems-order.inc +Input theorems-ams-chap-bytype.inc +Input theorems-starred.inc +Input theorems-proof.inc diff --git a/lib/layouts/theorems-ams-extended-chap-bytype.module b/lib/layouts/theorems-ams-extended-chap-bytype.module new file mode 100644 index 0000000000..82c270d470 --- /dev/null +++ b/lib/layouts/theorems-ams-extended-chap-bytype.module @@ -0,0 +1,494 @@ +#\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type within Chapters)} +#DescriptionBegin +#Defines some additional theorem environments for use with the +#AMS theorems packages. Includes Criterion, Algorithm, Axiom, +#Condition, Note, Notation, Summary, Acknowledgement, Conclusion, +#Assumption, and Case, in both numbered and non-numbered forms. +#Contrary to the plain AMS-Extended module, the different theorem +#types provided here each have a separate counter, restarted with each +#new chapter (e.g., criterion 1.1, criterion 1.2, axiom 1.1, assumption 1.1, #criterion 2.1, criterion 2.2, axiom 2.1..., as opposed to criterion 1, +#criterion 2, axiom 3, assumption 4...) +#DescriptionEnd +#Requires: theorems-ams-chap-bytype + +# Original Author : David L. Johnson +# Probably broken by Jean-Marc Lasgouttes +# modified and modularized by Emmanuel GUREGHIAN +# Tinkered with Sep. '07 by Paul Rubin +# Modularized Jan 08 by Richard Heck +# Hacked June '09 by Paul Rubin to use separate counters +# Chapter dependence added Oct '16 by Andrew Parsloe + +Format 60 + +Requires amsmath + +# The environnements defined (regular and starred) are : +# - Criterion +# - Algorithm +# - Axiom +# - Condition +# - Note +# - Notation +# - Summary +# - Acknowledgement +# - Conclusion +# - Assumption +# - Question + +# We need separate counters for each theorem-like style. +Counter criterion +End +Counter algorithm +End +Counter axiom +End +Counter condition +End +Counter note +End +Counter notation +End +Counter summary +End +Counter acknowledgement +End +Counter conclusion +End +Counter assumption +End +Counter question +End + + +# additional (AMS-extended) environments + +Style Criterion + CopyStyle Theorem + LatexName criterion + LabelString "Criterion \thechapter.\thecriterion." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{criterion}{\protect\criterionname} + \else + \newtheorem{criterion}{\protect\criterionname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\criterionname}{_(Criterion)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}} + EndBabelPreamble + LabelCounter criterion +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 +End + + +Style Algorithm + CopyStyle Theorem + LatexName lyxalgorithm + LabelString "Algorithm \thechapter.\thealgorithm." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{lyxalgorithm}{\protect\algorithmname} + \else + \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\algorithmname}{_(Algorithm)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}} + EndBabelPreamble + LabelCounter algorithm +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 +End + + +Style Axiom + CopyStyle Theorem + LatexName ax + LabelString "Axiom \thechapter.\theaxiom." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{ax}{\protect\axiomname} + \else + \newtheorem{ax}{\protect\axiomname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\axiomname}{_(Axiom)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}} + EndBabelPreamble + LabelCounter axiom +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 +End + + +Style Condition + CopyStyle Definition + LatexName condition + LabelString "Condition \thechapter.\thecondition." + Preamble + \theoremstyle{definition} + \ifx\thechapter\undefined + \newtheorem{condition}{\protect\conditionname} + \else + \newtheorem{condition}{\protect\conditionname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\conditionname}{_(Condition)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}} + EndBabelPreamble + LabelCounter condition +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 +End + + +Style Note + CopyStyle Remark + LatexName note + LabelString "Note \thechapter.\thenote." + Preamble + \theoremstyle{remark} + \ifx\thechapter\undefined + \newtheorem{note}{\protect\notename} + \else + \newtheorem{note}{\protect\notename}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\notename}{_(Note)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\notename}{_(Note)}} + EndBabelPreamble + LabelCounter note +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 +End + + +Style Notation + CopyStyle Remark + LatexName notation + LabelString "Notation \thechapter.\thenotation." + Preamble + \theoremstyle{remark} + \ifx\thechapter\undefined + \newtheorem{notation}{\protect\notationname} + \else + \newtheorem{notation}{\protect\notationname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\notationname}{_(Notation)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}} + EndBabelPreamble + LabelCounter notation +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 +End + + +Style Summary + CopyStyle Remark + LatexName summary + LabelString "Summary \thechapter.\thesummary." + Preamble + \theoremstyle{remark} + \ifx\thechapter\undefined + \newtheorem{summary}{\protect\summaryname} + \fi + \else + \newtheorem{summary}{\protect\summaryname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\summaryname}{_(Summary)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}} + EndBabelPreamble + LabelCounter summary +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 +End + + +Style Acknowledgement + CopyStyle Remark + LatexName acknowledgement + LabelString "Acknowledgement \thechapter.\theacknowledgement." + Preamble + \theoremstyle{remark} + \ifx\thechapter\undefined + \newtheorem{acknowledgement}{\protect\acknowledgementname} + \else + \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\acknowledgementname}{_(Acknowledgement)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}} + EndBabelPreamble + LabelCounter acknowledgement +End + + +Style Acknowledgement* + CopyStyle Remark* + LatexName acknowledgement* + LabelString "Acknowledgement." + Preamble + \theoremstyle{remark} + \newtheorem*{acknowledgement*}{\protect\acknowledgementname} + EndPreamble + LangPreamble + \providecommand{\acknowledgementname}{_(Acknowledgement)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}} + EndBabelPreamble +End + + +Style Conclusion + CopyStyle Remark + LatexName conclusion + LabelString "Conclusion \thechapter.\theconclusion." + Preamble + \theoremstyle{remark} + \ifx\thechapter\undefined + \newtheorem{conclusion}{\protect\conclusionname} + \else + \newtheorem{conclusion}{\protect\conclusionname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\conclusionname}{_(Conclusion)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}} + EndBabelPreamble + LabelCounter conclusion +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 +End + + +Style Assumption + CopyStyle Theorem + LatexName assumption + LabelString "Assumption \thechapter.\theassumption." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{assumption}{\protect\assumptionname} + \else + \newtheorem{assumption}{\protect\assumptionname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\assumptionname}{_(Assumption)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}} + EndBabelPreamble + LabelCounter assumption +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 +End + +Style Question + CopyStyle Theorem + DependsOn Theorem + LatexName question + LabelString "Question \thechapter.\thequestion." + Preamble + \theoremstyle{plain} + \ifx\thechapter\undefined + \newtheorem{question}{\protect\questionname} + \else + \newtheorem{question}{\protect\questionname}[chapter] + \fi + EndPreamble + LangPreamble + \providecommand{\questionname}{_(Question)} + EndLangPreamble + BabelPreamble + \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}} + EndBabelPreamble + LabelCounter question +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 +End + +Input theorems-refprefix.inc