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