mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-25 05:55:34 +00:00
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.
(cherry picked from commit 0f5ba65eae
)
This commit is contained in:
parent
e8464083fe
commit
632e1d3ac7
@ -2274,8 +2274,11 @@ dist_layouts_DATA =\
|
|||||||
layouts/theorems-ams.module \
|
layouts/theorems-ams.module \
|
||||||
layouts/theorems-ams-bytype.inc \
|
layouts/theorems-ams-bytype.inc \
|
||||||
layouts/theorems-ams-bytype.module \
|
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.module \
|
||||||
layouts/theorems-ams-extended-bytype.module \
|
layouts/theorems-ams-extended-bytype.module \
|
||||||
|
layouts/theorems-ams-extended-chap-bytype.module \
|
||||||
layouts/theorems-case.inc \
|
layouts/theorems-case.inc \
|
||||||
layouts/theorems-chap.module \
|
layouts/theorems-chap.module \
|
||||||
layouts/theorems.inc \
|
layouts/theorems.inc \
|
||||||
|
393
lib/layouts/theorems-ams-chap-bytype.inc
Normal file
393
lib/layouts/theorems-ams-chap-bytype.inc
Normal file
@ -0,0 +1,393 @@
|
|||||||
|
# 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 Heck <rgheck@comcast.net>
|
||||||
|
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
|
||||||
|
# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
|
||||||
|
|
||||||
|
# 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
|
72
lib/layouts/theorems-ams-chap-bytype.module
Normal file
72
lib/layouts/theorems-ams-chap-bytype.module
Normal file
@ -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 <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 Heck <rgheck@comcast.net>
|
||||||
|
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
|
||||||
|
# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
|
||||||
|
|
||||||
|
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
|
494
lib/layouts/theorems-ams-extended-chap-bytype.module
Normal file
494
lib/layouts/theorems-ams-extended-chap-bytype.module
Normal file
@ -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 <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 Heck <rgheck@comcast.net>
|
||||||
|
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
|
||||||
|
# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
|
||||||
|
|
||||||
|
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
|
Loading…
Reference in New Issue
Block a user