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