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