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

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