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