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 6
  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 # - Case (regular only -- defined as an enumeration)
  33
  34 Style Criterion
  35         CopyStyle             Theorem
  36         DependsOn             Theorem
  37         LatexName             criterion
  38         LabelString           "Criterion \thetheorem."
  39         Preamble
  40           \theoremstyle{plain}
  41           \newtheorem{criterion}[thm]{Criterion}
  42         EndPreamble
  43 End
  44
  45 Style Criterion*
  46         CopyStyle             Theorem*
  47         LatexName             criterion*
  48         LabelString           "Criterion."
  49         Preamble
  50           \theoremstyle{plain}
  51           \newtheorem*{criterion*}{Criterion}
  52         EndPreamble
  53 End
  54
  55
  56 Style Algorithm
  57         CopyStyle             Theorem
  58         DependsOn             Theorem
  59         LatexName             algorithm
  60         LabelString           "Algorithm \thetheorem."
  61         Preamble
  62           \theoremstyle{plain}
  63           \newtheorem{algorithm}[thm]{Algorithm}
  64         EndPreamble
  65 End
  66
  67
  68 Style Algorithm*
  69         CopyStyle             Theorem*
  70         LatexName             algorithm*
  71         LabelString           "Algorithm."
  72         Preamble
  73           \theoremstyle{plain}
  74           \newtheorem*{algorithm*}{Algorithm}
  75         EndPreamble
  76 End
  77
  78
  79 Style Axiom
  80         CopyStyle             Theorem
  81         DependsOn             Theorem
  82         LatexName             ax
  83         LabelString           "Axiom \thetheorem."
  84         Preamble
  85           \theoremstyle{plain}
  86           \newtheorem{ax}[thm]{Axiom}
  87         EndPreamble
  88 End
  89
  90
  91 Style Axiom*
  92         CopyStyle             Theorem*
  93         LatexName             ax*
  94         LabelString           "Axiom."
  95         Preamble
  96           \theoremstyle{plain}
  97           \newtheorem*{ax*}{Axiom}
  98         EndPreamble
  99 End
 100
 101
 102 Style Condition
 103         CopyStyle             Definition
 104         LatexName             condition
 105         LabelString           "Condition \thetheorem."
 106         Preamble
 107           \theoremstyle{definition}
 108           \newtheorem{condition}[thm]{Condition}
 109         EndPreamble
 110 End
 111
 112
 113 Style Condition*
 114         CopyStyle             Definition*
 115         LatexName             condition*
 116         LabelString           "Condition."
 117         Preamble
 118           \theoremstyle{definition}
 119           \newtheorem*{condition*}{Condition}
 120         EndPreamble
 121 End
 122
 123
 124 Style Note
 125         CopyStyle             Remark
 126         LatexName             note
 127         LabelString           "Note \thetheorem."
 128         Preamble
 129           \theoremstyle{remark}
 130           \newtheorem{note}[thm]{Note}
 131         EndPreamble
 132 End
 133
 134
 135 Style Note*
 136         CopyStyle             Remark*
 137         LatexName             note*
 138         LabelString           "Note."
 139         Preamble
 140           \theoremstyle{remark}
 141           \newtheorem*{note*}{Note}
 142         EndPreamble
 143 End
 144
 145
 146 Style Notation
 147         CopyStyle             Remark
 148         LatexName             notation
 149         LabelString           "Notation \thetheorem."
 150         Preamble
 151           \theoremstyle{remark}
 152           \newtheorem{notation}[thm]{Notation}
 153         EndPreamble
 154 End
 155
 156
 157 Style Notation*
 158         CopyStyle             Remark*
 159         LatexName             notation*
 160         LabelString           "Notation."
 161         Preamble
 162           \theoremstyle{remark}
 163           \newtheorem*{notation*}{Notation}
 164         EndPreamble
 165 End
 166
 167
 168 Style Summary
 169         CopyStyle             Remark
 170         LatexName             summary
 171         LabelString           "Summary \thetheorem."
 172         Preamble
 173           \theoremstyle{remark}
 174           \newtheorem{summary}[thm]{Summary}
 175         EndPreamble
 176 End
 177
 178
 179 Style Summary*
 180         CopyStyle             Remark*
 181         LatexName             summary*
 182         LabelString           "Summary."
 183         Preamble
 184           \theoremstyle{remark}
 185           \newtheorem*{summary*}{Summary}
 186         EndPreamble
 187 End
 188
 189
 190 Style Acknowledgement
 191         CopyStyle             Remark
 192         LatexName             acknowledgement
 193         LabelString           "Acknowledgement \thetheorem."
 194         Preamble
 195           \theoremstyle{remark}
 196           \newtheorem{acknowledgement}[thm]{Acknowledgement}
 197         EndPreamble
 198 End
 199
 200
 201 Style Acknowledgement*
 202         CopyStyle             Remark*
 203         LatexName             acknowledgement*
 204         LabelString           "Acknowledgement."
 205         Preamble
 206           \theoremstyle{remark}
 207           \newtheorem*{acknowledgement*}{Acknowledgement}
 208         EndPreamble
 209 End
 210
 211
 212 Style Conclusion
 213         CopyStyle             Remark
 214         LatexName             conclusion
 215         LabelString           "Conclusion \thetheorem."
 216         Preamble
 217           \theoremstyle{remark}
 218           \newtheorem{conclusion}[thm]{Conclusion}
 219         EndPreamble
 220 End
 221
 222
 223 Style Conclusion*
 224         CopyStyle             Remark*
 225         LatexName             conclusion*
 226         LabelString           "Conclusion."
 227         Preamble
 228           \theoremstyle{remark}
 229           \newtheorem*{conclusion*}{Conclusion}
 230         EndPreamble
 231 End
 232
 233
 234 Style Assumption
 235         CopyStyle             Theorem
 236         DependsOn             Theorem
 237         LatexName             assumption
 238         LabelString           "Assumption \thetheorem."
 239         Preamble
 240           \theoremstyle{plain}
 241           \newtheorem{assumption}[thm]{Assumption}
 242         EndPreamble
 243 End
 244
 245
 246 Style Assumption*
 247         CopyStyle             Theorem*
 248         LatexName             assumption*
 249         LabelString           "Assumption."
 250         Preamble
 251           \theoremstyle{plain}
 252           \newtheorem*{assumption*}{Assumption}
 253         EndPreamble
 254 End
 255
 256
 257 # Define Case as an enumeration environment
 258 Style Case
 259         CopyStyle             Enumerate
 260         LatexName             caseenv
 261         LabelType             Static
 262         LeftMargin            "MMMMMMN"
 263         LabelString           "Case #:"
 264         Preamble
 265           \newcounter{casectr}
 266           \newenvironment{caseenv}
 267 {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
 268 {\end{list}}
 269         EndPreamble
 270 End
 271