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 99
  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         DocBookWrapperTag     figure
 122         DocBookWrapperAttr    role='theorem'
 123         DocBookTag            para
 124         DocBookGenerateTitle  true
 125 End
 126
 127
 128 Style Corollary
 129         CopyStyle             Theorem
 130         LatexName             cor
 131         LabelString           "Corollary \thecorollary."
 132         Preamble
 133           \theoremstyle{plain}
 134     \ifx\thechapter\undefined
 135             \newtheorem{cor}{\protect\corollaryname}
 136           \else
 137       \newtheorem{cor}{\protect\corollaryname}[chapter]
 138     \fi
 139         EndPreamble
 140         LabelCounter          corollary
 141         LangPreamble
 142                 \providecommand{\corollaryname}{_(Corollary)}
 143         EndLangPreamble
 144         BabelPreamble
 145                 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
 146         EndBabelPreamble
 147         DocBookWrapperTag     figure
 148         DocBookWrapperAttr    role='corollary'
 149         DocBookTag            para
 150         DocBookGenerateTitle  true
 151 End
 152
 153
 154 Style Lemma
 155         CopyStyle             Theorem
 156         LatexName             lem
 157         LabelString           "Lemma \thelemma."
 158         Preamble
 159           \theoremstyle{plain}
 160     \ifx\thechapter\undefined
 161       \newtheorem{lem}{\protect\lemmaname}
 162     \else
 163       \newtheorem{lem}{\protect\lemmaname}[chapter]
 164     \fi
 165         EndPreamble
 166         LangPreamble
 167           \providecommand{\lemmaname}{_(Lemma)}
 168         EndLangPreamble
 169         BabelPreamble
 170           \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 171         EndBabelPreamble
 172         LabelCounter          lemma
 173         DocBookWrapperTag     figure
 174         DocBookWrapperAttr    role='lemma'
 175         DocBookTag            para
 176         DocBookGenerateTitle  true
 177 End
 178
 179
 180 Style Proposition
 181         CopyStyle             Theorem
 182         LatexName             prop
 183         LabelString           "Proposition \theproposition."
 184         Preamble
 185           \theoremstyle{plain}
 186     \ifx\thechapter\undefined
 187       \newtheorem{prop}{\protect\propositionname}
 188     \else
 189       \newtheorem{prop}{\protect\propositionname}[chapter]
 190     \fi
 191         EndPreamble
 192         LangPreamble
 193           \providecommand{\propositionname}{_(Proposition)}
 194         EndLangPreamble
 195         BabelPreamble
 196           \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 197         EndBabelPreamble
 198         LabelCounter          proposition
 199         DocBookWrapperTag     figure
 200         DocBookWrapperAttr    role='proposition'
 201         DocBookTag            para
 202         DocBookGenerateTitle  true
 203 End
 204
 205
 206 Style Conjecture
 207         CopyStyle             Theorem
 208         LatexName             conjecture
 209         LabelString           "Conjecture \theconjecture."
 210         Preamble
 211           \theoremstyle{plain}
 212     \ifx\thechapter\undefined
 213       \newtheorem{conjecture}{\protect\conjecturename}
 214     \else
 215       \newtheorem{conjecture}{\protect\conjecturename}[chapter]
 216     \fi
 217         EndPreamble
 218         LangPreamble
 219           \providecommand{\conjecturename}{_(Conjecture)}
 220         EndLangPreamble
 221         BabelPreamble
 222           \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 223         EndBabelPreamble
 224         LabelCounter          conjecture
 225         DocBookWrapperTag     figure
 226         DocBookWrapperAttr    role='conjecture'
 227         DocBookTag            para
 228         DocBookGenerateTitle  true
 229 End
 230
 231
 232 Style Fact
 233         CopyStyle             Theorem
 234         LatexName             fact
 235         LabelString           "Fact \thefact."
 236         Preamble
 237           \theoremstyle{plain}
 238     \ifx\thechapter\undefined
 239       \newtheorem{fact}{\protect\factname}
 240     \else
 241       \newtheorem{fact}{\protect\factname}[chapter]
 242     \fi
 243         EndPreamble
 244         LangPreamble
 245           \providecommand{\factname}{_(Fact)}
 246         EndLangPreamble
 247         BabelPreamble
 248           \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 249         EndBabelPreamble
 250         LabelCounter          fact
 251         DocBookWrapperTag     figure
 252         DocBookWrapperAttr    role='fact'
 253         DocBookTag            para
 254         DocBookGenerateTitle  true
 255 End
 256
 257
 258 Style Definition
 259         CopyStyle             Theorem
 260         LatexName             defn
 261         LabelString           "Definition \thedefinition."
 262         Font
 263           Shape               Up
 264         EndFont
 265         LabelFont
 266           Shape               Up
 267           Series              Bold
 268         EndFont
 269         Preamble
 270           \theoremstyle{definition}
 271     \ifx\thechapter\undefined
 272       \newtheorem{defn}{\protect\definitionname}
 273     \else
 274       \newtheorem{defn}{\protect\definitionname}[chapter]
 275     \fi
 276         EndPreamble
 277         LangPreamble
 278           \providecommand{\definitionname}{_(Definition)}
 279         EndLangPreamble
 280         BabelPreamble
 281           \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 282         EndBabelPreamble
 283         LabelCounter          definition
 284         DocBookWrapperTag     figure
 285         DocBookWrapperAttr    role='definition'
 286         DocBookTag            para
 287         DocBookGenerateTitle  true
 288 End
 289
 290
 291 Style Example
 292         CopyStyle             Definition
 293         LatexName             example
 294         LabelString           "Example \theexample."
 295         Preamble
 296           \theoremstyle{definition}
 297     \ifx\thechapter\undefined
 298       \newtheorem{example}{\protect\examplename}
 299     \else
 300       \newtheorem{example}{\protect\examplename}[chapter]
 301     \fi
 302         EndPreamble
 303         Requires              amsthm
 304         LangPreamble
 305           \providecommand{\examplename}{_(Example)}
 306         EndLangPreamble
 307         BabelPreamble
 308           \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 309         EndBabelPreamble
 310         LabelCounter          example
 311         DocBookWrapperTag     informalexample
 312         DocBookTag            para
 313         DocBookAttr           ""
 314 End
 315
 316
 317 Style Problem
 318         CopyStyle             Definition
 319         LatexName             problem
 320         LabelString           "Problem \theproblem."
 321         Preamble
 322           \theoremstyle{definition}
 323     \ifx\thechapter\undefined
 324       \newtheorem{problem}{\protect\problemname}
 325     \else
 326       \newtheorem{problem}{\protect\problemname}[chapter]
 327     \fi
 328         EndPreamble
 329         Requires              amsthm
 330         LangPreamble
 331           \providecommand{\problemname}{_(Problem)}
 332         EndLangPreamble
 333         BabelPreamble
 334           \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 335         EndBabelPreamble
 336         LabelCounter          problem
 337         DocBookWrapperTag     figure
 338         DocBookWrapperAttr    role='problem'
 339         DocBookTag            para
 340         DocBookGenerateTitle  true
 341 End
 342
 343
 344 Style Exercise
 345         CopyStyle             Definition
 346         LatexName             xca
 347         LabelString           "Exercise \theexercise."
 348         Preamble
 349           \theoremstyle{definition}
 350     \ifx\thechapter\undefined
 351       \newtheorem{xca}{\protect\exercisename}
 352     \else
 353       \newtheorem{xca}{\protect\exercisename}[chapter]
 354     \fi
 355         EndPreamble
 356         Requires              amsthm
 357         LangPreamble
 358           \providecommand{\exercisename}{_(Exercise)}
 359         EndLangPreamble
 360         BabelPreamble
 361           \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 362         EndBabelPreamble
 363         LabelCounter          exercise
 364         DocBookWrapperTag     figure
 365         DocBookWrapperAttr    role='exercise'
 366         DocBookTag            para
 367         DocBookGenerateTitle  true
 368 End
 369
 370
 371 Style Solution
 372         CopyStyle             Definition
 373         LatexName             sol
 374         LabelString           "Solution \thesolution."
 375         Preamble
 376           \theoremstyle{definition}
 377     \ifx\thechapter\undefined
 378       \newtheorem{sol}{\protect\solutionname}
 379     \else
 380       \newtheorem{sol}{\protect\solutionname}[chapter]
 381     \fi
 382         EndPreamble
 383         Requires              amsthm
 384         LangPreamble
 385                 \providecommand{\solutionname}{_(Solution)}
 386         EndLangPreamble
 387         BabelPreamble
 388                 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
 389         EndBabelPreamble
 390         LabelCounter          solution
 391         DocBookWrapperTag     figure
 392         DocBookWrapperAttr    role='solution'
 393         DocBookTag            para
 394         DocBookGenerateTitle  true
 395 End
 396
 397
 398 Style Remark
 399         CopyStyle             Theorem
 400         LatexName             rem
 401         LabelString           "Remark \theremark."
 402         Font
 403           Shape               Up
 404           Size                Normal
 405         EndFont
 406         LabelFont
 407           Series              Medium
 408           Shape               Italic
 409         EndFont
 410         Preamble
 411           \theoremstyle{remark}
 412     \ifx\thechapter\undefined
 413       \newtheorem{rem}{\protect\remarkname}
 414     \else
 415       \newtheorem{rem}{\protect\remarkname}[chapter]
 416     \fi
 417         EndPreamble
 418         LangPreamble
 419           \providecommand{\remarkname}{_(Remark)}
 420         EndLangPreamble
 421         BabelPreamble
 422           \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 423         EndBabelPreamble
 424         LabelCounter          remark
 425         DocBookWrapperTag     figure
 426         DocBookWrapperAttr    role='remark'
 427         DocBookTag            para
 428         DocBookGenerateTitle  true
 429 End
 430
 431
 432 Style Claim
 433         CopyStyle             Remark
 434         LatexName             claim
 435         LabelString           "Claim \theclaim."
 436         Preamble
 437           \theoremstyle{remark}
 438     \ifx\thechapter\undefined
 439       \newtheorem{claim}{\protect\claimname}
 440     \else
 441       \newtheorem{claim}{\protect\claimname}[chapter]
 442     \fi
 443         EndPreamble
 444         Requires              amsthm
 445         LangPreamble
 446           \providecommand{\claimname}{_(Claim)}
 447         EndLangPreamble
 448         BabelPreamble
 449           \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 450         EndBabelPreamble
 451         LabelCounter          claim
 452         DocBookWrapperTag     figure
 453         DocBookWrapperAttr    role='claim'
 454         DocBookTag            para
 455         DocBookGenerateTitle  true
 456 End
 457
 458
 459 Input theorems-case.inc