anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-25 10:58:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
28647dcebe
lyx_mirror/lib/layouts/theorems-without-preamble.inc
Thibaut Cuvelier 96023697f5 Amend 16a1aa99 
With the current settings, a theorem with several paragraphs will have several wrapper tags (i.e. two `<db:figure>`, with one paragraph each, one next to the other when it's the same theorem), while there should be only one (one `<db:figure>` with two paragraphs).

It makes me wonder whether DocBookWrapperMergeWithPrevious should be the default value. I don't see a case where it would be set to `false` with a wrapper tag, but the test suite isn't developed enough to make the change with peace of mind (i.e. remove the parameter `DocBookWrapperMergeWithPrevious` and consider it is always `true` in the code).

For the record, the current code also works with two subsequent theorems with two paragraphs each (see new test case).
2023-01-07 03:06:44 +01:00

533 lines
11 KiB
PHP
Raw Blame History

# This file provides theorem environments without adding preamble code or
# requiring packages. This is useful for classes that define their own theorems
# like svjour3 or ijmpc.
# Author: Uwe Stöhr <uwestoehr@web.de>
# The environnements defined are :
# - Theorem
# - Corollary
# - Lemma
# - Proposition
# - Prop
# - Conjecture
# - Fact
# - Definition
# - Example
# - Problem
# - Prob
# - Solution
# - Sol
# - Exercise
# - Remark
# - Claim
# - Case (defined without a counter)
# - Property
# - Question
# - Note
Format 99
OutlinerName thm "Definitions & Theorems"
Counter theorem
GuiName Theorem
LaTeXName thm
End
Style Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
NextNoIndent 1
AddToToc thm
IsTocCaption 1
Argument 1
LabelString "Name/Title"
Tooltip "Alternative optional name or title"
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 \thetheorem."
Font
Shape Italic
Size Normal
EndFont
LabelFont
Shape Up
Series Bold
EndFont
LangPreamble
\providecommand{\theoremname}{_(Theorem)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='theorem'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter corollary
GuiName Corollary
End
Style Corollary
CopyStyle Theorem
LabelCounter corollary
LatexName corollary
LabelString "Corollary \thecorollary."
LangPreamble
\providecommand{\corollaryname}{_(Corollary)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='corollary'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter lemma
GuiName Lemma
End
Style Lemma
CopyStyle Theorem
LabelCounter lemma
LatexName lemma
LabelString "Lemma \thelemma."
LangPreamble
\providecommand{\lemmaname}{_(Lemma)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='lemma'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter proposition
GuiName Proposition
End
Style Proposition
CopyStyle Theorem
LabelCounter proposition
LatexName proposition
LabelString "Proposition \theproposition."
LangPreamble
\providecommand{\propositionname}{_(Proposition)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='proposition'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter prop
GuiName Prop(osition)
End
Style Prop
CopyStyle Theorem
LabelCounter prop
LatexName prop
LabelString "Prop \theprop."
Font
Shape Up
EndFont
LabelFont
Series Medium
EndFont
DocBookWrapperTag figure
DocBookWrapperAttr role='proposition'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter conjecture
GuiName Conjecture
End
Style Conjecture
CopyStyle Theorem
LabelCounter conjecture
LatexName conjecture
LabelString "Conjecture \theconjecture."
Font
Shape Up
EndFont
LabelFont
Series Medium
Shape Italic
EndFont
LangPreamble
\providecommand{\conjecturename}{_(Conjecture)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='conjecture'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter fact
GuiName Fact
End
Style Fact
CopyStyle Theorem
LabelCounter fact
LatexName fact
LabelString "Fact \thefact."
LangPreamble
\providecommand{\factname}{_(Fact)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='fact'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter definition
GuiName Definition
End
Style Definition
CopyStyle Theorem
LabelCounter definition
LatexName definition
LabelString "Definition \thedefinition."
RefPrefix def
Font
Shape Up
EndFont
LabelFont
Shape Up
Series Bold
EndFont
LangPreamble
\providecommand{\definitionname}{_(Definition)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='definition'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter example
GuiName Example
End
Style Example
CopyStyle Conjecture
LabelCounter example
LatexName example
LabelString "Example \theexample."
RefPrefix exa
LangPreamble
\providecommand{\examplename}{_(Example)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
EndBabelPreamble
DocBookWrapperTag informalexample
DocBookTag para
DocBookAttr ""
End
Counter problem
GuiName Problem
End
Style Problem
CopyStyle Definition
Category Exercise
LabelCounter problem
LatexName problem
LabelString "Problem \theproblem."
RefPrefix prob
LangPreamble
\providecommand{\problemname}{_(Problem)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='problem'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter prob
GuiName Prob(lem)
Within chapter
End
# Prob does not copy a style to avoid preamble code
Style Prob
Category Exercise
LatexType Environment
LatexName prob
Margin First_Dynamic
LabelType Static
LabelCounter prob
LabelString "\theprob."
RefPrefix pro
NextNoIndent 1
ResetArgs 1
LabelSep xx
ParIndent MMM
ParSkip 0.4
ItemSep 0.2
TopSep 0.7
BottomSep 0.7
ParSep 0.3
Align Block
AlignPossible Left
LabelFont
Series Bold
EndFont
AddToToc thm
IsTocCaption true
DocBookWrapperTag figure
DocBookWrapperAttr role='problem'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter solution
GuiName Solution
End
Style Solution
CopyStyle Problem
LabelCounter solution
LatexName solution
LabelString "Solution \thesolution."
RefPrefix solu
LangPreamble
\providecommand{\solutionname}{_(Solution)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='solution'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Style Sol
CopyStyle Prob
LatexName sol
LabelType Static
LabelString "# [number of Prob]"
Argument 1
Mandatory 1
LabelString "Label of Problem"
Tooltip "Label of the corresponding problem"
IsTocCaption true
EndArgument
DocBookWrapperTag figure
DocBookWrapperAttr role='solution'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter exercise
GuiName Exercise
End
Style Exercise
CopyStyle Definition
LabelCounter exercise
LatexName exercise
LabelString "Exercise \theexercise."
RefPrefix exer
LangPreamble
\providecommand{\exercisename}{_(Exercise)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='exercise'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter remark
GuiName Remark
End
Style Remark
CopyStyle Conjecture
LabelCounter remark
LatexName remark
LabelString "Remark \theremark."
RefPrefix rem
LangPreamble
\providecommand{\remarkname}{_(Remark)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='remark'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Style Claim
CopyStyle Remark
LatexName claim
LabelString "Claim"
LangPreamble
\providecommand{\claimname}{_(Claim)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='claim'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter case
GuiName Case
End
Style Case
CopyStyle Remark
LabelCounter case
LatexName case
LabelString "Case \thecase."
RefPrefix case
LangPreamble
\providecommand{\casename}{_(Case)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='case'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter property
GuiName Property
End
Style Property
CopyStyle Claim
LabelCounter property
LatexName property
LabelString "Property \theproperty."
RefPrefix prop
LangPreamble
\providecommand{\propertyname}{_(Property)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='property'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter question
GuiName Question
End
Style Question
CopyStyle Claim
LabelCounter question
LatexName question
LabelString "Question \thequestion."
RefPrefix que
LangPreamble
\providecommand{\questionname}{_(Question)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='question'
DocBookTag para
DocBookGenerateTitle true
DocBookWrapperMergeWithPrevious true
End
Counter note
GuiName Note
End
Style Note
CopyStyle Claim
LabelCounter note
LatexName note
LabelString "Note \thenote."
RefPrefix note
LangPreamble
\providecommand{\notename}{_(Note)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
EndBabelPreamble
DocBookWrapperTag figure
DocBookWrapperAttr role='note'
DocBookTag para
DocBookGenerateTitle true
End
Reference in New Issue View Git Blame Copy Permalink