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