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