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