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