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