lib/layouts/theorems.inc

   1 # Original Author : David L. Johnson <dlj0@lehigh.edu>
   2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
   3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
   4 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
   5 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
   6
   7 # The environments defined are :
   8 # - Theorem
   9 # - Corollary
  10 # - Lemma
  11 # - Proposition
  12 # - Conjecture
  13 # - Fact
  14 # - Definition
  15 # - Example
  16 # - Problem
  17 # - Exercise
  18 # - Solution
  19 # - Remark
  20 # - Claim
  21 # - Case (by inclusion)
  22
  23 Format 100
  24
  25 OutlinerName thm "Definitions & Theorems"
  26
  27 Style Theorem
  28         Category              Reasoning
  29         Margin                First_Dynamic
  30         LatexType             Environment
  31         LatexName             thm
  32         NextNoIndent          1
  33         ResetArgs             1
  34         AddToToc              thm
  35         IsTocCaption          1
  36         Argument 1
  37                 LabelString    "Additional Theorem Text"
  38                 Tooltip        "Additional text appended to the theorem header"
  39                 IsTocCaption      1
  40         EndArgument
  41         LabelSep              xx
  42         ParIndent             MMM
  43         ParSkip               0.4
  44         ItemSep               0.2
  45         TopSep                0.7
  46         BottomSep             0.7
  47         ParSep                0.3
  48         Align                 Block
  49         AlignPossible         Left
  50         LabelType             Static
  51         LabelCounter          theorem
  52         LabelString           "Theorem \thetheorem."
  53         Font
  54           Shape               Italic
  55           Size                Normal
  56         EndFont
  57         LabelFont
  58           Shape               Up
  59           Series              Bold
  60         EndFont
  61         Preamble
  62                 \theoremstyle{plain}
  63                 \newtheorem{thm}{\protect\theoremname}
  64         EndPreamble
  65         LangPreamble
  66                 \providecommand{\theoremname}{_(Theorem)}
  67         EndLangPreamble
  68         BabelPreamble
  69                 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
  70         EndBabelPreamble
  71         Requires              amsthm
  72         DocBookWrapperTag     figure
  73         DocBookWrapperAttr    role='theorem'
  74         DocBookTag            para
  75         DocBookGenerateTitle  true
  76         DocBookWrapperMergeWithPrevious  true
  77 End
  78
  79
  80 Style Corollary
  81         CopyStyle             Theorem
  82         DependsOn             Theorem
  83         LatexName             cor
  84         LabelString           "Corollary \thetheorem."
  85         Preamble
  86                 \theoremstyle{plain}
  87                 \newtheorem{cor}[thm]{\protect\corollaryname}
  88         EndPreamble
  89         LangPreamble
  90                 \providecommand{\corollaryname}{_(Corollary)}
  91         EndLangPreamble
  92         BabelPreamble
  93                 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  94         EndBabelPreamble
  95         DocBookWrapperTag     figure
  96         DocBookWrapperAttr    role='corollary'
  97         DocBookTag            para
  98         DocBookGenerateTitle  true
  99         DocBookWrapperMergeWithPrevious  true
 100 End
 101
 102
 103 Style Lemma
 104         CopyStyle             Theorem
 105         DependsOn             Theorem
 106         LatexName             lem
 107         LabelString           "Lemma \thetheorem."
 108         Preamble
 109                 \theoremstyle{plain}
 110                 \newtheorem{lem}[thm]{\protect\lemmaname}
 111         EndPreamble
 112         LangPreamble
 113                 \providecommand{\lemmaname}{_(Lemma)}
 114         EndLangPreamble
 115         BabelPreamble
 116                 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 117         EndBabelPreamble
 118         DocBookWrapperTag     figure
 119         DocBookWrapperAttr    role='lemma'
 120         DocBookTag            para
 121         DocBookGenerateTitle  true
 122         DocBookWrapperMergeWithPrevious  true
 123 End
 124
 125
 126 Style Proposition
 127         CopyStyle             Theorem
 128         DependsOn             Theorem
 129         LatexName             prop
 130         LabelString           "Proposition \thetheorem."
 131         Preamble
 132                 \theoremstyle{plain}
 133                 \newtheorem{prop}[thm]{\protect\propositionname}
 134         EndPreamble
 135         LangPreamble
 136                 \providecommand{\propositionname}{_(Proposition)}
 137         EndLangPreamble
 138         BabelPreamble
 139                 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 140         EndBabelPreamble
 141         DocBookWrapperTag     figure
 142         DocBookWrapperAttr    role='proposition'
 143         DocBookTag            para
 144         DocBookGenerateTitle  true
 145         DocBookWrapperMergeWithPrevious  true
 146 End
 147
 148
 149 Style Conjecture
 150         CopyStyle             Theorem
 151         DependsOn             Theorem
 152         LatexName             conjecture
 153         LabelString           "Conjecture \thetheorem."
 154         Preamble
 155                 \theoremstyle{plain}
 156                 \newtheorem{conjecture}[thm]{\protect\conjecturename}
 157         EndPreamble
 158         LangPreamble
 159                 \providecommand{\conjecturename}{_(Conjecture)}
 160         EndLangPreamble
 161         BabelPreamble
 162                 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 163         EndBabelPreamble
 164         DocBookWrapperTag     figure
 165         DocBookWrapperAttr    role='conjecture'
 166         DocBookTag            para
 167         DocBookGenerateTitle  true
 168         DocBookWrapperMergeWithPrevious  true
 169 End
 170
 171
 172 Style Fact
 173         CopyStyle             Theorem
 174         DependsOn             Theorem
 175         LatexName             fact
 176         LabelString           "Fact \thetheorem."
 177         Preamble
 178                 \theoremstyle{plain}
 179                 \newtheorem{fact}[thm]{\protect\factname}
 180         EndPreamble
 181         LangPreamble
 182                 \providecommand{\factname}{_(Fact)}
 183         EndLangPreamble
 184         BabelPreamble
 185                 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 186         EndBabelPreamble
 187         DocBookWrapperTag     figure
 188         DocBookWrapperAttr    role='fact'
 189         DocBookTag            para
 190         DocBookGenerateTitle  true
 191         DocBookWrapperMergeWithPrevious  true
 192 End
 193
 194
 195 Style Definition
 196         CopyStyle             Theorem
 197         DependsOn             Theorem
 198         LatexName             defn
 199         LabelString           "Definition \thetheorem."
 200         Font
 201           Shape               Up
 202         EndFont
 203         LabelFont
 204           Shape               Up
 205           Series              Bold
 206         EndFont
 207         Preamble
 208                 \theoremstyle{definition}
 209                 \newtheorem{defn}[thm]{\protect\definitionname}
 210         EndPreamble
 211         LangPreamble
 212                 \providecommand{\definitionname}{_(Definition)}
 213         EndLangPreamble
 214         BabelPreamble
 215                 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 216         EndBabelPreamble
 217         DocBookWrapperTag     figure
 218         DocBookWrapperAttr    role='definition'
 219         DocBookTag            para
 220         DocBookGenerateTitle  true
 221         DocBookWrapperMergeWithPrevious  true
 222 End
 223
 224
 225 Style Example
 226         CopyStyle             Definition
 227         LatexName             example
 228         LabelString           "Example \thetheorem."
 229         Preamble
 230                 \theoremstyle{definition}
 231                 \newtheorem{example}[thm]{\protect\examplename}
 232         EndPreamble
 233         LangPreamble
 234                 \providecommand{\examplename}{_(Example)}
 235         EndLangPreamble
 236         BabelPreamble
 237                 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 238         EndBabelPreamble
 239         DocBookWrapperTag     informalexample
 240         DocBookTag            para
 241         DocBookAttr           ""
 242 End
 243
 244
 245 Style Problem
 246         CopyStyle             Definition
 247         LatexName             problem
 248         LabelString           "Problem \thetheorem."
 249         Preamble
 250                 \theoremstyle{definition}
 251                 \newtheorem{problem}[thm]{\protect\problemname}
 252         EndPreamble
 253         LangPreamble
 254                 \providecommand{\problemname}{_(Problem)}
 255         EndLangPreamble
 256         BabelPreamble
 257                 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 258         EndBabelPreamble
 259         DocBookWrapperTag     figure
 260         DocBookWrapperAttr    role='problem'
 261         DocBookTag            para
 262         DocBookGenerateTitle  true
 263         DocBookWrapperMergeWithPrevious  true
 264 End
 265
 266
 267 Style Exercise
 268         CopyStyle             Definition
 269         LatexName             xca
 270         LabelString           "Exercise \thetheorem."
 271         Preamble
 272                 \theoremstyle{definition}
 273                 \newtheorem{xca}[thm]{\protect\exercisename}
 274         EndPreamble
 275         LangPreamble
 276                 \providecommand{\exercisename}{_(Exercise)}
 277         EndLangPreamble
 278         BabelPreamble
 279                 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 280         EndBabelPreamble
 281         DocBookWrapperTag     figure
 282         DocBookWrapperAttr    role='exercise'
 283         DocBookTag            para
 284         DocBookGenerateTitle  true
 285         DocBookWrapperMergeWithPrevious  true
 286 End
 287
 288
 289 Style Solution
 290         CopyStyle             Definition
 291         LatexName             sol
 292         LabelString           "Solution \thetheorem."
 293         Preamble
 294                 \theoremstyle{definition}
 295                 \newtheorem{sol}[thm]{\protect\solutionname}
 296         EndPreamble
 297         LangPreamble
 298                 \providecommand{\solutionname}{_(Solution)}
 299         EndLangPreamble
 300         BabelPreamble
 301                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 302         EndBabelPreamble
 303         DocBookWrapperTag     figure
 304         DocBookWrapperAttr    role='solution'
 305         DocBookTag            para
 306         DocBookGenerateTitle  true
 307         DocBookWrapperMergeWithPrevious  true
 308 End
 309
 310
 311 Style Remark
 312         CopyStyle             Theorem
 313         DependsOn             Theorem
 314         LatexName             rem
 315         LabelString           "Remark \thetheorem."
 316         Font
 317           Shape               Up
 318           Size                Normal
 319         EndFont
 320         LabelFont
 321           Series              Medium
 322           Shape               Italic
 323         EndFont
 324         Preamble
 325                 \theoremstyle{remark}
 326                 \newtheorem{rem}[thm]{\protect\remarkname}
 327         EndPreamble
 328         LangPreamble
 329                 \providecommand{\remarkname}{_(Remark)}
 330         EndLangPreamble
 331         BabelPreamble
 332                 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 333         EndBabelPreamble
 334         DocBookWrapperTag     figure
 335         DocBookWrapperAttr    role='remark'
 336         DocBookTag            para
 337         DocBookGenerateTitle  true
 338         DocBookWrapperMergeWithPrevious  true
 339 End
 340
 341
 342 Style Claim
 343         CopyStyle             Remark
 344         LatexName             claim
 345         LabelString           "Claim \thetheorem."
 346         Preamble
 347                 \theoremstyle{remark}
 348                 \newtheorem{claim}[thm]{\protect\claimname}
 349         EndPreamble
 350         LangPreamble
 351                 \providecommand{\claimname}{_(Claim)}
 352         EndLangPreamble
 353         BabelPreamble
 354                 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 355         EndBabelPreamble
 356         DocBookWrapperTag     figure
 357         DocBookWrapperAttr    role='claim'
 358         DocBookTag            para
 359         DocBookGenerateTitle  true
 360         DocBookWrapperMergeWithPrevious  true
 361 End
 362
 363 Input theorems-case.inc
 364 Input theorems-refprefix.inc