lib/layouts/theorems-ams-extended.module

   1 #\DeclareLyXModule{Theorems (AMS-Extended)}
   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 #Fact, Assumption, and Case, in both starred and non-starred forms.
   7 #DescriptionEnd
   8 #Requires: theorems-ams
   9
  10 # Original Author : David L. Johnson <dlj0@lehigh.edu>
  11 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
  12 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
  13 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
  14 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
  15
  16 Format 11
  17
  18 Requires        amsmath
  19
  20 # The environnements defined (regular and starred) are :
  21 # - Criterion
  22 # - Algorithm
  23 # - Axiom
  24 # - Condition
  25 # - Note
  26 # - Notation
  27 # - Summary
  28 # - Acknowledgement
  29 # - Conclusion
  30 # - Fact
  31 # - Assumption
  32
  33 Style Criterion
  34         CopyStyle             Theorem
  35         DependsOn                   Theorem
  36         LatexName             criterion
  37         LabelString           "Criterion \thetheorem."
  38         Preamble
  39           \theoremstyle{plain}
  40           \newtheorem{criterion}[thm]{Criterion}
  41         EndPreamble
  42 End
  43
  44 Style Criterion*
  45         CopyStyle             Theorem*
  46         LatexName             criterion*
  47         LabelString           "Criterion."
  48         Preamble
  49           \theoremstyle{plain}
  50           \newtheorem*{criterion*}{Criterion}
  51         EndPreamble
  52 End
  53
  54
  55 Style Algorithm
  56         CopyStyle             Theorem
  57         DependsOn                  Theorem
  58         LatexName             algorithm
  59         LabelString           "Algorithm \thetheorem."
  60         Preamble
  61           \theoremstyle{plain}
  62           \newtheorem{algorithm}[thm]{Algorithm}
  63         EndPreamble
  64 End
  65
  66
  67 Style Algorithm*
  68         CopyStyle             Theorem*
  69         LatexName             algorithm*
  70         LabelString           "Algorithm."
  71         Preamble
  72           \theoremstyle{plain}
  73           \newtheorem*{algorithm*}{Algorithm}
  74         EndPreamble
  75 End
  76
  77
  78 Style Axiom
  79         CopyStyle             Theorem
  80         DependsOn                   Theorem
  81         LatexName             ax
  82         LabelString           "Axiom \thetheorem."
  83         Preamble
  84           \theoremstyle{plain}
  85           \newtheorem{ax}[thm]{Axiom}
  86         EndPreamble
  87 End
  88
  89
  90 Style Axiom*
  91         CopyStyle             Theorem*
  92         LatexName             ax*
  93         LabelString           "Axiom."
  94         Preamble
  95           \theoremstyle{plain}
  96           \newtheorem*{ax*}{Axiom}
  97         EndPreamble
  98 End
  99
 100
 101 Style Condition
 102         CopyStyle             Definition
 103         LatexName             condition
 104         LabelString           "Condition \thetheorem."
 105         Preamble
 106           \theoremstyle{definition}
 107           \newtheorem{condition}[thm]{Condition}
 108         EndPreamble
 109 End
 110
 111
 112 Style Condition*
 113         CopyStyle             Definition*
 114         LatexName             condition*
 115         LabelString           "Condition."
 116         Preamble
 117           \theoremstyle{definition}
 118           \newtheorem*{condition*}{Condition}
 119         EndPreamble
 120 End
 121
 122
 123 Style Note
 124         CopyStyle             Remark
 125         LatexName             note
 126         LabelString           "Note \thetheorem."
 127         Preamble
 128           \theoremstyle{remark}
 129           \newtheorem{note}[thm]{Note}
 130         EndPreamble
 131 End
 132
 133
 134 Style Note*
 135         CopyStyle             Remark*
 136         LatexName             note*
 137         LabelString           "Note."
 138         Preamble
 139           \theoremstyle{remark}
 140           \newtheorem*{note*}{Note}
 141         EndPreamble
 142 End
 143
 144
 145 Style Notation
 146         CopyStyle             Remark
 147         LatexName             notation
 148         LabelString           "Notation \thetheorem."
 149         Preamble
 150           \theoremstyle{remark}
 151           \newtheorem{notation}[thm]{Notation}
 152         EndPreamble
 153 End
 154
 155
 156 Style Notation*
 157         CopyStyle             Remark*
 158         LatexName             notation*
 159         LabelString           "Notation."
 160         Preamble
 161           \theoremstyle{remark}
 162           \newtheorem*{notation*}{Notation}
 163         EndPreamble
 164 End
 165
 166
 167 Style Summary
 168         CopyStyle             Remark
 169         LatexName             summary
 170         LabelString           "Summary \thetheorem."
 171         Preamble
 172           \theoremstyle{remark}
 173           \newtheorem{summary}[thm]{Summary}
 174         EndPreamble
 175 End
 176
 177
 178 Style Summary*
 179         CopyStyle             Remark*
 180         LatexName             summary*
 181         LabelString           "Summary."
 182         Preamble
 183           \theoremstyle{remark}
 184           \newtheorem*{summary*}{Summary}
 185         EndPreamble
 186 End
 187
 188
 189 Style Acknowledgement
 190         CopyStyle             Remark
 191         LatexName             acknowledgement
 192         LabelString           "Acknowledgement \thetheorem."
 193         Preamble
 194           \theoremstyle{remark}
 195           \newtheorem{acknowledgement}[thm]{Acknowledgement}
 196         EndPreamble
 197 End
 198
 199
 200 Style Acknowledgement*
 201         CopyStyle             Remark*
 202         LatexName             acknowledgement*
 203         LabelString           "Acknowledgement."
 204         Preamble
 205           \theoremstyle{remark}
 206           \newtheorem*{acknowledgement*}{Acknowledgement}
 207         EndPreamble
 208 End
 209
 210
 211 Style Conclusion
 212         CopyStyle             Remark
 213         LatexName             conclusion
 214         LabelString           "Conclusion \thetheorem."
 215         Preamble
 216           \theoremstyle{remark}
 217           \newtheorem{conclusion}[thm]{Conclusion}
 218         EndPreamble
 219 End
 220
 221
 222 Style Conclusion*
 223         CopyStyle             Remark*
 224         LatexName             conclusion*
 225         LabelString           "Conclusion."
 226         Preamble
 227           \theoremstyle{remark}
 228           \newtheorem*{conclusion*}{Conclusion}
 229         EndPreamble
 230 End
 231
 232
 233 Style Assumption
 234         CopyStyle             Theorem
 235         DependsOn                   Theorem
 236         LatexName             assumption
 237         LabelString           "Assumption \thetheorem."
 238         Preamble
 239           \theoremstyle{plain}
 240           \newtheorem{assumption}[thm]{Assumption}
 241         EndPreamble
 242 End
 243
 244
 245 Style Assumption*
 246         CopyStyle             Theorem*
 247         LatexName             assumption*
 248         LabelString           "Assumption."
 249         Preamble
 250           \theoremstyle{plain}
 251           \newtheorem*{assumption*}{Assumption}
 252         EndPreamble
 253 End