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