lib/layouts/theorems-ams-chap-bytype.module

   1 #\DeclareLyXModule{Theorems (AMS, Numbered by Type within Chapters)}
   2 #DescriptionBegin
   3 #Defines theorem environments and the proof environment using the extended
   4 #AMS machinery. Both numbered and unnumbered types are provided. Contrary to the
   5 #plain AMS Theorem module, the different theorem types provided here each have
   6 #a separate counter (e.g., theorem 1.1, theorem 1.2, lemma 1.1, proposition 1.1,
   7 #theorem 1.3, lemma 1.2, ..., as opposed to theorem 1, theorem 2, lemma 3,
   8 #proposition 4, ...). The numbering restarts for each chapter: theorem 1.1,
   9 #theorem 2.1, ...
  10 #DescriptionEnd
  11 #Excludes: theorems-std | theorems-starred | theorems-ams | theorems-bytype
  12
  13 # Original Author : David L. Johnson <dlj0@lehigh.edu>
  14 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
  15 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
  16 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
  17 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
  18 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
  19 # Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
  20
  21 Format 68
  22
  23 Requires        amsmath,amsthm
  24
  25 # The environments defined (regular and starred) are :
  26 # - theorem
  27 # - corollary
  28 # - lemma
  29 # - proposition
  30 # - conjecture
  31 # - fact
  32 # - definition
  33 # - example
  34 # - solution
  35 # - problem
  36 # - exercise
  37 # - remark
  38 # - claim
  39
  40 # We need separate counters for each theorem-like style.
  41 Counter theorem
  42 End
  43 Counter corollary
  44 End
  45 Counter lemma
  46 End
  47 Counter proposition
  48 End
  49 Counter conjecture
  50 End
  51 Counter fact
  52 End
  53 Counter definition
  54 End
  55 Counter example
  56 End
  57 Counter solution
  58 End
  59 Counter problem
  60 End
  61 Counter exercise
  62 End
  63 Counter remark
  64 End
  65 Counter claim
  66 End
  67
  68
  69 Input theorems-order.inc
  70 Input theorems-ams-chap-bytype.inc
  71 Input theorems-starred.inc
  72 Input theorems-proof.inc