lib/layouts/theorems-ams.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 # - Definition
  14 # - Example
  15 # - Problem
  16 # - Exercise
  17 # - Solution
  18 # - Remark
  19 # - Claim
  20 # - Proof
  21 # - Case (by inclusion)
  22
  23 Format 99
  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          0
  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 End
  77
  78
  79 Style Corollary
  80         CopyStyle             Theorem
  81         DependsOn             Theorem
  82         LatexName             cor
  83         LabelString           "Corollary \thetheorem."
  84         Preamble
  85           \theoremstyle{plain}
  86           \newtheorem{cor}[thm]{\protect\corollaryname}
  87         EndPreamble
  88         LangPreamble
  89           \providecommand{\corollaryname}{_(Corollary)}
  90         EndLangPreamble
  91         BabelPreamble
  92           \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  93         EndBabelPreamble
  94         DocBookWrapperTag     figure
  95         DocBookWrapperAttr    role='corollary'
  96         DocBookTag            para
  97         DocBookGenerateTitle  true
  98 End
  99
 100
 101 Style Lemma
 102         CopyStyle             Theorem
 103         DependsOn             Theorem
 104         LatexName             lem
 105         LabelString           "Lemma \thetheorem."
 106         Preamble
 107           \theoremstyle{plain}
 108           \newtheorem{lem}[thm]{\protect\lemmaname}
 109         EndPreamble
 110         LangPreamble
 111           \providecommand{\lemmaname}{_(Lemma)}
 112         EndLangPreamble
 113         BabelPreamble
 114           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 115         EndBabelPreamble
 116         DocBookWrapperTag     figure
 117         DocBookWrapperAttr    role='lemma'
 118         DocBookTag            para
 119         DocBookGenerateTitle  true
 120 End
 121
 122
 123 Style Proposition
 124         CopyStyle             Theorem
 125         DependsOn             Theorem
 126         LatexName             prop
 127         LabelString           "Proposition \thetheorem."
 128         Preamble
 129           \theoremstyle{plain}
 130           \newtheorem{prop}[thm]{\protect\propositionname}
 131         EndPreamble
 132         LangPreamble
 133           \providecommand{\propositionname}{_(Proposition)}
 134         EndLangPreamble
 135         BabelPreamble
 136           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 137         EndBabelPreamble
 138         DocBookWrapperTag     figure
 139         DocBookWrapperAttr    role='proposition'
 140         DocBookTag            para
 141         DocBookGenerateTitle  true
 142 End
 143
 144
 145 Style Conjecture
 146         CopyStyle             Theorem
 147         DependsOn             Theorem
 148         LatexName             conjecture
 149         LabelString           "Conjecture \thetheorem."
 150         Preamble
 151           \theoremstyle{plain}
 152           \newtheorem{conjecture}[thm]{\protect\conjecturename}
 153         EndPreamble
 154         LangPreamble
 155           \providecommand{\conjecturename}{_(Conjecture)}
 156         EndLangPreamble
 157         BabelPreamble
 158           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 159         EndBabelPreamble
 160         DocBookWrapperTag     figure
 161         DocBookWrapperAttr    role='conjecture'
 162         DocBookTag            para
 163         DocBookGenerateTitle  true
 164 End
 165
 166
 167 Style Fact
 168         CopyStyle             Theorem
 169         DependsOn             Theorem
 170         LatexName             fact
 171         LabelString           "Fact \thetheorem."
 172         Preamble
 173           \theoremstyle{plain}
 174           \newtheorem{fact}[thm]{\protect\factname}
 175         EndPreamble
 176         LangPreamble
 177           \providecommand{\factname}{_(Fact)}
 178         EndLangPreamble
 179         BabelPreamble
 180           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 181         EndBabelPreamble
 182         DocBookWrapperTag     figure
 183         DocBookWrapperAttr    role='fact'
 184         DocBookTag            para
 185         DocBookGenerateTitle  true
 186 End
 187
 188
 189 Style Definition
 190         CopyStyle             Theorem
 191         DependsOn             Theorem
 192         LatexName             defn
 193         LabelString           "Definition \thetheorem."
 194         Font
 195           Shape               Up
 196         EndFont
 197         LabelFont
 198           Shape               Up
 199           Series              Bold
 200         EndFont
 201         Preamble
 202           \theoremstyle{definition}
 203           \newtheorem{defn}[thm]{\protect\definitionname}
 204         EndPreamble
 205         LangPreamble
 206           \providecommand{\definitionname}{_(Definition)}
 207         EndLangPreamble
 208         BabelPreamble
 209           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 210         EndBabelPreamble
 211         DocBookWrapperTag     figure
 212         DocBookWrapperAttr    role='definition'
 213         DocBookTag            para
 214         DocBookGenerateTitle  true
 215 End
 216
 217
 218 Style Example
 219         CopyStyle             Definition
 220         LatexName             example
 221         LabelString           "Example \thetheorem."
 222         Preamble
 223           \theoremstyle{definition}
 224           \newtheorem{example}[thm]{\protect\examplename}
 225         EndPreamble
 226         LangPreamble
 227           \providecommand{\examplename}{_(Example)}
 228         EndLangPreamble
 229         BabelPreamble
 230           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 231         EndBabelPreamble
 232         DocBookWrapperTag     informalexample
 233         DocBookTag            para
 234         DocBookAttr           ""
 235 End
 236
 237
 238 Style Problem
 239         CopyStyle             Definition
 240         LatexName             problem
 241         LabelString           "Problem \thetheorem."
 242         Preamble
 243           \theoremstyle{definition}
 244           \newtheorem{problem}[thm]{\protect\problemname}
 245         EndPreamble
 246         LangPreamble
 247           \providecommand{\problemname}{_(Problem)}
 248         EndLangPreamble
 249         BabelPreamble
 250           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 251         EndBabelPreamble
 252         DocBookWrapperTag     figure
 253         DocBookWrapperAttr    role='problem'
 254         DocBookTag            para
 255         DocBookGenerateTitle  true
 256 End
 257
 258
 259 Style Exercise
 260         CopyStyle             Definition
 261         LatexName             xca
 262         LabelString           "Exercise \thetheorem."
 263         Preamble
 264           \theoremstyle{definition}
 265           \newtheorem{xca}[thm]{\protect\exercisename}
 266         EndPreamble
 267         LangPreamble
 268           \providecommand{\exercisename}{_(Exercise)}
 269         EndLangPreamble
 270         BabelPreamble
 271           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 272         EndBabelPreamble
 273         DocBookWrapperTag     figure
 274         DocBookWrapperAttr    role='exercise'
 275         DocBookTag            para
 276         DocBookGenerateTitle  true
 277 End
 278
 279
 280 Style Solution
 281         CopyStyle             Definition
 282         LatexName             sol
 283         LabelString           "Solution \thetheorem."
 284         Preamble
 285           \theoremstyle{definition}
 286           \newtheorem{sol}[thm]{\protect\solutionname}
 287         EndPreamble
 288         LangPreamble
 289                 \providecommand{\solutionname}{_(Solution)}
 290         EndLangPreamble
 291         BabelPreamble
 292                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 293         EndBabelPreamble
 294         DocBookWrapperTag     figure
 295         DocBookWrapperAttr    role='solution'
 296         DocBookTag            para
 297         DocBookGenerateTitle  true
 298 End
 299
 300
 301 Style Remark
 302         CopyStyle             Theorem
 303         DependsOn             Theorem
 304         LatexName             rem
 305         LabelString           "Remark \thetheorem."
 306         Font
 307           Shape               Up
 308           Size                Normal
 309         EndFont
 310         LabelFont
 311           Series              Medium
 312           Shape               Italic
 313         EndFont
 314         Preamble
 315           \theoremstyle{remark}
 316           \newtheorem{rem}[thm]{\protect\remarkname}
 317         EndPreamble
 318         LangPreamble
 319           \providecommand{\remarkname}{_(Remark)}
 320         EndLangPreamble
 321         BabelPreamble
 322           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 323         EndBabelPreamble
 324         DocBookWrapperTag     figure
 325         DocBookWrapperAttr    role='remark'
 326         DocBookTag            para
 327         DocBookGenerateTitle  true
 328 End
 329
 330
 331 Style Claim
 332         CopyStyle             Remark
 333         LatexName             claim
 334         LabelString           "Claim \thetheorem."
 335         Preamble
 336           \theoremstyle{remark}
 337           \newtheorem{claim}[thm]{\protect\claimname}
 338         EndPreamble
 339         LangPreamble
 340           \providecommand{\claimname}{_(Claim)}
 341         EndLangPreamble
 342         BabelPreamble
 343           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 344         EndBabelPreamble
 345         DocBookWrapperTag     figure
 346         DocBookWrapperAttr    role='claim'
 347         DocBookTag            para
 348         DocBookGenerateTitle  true
 349 End
 350
 351 Input theorems-case.inc
 352 Input theorems-refprefix.inc