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

   1 #\DeclareLyXModule{Theorems (AMS-Extended, Numbered by Type)}
   2 #DescriptionBegin
   3 #Defines some additional theorem environments for use with the
   4 #AMS theorems packages. Includes Criterion, Algorithm, Axiom,
   5 #Condition, Note, Notation, Summary, Acknowledgement, Conclusion,
   6 #Assumption, and Case, in both numbered and non-numbered forms.
   7 #Contrary to the plain AMS-Extended module, the different theorem
   8 #types provided here each have a separate counter (e.g., criterion 1,
   9 #criterion 2, axiom 1, assumption 1, criterion 3, ...,
  10 #as opposed to criterion 1, criterion 2, axiom 3, assumption 4, ...).
  11 #DescriptionEnd
  12 #Requires: theorems-ams-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
  21 Format 11
  22
  23 Requires        amsmath
  24
  25 # The environnements defined (regular and starred) are :
  26 # - Criterion
  27 # - Algorithm
  28 # - Axiom
  29 # - Condition
  30 # - Note
  31 # - Notation
  32 # - Summary
  33 # - Acknowledgement
  34 # - Conclusion
  35 # - Assumption
  36
  37 # We need separate counters for each theorem-like style.
  38 Counter criterion
  39 End
  40 Counter algorithm
  41 End
  42 Counter axiom
  43 End
  44 Counter condition
  45 End
  46 Counter note
  47 End
  48 Counter notation
  49 End
  50 Counter summary
  51 End
  52 Counter acknowledgement
  53 End
  54 Counter conclusion
  55 End
  56 Counter assumption
  57 End
  58
  59
  60 Style Criterion
  61         CopyStyle             Theorem
  62         LatexName             criterion
  63         LabelString           "Criterion \thecriterion."
  64         Preamble
  65           \theoremstyle{plain}
  66           \newtheorem{criterion}{Criterion}
  67         EndPreamble
  68         LabelCounter          criterion
  69 End
  70
  71 Style Criterion*
  72         CopyStyle             Theorem*
  73         LatexName             criterion*
  74         LabelString           "Criterion."
  75         Preamble
  76           \theoremstyle{plain}
  77           \newtheorem*{criterion*}{Criterion}
  78         EndPreamble
  79 End
  80
  81
  82 Style Algorithm
  83         CopyStyle             Theorem
  84         LatexName             algorithm
  85         LabelString           "Algorithm \thealgorithm."
  86         Preamble
  87           \theoremstyle{plain}
  88           \newtheorem{algorithm}{Algorithm}
  89         EndPreamble
  90         LabelCounter          algorithm
  91 End
  92
  93
  94 Style Algorithm*
  95         CopyStyle             Theorem*
  96         LatexName             algorithm*
  97         LabelString           "Algorithm."
  98         Preamble
  99           \theoremstyle{plain}
 100           \newtheorem*{algorithm*}{Algorithm}
 101         EndPreamble
 102 End
 103
 104
 105 Style Axiom
 106         CopyStyle             Theorem
 107         LatexName             ax
 108         LabelString           "Axiom \theaxiom."
 109         Preamble
 110           \theoremstyle{plain}
 111           \newtheorem{ax}{Axiom}
 112         EndPreamble
 113         LabelCounter          axiom
 114 End
 115
 116
 117 Style Axiom*
 118         CopyStyle             Theorem*
 119         LatexName             ax*
 120         LabelString           "Axiom."
 121         Preamble
 122           \theoremstyle{plain}
 123           \newtheorem*{ax*}{Axiom}
 124         EndPreamble
 125 End
 126
 127
 128 Style Condition
 129         CopyStyle             Definition
 130         LatexName             condition
 131         LabelString           "Condition \thecondition."
 132         Preamble
 133           \theoremstyle{definition}
 134           \newtheorem{condition}{Condition}
 135         EndPreamble
 136         LabelCounter          condition
 137 End
 138
 139
 140 Style Condition*
 141         CopyStyle             Definition*
 142         LatexName             condition*
 143         LabelString           "Condition."
 144         Preamble
 145           \theoremstyle{definition}
 146           \newtheorem*{condition*}{Condition}
 147         EndPreamble
 148 End
 149
 150
 151 Style Note
 152         CopyStyle             Remark
 153         LatexName             note
 154         LabelString           "Note \thenote."
 155         Preamble
 156           \theoremstyle{remark}
 157           \newtheorem{note}{Note}
 158         EndPreamble
 159         LabelCounter          note
 160 End
 161
 162
 163 Style Note*
 164         CopyStyle             Remark*
 165         LatexName             note*
 166         LabelString           "Note."
 167         Preamble
 168           \theoremstyle{remark}
 169           \newtheorem*{note*}{Note}
 170         EndPreamble
 171 End
 172
 173
 174 Style Notation
 175         CopyStyle             Remark
 176         LatexName             notation
 177         LabelString           "Notation \thenotation."
 178         Preamble
 179           \theoremstyle{remark}
 180           \newtheorem{notation}{Notation}
 181         EndPreamble
 182         LabelCounter          notation
 183 End
 184
 185
 186 Style Notation*
 187         CopyStyle             Remark*
 188         LatexName             notation*
 189         LabelString           "Notation."
 190         Preamble
 191           \theoremstyle{remark}
 192           \newtheorem*{notation*}{Notation}
 193         EndPreamble
 194 End
 195
 196
 197 Style Summary
 198         CopyStyle             Remark
 199         LatexName             summary
 200         LabelString           "Summary \thesummary."
 201         Preamble
 202           \theoremstyle{remark}
 203           \newtheorem{summary}{Summary}
 204         EndPreamble
 205         LabelCounter          summary
 206 End
 207
 208
 209 Style Summary*
 210         CopyStyle             Remark*
 211         LatexName             summary*
 212         LabelString           "Summary."
 213         Preamble
 214           \theoremstyle{remark}
 215           \newtheorem*{summary*}{Summary}
 216         EndPreamble
 217 End
 218
 219
 220 Style Acknowledgement
 221         CopyStyle             Remark
 222         LatexName             acknowledgement
 223         LabelString           "Acknowledgement \theacknowledgement."
 224         Preamble
 225           \theoremstyle{remark}
 226           \newtheorem{acknowledgement}{Acknowledgement}
 227         EndPreamble
 228         LabelCounter          acknowledgement
 229 End
 230
 231
 232 Style Acknowledgement*
 233         CopyStyle             Remark*
 234         LatexName             acknowledgement*
 235         LabelString           "Acknowledgement."
 236         Preamble
 237           \theoremstyle{remark}
 238           \newtheorem*{acknowledgement*}{Acknowledgement}
 239         EndPreamble
 240 End
 241
 242
 243 Style Conclusion
 244         CopyStyle             Remark
 245         LatexName             conclusion
 246         LabelString           "Conclusion \theconclusion."
 247         Preamble
 248           \theoremstyle{remark}
 249           \newtheorem{conclusion}{Conclusion}
 250         EndPreamble
 251         LabelCounter          conclusion
 252 End
 253
 254
 255 Style Conclusion*
 256         CopyStyle             Remark*
 257         LatexName             conclusion*
 258         LabelString           "Conclusion."
 259         Preamble
 260           \theoremstyle{remark}
 261           \newtheorem*{conclusion*}{Conclusion}
 262         EndPreamble
 263 End
 264
 265
 266 Style Assumption
 267         CopyStyle             Theorem
 268         LatexName             assumption
 269         LabelString           "Assumption \theassumption."
 270         Preamble
 271           \theoremstyle{plain}
 272           \newtheorem{assumption}{Assumption}
 273         EndPreamble
 274         LabelCounter          assumption
 275 End
 276
 277
 278 Style Assumption*
 279         CopyStyle             Theorem*
 280         LatexName             assumption*
 281         LabelString           "Assumption."
 282         Preamble
 283           \theoremstyle{plain}
 284           \newtheorem*{assumption*}{Assumption}
 285         EndPreamble
 286 End