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

   1 #\DeclareLyXModule{AMS Theorems (Numbered by Type within Chapters)}
   2 #\DeclareCategory{Maths}
   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 82
  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         GuiName Theorem
  44 End
  45 Counter corollary
  46         GuiName Corollary
  47 End
  48 Counter lemma
  49         GuiName Lemma
  50 End
  51 Counter proposition
  52         GuiName Proposition
  53 End
  54 Counter conjecture
  55         GuiName Conjecture
  56 End
  57 Counter fact
  58         GuiName Fact
  59 End
  60 Counter definition
  61         GuiName Definition
  62 End
  63 Counter example
  64         GuiName Example
  65 End
  66 Counter solution
  67         GuiName Solution
  68 End
  69 Counter problem
  70         GuiName Problem
  71 End
  72 Counter exercise
  73         GuiName Exercise
  74 End
  75 Counter remark
  76         GuiName Remark
  77 End
  78 Counter claim
  79         GuiName Claim
  80 End
  81
  82
  83 Input theorems-order.inc
  84 Input theorems-ams-chap-bytype.inc
  85 Input theorems-starred.inc
  86 Input theorems-proof.inc