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 numbered and non-numbered
   7 #forms.
   8 #DescriptionEnd
   9 #Requires: theorems-ams
  10 #Category: theorems
  11
  12 # Original Author : David L. Johnson <dlj0@lehigh.edu>
  13 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
  14 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
  15 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
  16 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
  17
  18 Format 66
  19
  20 Requires        amsmath
  21
  22 # The environments defined (regular and starred) are :
  23 # - Criterion
  24 # - Algorithm
  25 # - Axiom
  26 # - Condition
  27 # - Note
  28 # - Notation
  29 # - Summary
  30 # - Acknowledgement
  31 # - Conclusion
  32 # - Fact
  33 # - Assumption
  34 # - Question
  35
  36 Style Criterion
  37         CopyStyle             Theorem
  38         DependsOn                   Theorem
  39         LatexName             criterion
  40         LabelString           "Criterion \thetheorem."
  41         Preamble
  42           \theoremstyle{plain}
  43           \newtheorem{criterion}[thm]{\protect\criterionname}
  44         EndPreamble
  45         LangPreamble
  46           \providecommand{\criterionname}{_(Criterion)}
  47         EndLangPreamble
  48         BabelPreamble
  49           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
  50         EndBabelPreamble
  51 End
  52
  53 Style Criterion*
  54         CopyStyle             Theorem*
  55         LatexName             criterion*
  56         LabelString           "Criterion."
  57         Preamble
  58           \theoremstyle{plain}
  59           \newtheorem*{criterion*}{\protect\criterionname}
  60         EndPreamble
  61         LangPreamble
  62           \providecommand{\criterionname}{_(Criterion)}
  63         EndLangPreamble
  64         BabelPreamble
  65           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
  66         EndBabelPreamble
  67 End
  68
  69
  70 Style Algorithm
  71         CopyStyle             Theorem
  72         DependsOn                  Theorem
  73         LatexName             lyxalgorithm
  74         LabelString           "Algorithm \thetheorem."
  75         Preamble
  76           \theoremstyle{plain}
  77           \newtheorem{lyxalgorithm}[thm]{\protect\algorithmname}
  78         EndPreamble
  79         LangPreamble
  80           \providecommand{\algorithmname}{_(Algorithm)}
  81         EndLangPreamble
  82         BabelPreamble
  83           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
  84         EndBabelPreamble
  85 End
  86
  87
  88 Style Algorithm*
  89         CopyStyle             Theorem*
  90         LatexName             lyxalgorithm*
  91         LabelString           "Algorithm."
  92         Preamble
  93           \theoremstyle{plain}
  94           \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
  95         EndPreamble
  96         LangPreamble
  97           \providecommand{\algorithmname}{_(Algorithm)}
  98         EndLangPreamble
  99         BabelPreamble
 100           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
 101         EndBabelPreamble
 102 End
 103
 104
 105 Style Axiom
 106         CopyStyle             Theorem
 107         DependsOn                   Theorem
 108         LatexName             ax
 109         LabelString           "Axiom \thetheorem."
 110         Preamble
 111           \theoremstyle{plain}
 112           \newtheorem{ax}[thm]{\protect\axiomname}
 113         EndPreamble
 114         LangPreamble
 115           \providecommand{\axiomname}{_(Axiom)}
 116         EndLangPreamble
 117         BabelPreamble
 118           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 119         EndBabelPreamble
 120 End
 121
 122
 123 Style Axiom*
 124         CopyStyle             Theorem*
 125         LatexName             ax*
 126         LabelString           "Axiom."
 127         Preamble
 128           \theoremstyle{plain}
 129           \newtheorem*{ax*}{\protect\axiomname}
 130         EndPreamble
 131         LangPreamble
 132           \providecommand{\axiomname}{_(Axiom)}
 133         EndLangPreamble
 134         BabelPreamble
 135           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 136         EndBabelPreamble
 137 End
 138
 139
 140 Style Condition
 141         CopyStyle             Definition
 142         LatexName             condition
 143         LabelString           "Condition \thetheorem."
 144         Preamble
 145           \theoremstyle{definition}
 146           \newtheorem{condition}[thm]{\protect\conditionname}
 147         EndPreamble
 148         LangPreamble
 149           \providecommand{\conditionname}{_(Condition)}
 150         EndLangPreamble
 151         BabelPreamble
 152           \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 153         EndBabelPreamble
 154 End
 155
 156
 157 Style Condition*
 158         CopyStyle             Definition*
 159         LatexName             condition*
 160         LabelString           "Condition."
 161         Preamble
 162           \theoremstyle{definition}
 163           \newtheorem*{condition*}{\protect\conditionname}
 164         EndPreamble
 165         LangPreamble
 166           \providecommand{\conditionname}{_(Condition)}
 167         EndLangPreamble
 168         BabelPreamble
 169           \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 170         EndBabelPreamble
 171 End
 172
 173
 174 Style Note
 175         CopyStyle             Remark
 176         LatexName             note
 177         LabelString           "Note \thetheorem."
 178         Preamble
 179           \theoremstyle{remark}
 180           \newtheorem{note}[thm]{\protect\notename}
 181         EndPreamble
 182         LangPreamble
 183           \providecommand{\notename}{_(Note)}
 184         EndLangPreamble
 185         BabelPreamble
 186           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 187         EndBabelPreamble
 188 End
 189
 190
 191 Style Note*
 192         CopyStyle             Remark*
 193         LatexName             note*
 194         LabelString           "Note."
 195         Preamble
 196           \theoremstyle{remark}
 197           \newtheorem*{note*}{\protect\notename}
 198         EndPreamble
 199         LangPreamble
 200           \providecommand{\notename}{_(Note)}
 201         EndLangPreamble
 202         BabelPreamble
 203           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 204         EndBabelPreamble
 205 End
 206
 207
 208 Style Notation
 209         CopyStyle             Remark
 210         LatexName             notation
 211         LabelString           "Notation \thetheorem."
 212         Preamble
 213           \theoremstyle{remark}
 214           \newtheorem{notation}[thm]{\protect\notationname}
 215         EndPreamble
 216         LangPreamble
 217           \providecommand{\notationname}{_(Notation)}
 218         EndLangPreamble
 219         BabelPreamble
 220           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 221         EndBabelPreamble
 222 End
 223
 224
 225 Style Notation*
 226         CopyStyle             Remark*
 227         LatexName             notation*
 228         LabelString           "Notation."
 229         Preamble
 230           \theoremstyle{remark}
 231           \newtheorem*{notation*}{\protect\notationname}
 232         EndPreamble
 233         LangPreamble
 234           \providecommand{\notationname}{_(Notation)}
 235         EndLangPreamble
 236         BabelPreamble
 237           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 238         EndBabelPreamble
 239 End
 240
 241
 242 Style Summary
 243         CopyStyle             Remark
 244         LatexName             summary
 245         LabelString           "Summary \thetheorem."
 246         Preamble
 247           \theoremstyle{remark}
 248           \newtheorem{summary}[thm]{\protect\summaryname}
 249         EndPreamble
 250         LangPreamble
 251           \providecommand{\summaryname}{_(Summary)}
 252         EndLangPreamble
 253         BabelPreamble
 254           \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 255         EndBabelPreamble
 256 End
 257
 258
 259 Style Summary*
 260         CopyStyle             Remark*
 261         LatexName             summary*
 262         LabelString           "Summary."
 263         Preamble
 264           \theoremstyle{remark}
 265           \newtheorem*{summary*}{\protect\summaryname}
 266         EndPreamble
 267         LangPreamble
 268           \providecommand{\summaryname}{_(Summary)}
 269         EndLangPreamble
 270         BabelPreamble
 271           \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 272         EndBabelPreamble
 273 End
 274
 275
 276 Style Acknowledgement
 277         CopyStyle             Remark
 278         LatexName             acknowledgement
 279         LabelString           "Acknowledgement \thetheorem."
 280         Preamble
 281           \theoremstyle{remark}
 282           \newtheorem{acknowledgement}[thm]{\protect\acknowledgementname}
 283         EndPreamble
 284         LangPreamble
 285           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 286         EndLangPreamble
 287         BabelPreamble
 288           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 289         EndBabelPreamble
 290 End
 291
 292
 293 Style Acknowledgement*
 294         CopyStyle             Remark*
 295         LatexName             acknowledgement*
 296         LabelString           "Acknowledgement."
 297         Preamble
 298           \theoremstyle{remark}
 299           \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
 300         EndPreamble
 301         LangPreamble
 302           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 303         EndLangPreamble
 304         BabelPreamble
 305           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 306         EndBabelPreamble
 307 End
 308
 309
 310 Style Conclusion
 311         CopyStyle             Remark
 312         LatexName             conclusion
 313         LabelString           "Conclusion \thetheorem."
 314         Preamble
 315           \theoremstyle{remark}
 316           \newtheorem{conclusion}[thm]{\protect\conclusionname}
 317         EndPreamble
 318         LangPreamble
 319           \providecommand{\conclusionname}{_(Conclusion)}
 320         EndLangPreamble
 321         BabelPreamble
 322           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 323         EndBabelPreamble
 324 End
 325
 326
 327 Style Conclusion*
 328         CopyStyle             Remark*
 329         LatexName             conclusion*
 330         LabelString           "Conclusion."
 331         Preamble
 332           \theoremstyle{remark}
 333           \newtheorem*{conclusion*}{\protect\conclusionname}
 334         EndPreamble
 335         LangPreamble
 336           \providecommand{\conclusionname}{_(Conclusion)}
 337         EndLangPreamble
 338         BabelPreamble
 339           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 340         EndBabelPreamble
 341 End
 342
 343
 344 Style Assumption
 345         CopyStyle             Theorem
 346         DependsOn                   Theorem
 347         LatexName             assumption
 348         LabelString           "Assumption \thetheorem."
 349         Preamble
 350           \theoremstyle{plain}
 351           \newtheorem{assumption}[thm]{\protect\assumptionname}
 352         EndPreamble
 353         LangPreamble
 354           \providecommand{\assumptionname}{_(Assumption)}
 355         EndLangPreamble
 356         BabelPreamble
 357           \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 358         EndBabelPreamble
 359 End
 360
 361
 362 Style Assumption*
 363         CopyStyle             Theorem*
 364         LatexName             assumption*
 365         LabelString           "Assumption."
 366         Preamble
 367           \theoremstyle{plain}
 368           \newtheorem*{assumption*}{\protect\assumptionname}
 369         EndPreamble
 370         LangPreamble
 371           \providecommand{\assumptionname}{_(Assumption)}
 372         EndLangPreamble
 373         BabelPreamble
 374           \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 375         EndBabelPreamble
 376 End
 377
 378 Style Question
 379         CopyStyle             Theorem
 380         DependsOn             Theorem
 381         LatexName             question
 382         LabelString           "Question \thetheorem."
 383         Preamble
 384           \theoremstyle{plain}
 385           \newtheorem{question}[thm]{\protect\questionname}
 386         EndPreamble
 387         LangPreamble
 388           \providecommand{\questionname}{_(Question)}
 389         EndLangPreamble
 390         BabelPreamble
 391           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 392         EndBabelPreamble
 393 End
 394
 395 Style Question*
 396         CopyStyle             Theorem*
 397         LatexName             question*
 398         LabelString           "Question."
 399         Preamble
 400           \theoremstyle{plain}
 401           \newtheorem*{question*}{\protect\questionname}
 402         EndPreamble
 403         LangPreamble
 404           \providecommand{\questionname}{_(Question)}
 405         EndLangPreamble
 406         BabelPreamble
 407           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 408         EndBabelPreamble
 409 End
 410
 411 Input theorems-refprefix.inc