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