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 34
  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}{\protect\criterionname}
  67         EndPreamble
  68         LangPreamble
  69           \providecommand{\criterionname}{_(Criterion)}
  70         EndLangPreamble
  71         BabelPreamble
  72           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
  73         EndBabelPreamble
  74         LabelCounter          criterion
  75 End
  76
  77 Style Criterion*
  78         CopyStyle             Theorem*
  79         LatexName             criterion*
  80         LabelString           "Criterion."
  81         Preamble
  82           \theoremstyle{plain}
  83           \newtheorem*{criterion*}{\protect\criterionname}
  84         EndPreamble
  85         LangPreamble
  86           \providecommand{\criterionname}{_(Criterion)}
  87         EndLangPreamble
  88         BabelPreamble
  89           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
  90         EndBabelPreamble
  91 End
  92
  93
  94 Style Algorithm
  95         CopyStyle             Theorem
  96         LatexName             algorithm
  97         LabelString           "Algorithm \thealgorithm."
  98         Preamble
  99           \theoremstyle{plain}
 100           \newtheorem{algorithm}{\protect\algorithmname}
 101         EndPreamble
 102         LangPreamble
 103           \providecommand{\algorithmname}{_(Algorithm)}
 104         EndLangPreamble
 105         BabelPreamble
 106           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
 107         EndBabelPreamble
 108         LabelCounter          algorithm
 109 End
 110
 111
 112 Style Algorithm*
 113         CopyStyle             Theorem*
 114         LatexName             algorithm*
 115         LabelString           "Algorithm."
 116         Preamble
 117           \theoremstyle{plain}
 118           \newtheorem*{algorithm*}{\protect\algorithmname}
 119         EndPreamble
 120         LangPreamble
 121           \providecommand{\algorithmname}{_(Algorithm)}
 122         EndLangPreamble
 123         BabelPreamble
 124           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
 125         EndBabelPreamble
 126 End
 127
 128
 129 Style Axiom
 130         CopyStyle             Theorem
 131         LatexName             ax
 132         LabelString           "Axiom \theaxiom."
 133         Preamble
 134           \theoremstyle{plain}
 135           \newtheorem{ax}{\protect\axiomname}
 136         EndPreamble
 137         LangPreamble
 138           \providecommand{\axiomname}{_(Axiom)}
 139         EndLangPreamble
 140         BabelPreamble
 141           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 142         EndBabelPreamble
 143         LabelCounter          axiom
 144 End
 145
 146
 147 Style Axiom*
 148         CopyStyle             Theorem*
 149         LatexName             ax*
 150         LabelString           "Axiom."
 151         Preamble
 152           \theoremstyle{plain}
 153           \newtheorem*{ax*}{\protect\axiomname}
 154         EndPreamble
 155         LangPreamble
 156           \providecommand{\axiomname}{_(Axiom)}
 157         EndLangPreamble
 158         BabelPreamble
 159           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 160         EndBabelPreamble
 161 End
 162
 163
 164 Style Condition
 165         CopyStyle             Definition
 166         LatexName             condition
 167         LabelString           "Condition \thecondition."
 168         Preamble
 169           \theoremstyle{definition}
 170           \newtheorem{condition}{\protect\conditionname}
 171         EndPreamble
 172         LangPreamble
 173           \providecommand{\conditionname}{_(Condition)}
 174         EndLangPreamble
 175         BabelPreamble
 176           \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 177         EndBabelPreamble
 178         LabelCounter          condition
 179 End
 180
 181
 182 Style Condition*
 183         CopyStyle             Definition*
 184         LatexName             condition*
 185         LabelString           "Condition."
 186         Preamble
 187           \theoremstyle{definition}
 188           \newtheorem*{condition*}{\protect\conditionname}
 189         EndPreamble
 190         LangPreamble
 191           \providecommand{\conditionname}{_(Condition)}
 192         EndLangPreamble
 193         BabelPreamble
 194           \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 195         EndBabelPreamble
 196 End
 197
 198
 199 Style Note
 200         CopyStyle             Remark
 201         LatexName             note
 202         LabelString           "Note \thenote."
 203         Preamble
 204           \theoremstyle{remark}
 205           \newtheorem{note}{\protect\notename}
 206         EndPreamble
 207         LangPreamble
 208           \providecommand{\notename}{_(Note)}
 209         EndLangPreamble
 210         BabelPreamble
 211           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 212         EndBabelPreamble
 213         LabelCounter          note
 214 End
 215
 216
 217 Style Note*
 218         CopyStyle             Remark*
 219         LatexName             note*
 220         LabelString           "Note."
 221         Preamble
 222           \theoremstyle{remark}
 223           \newtheorem*{note*}{\protect\notename}
 224         EndPreamble
 225         LangPreamble
 226           \providecommand{\notename}{_(Note)}
 227         EndLangPreamble
 228         BabelPreamble
 229           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 230         EndBabelPreamble
 231 End
 232
 233
 234 Style Notation
 235         CopyStyle             Remark
 236         LatexName             notation
 237         LabelString           "Notation \thenotation."
 238         Preamble
 239           \theoremstyle{remark}
 240           \newtheorem{notation}{\protect\notationname}
 241         EndPreamble
 242         LangPreamble
 243           \providecommand{\notationname}{_(Notation)}
 244         EndLangPreamble
 245         BabelPreamble
 246           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 247         EndBabelPreamble
 248         LabelCounter          notation
 249 End
 250
 251
 252 Style Notation*
 253         CopyStyle             Remark*
 254         LatexName             notation*
 255         LabelString           "Notation."
 256         Preamble
 257           \theoremstyle{remark}
 258           \newtheorem*{notation*}{\protect\notationname}
 259         EndPreamble
 260         LangPreamble
 261           \providecommand{\notationname}{_(Notation)}
 262         EndLangPreamble
 263         BabelPreamble
 264           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 265         EndBabelPreamble
 266 End
 267
 268
 269 Style Summary
 270         CopyStyle             Remark
 271         LatexName             summary
 272         LabelString           "Summary \thesummary."
 273         Preamble
 274           \theoremstyle{remark}
 275           \newtheorem{summary}{\protect\summaryname}
 276         EndPreamble
 277         LangPreamble
 278           \providecommand{\summaryname}{_(Summary)}
 279         EndLangPreamble
 280         BabelPreamble
 281           \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 282         EndBabelPreamble
 283         LabelCounter          summary
 284 End
 285
 286
 287 Style Summary*
 288         CopyStyle             Remark*
 289         LatexName             summary*
 290         LabelString           "Summary."
 291         Preamble
 292           \theoremstyle{remark}
 293           \newtheorem*{summary*}{\protect\summaryname}
 294         EndPreamble
 295         LangPreamble
 296           \providecommand{\summaryname}{_(Summary)}
 297         EndLangPreamble
 298         BabelPreamble
 299           \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 300         EndBabelPreamble
 301 End
 302
 303
 304 Style Acknowledgement
 305         CopyStyle             Remark
 306         LatexName             acknowledgement
 307         LabelString           "Acknowledgement \theacknowledgement."
 308         Preamble
 309           \theoremstyle{remark}
 310           \newtheorem{acknowledgement}{\protect\acknowledgementname}
 311         EndPreamble
 312         LangPreamble
 313           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 314         EndLangPreamble
 315         BabelPreamble
 316           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 317         EndBabelPreamble
 318         LabelCounter          acknowledgement
 319 End
 320
 321
 322 Style Acknowledgement*
 323         CopyStyle             Remark*
 324         LatexName             acknowledgement*
 325         LabelString           "Acknowledgement."
 326         Preamble
 327           \theoremstyle{remark}
 328           \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
 329         EndPreamble
 330         LangPreamble
 331           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 332         EndLangPreamble
 333         BabelPreamble
 334           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 335         EndBabelPreamble
 336 End
 337
 338
 339 Style Conclusion
 340         CopyStyle             Remark
 341         LatexName             conclusion
 342         LabelString           "Conclusion \theconclusion."
 343         Preamble
 344           \theoremstyle{remark}
 345           \newtheorem{conclusion}{\protect\conclusionname}
 346         EndPreamble
 347         LangPreamble
 348           \providecommand{\conclusionname}{_(Conclusion)}
 349         EndLangPreamble
 350         BabelPreamble
 351           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 352         EndBabelPreamble
 353         LabelCounter          conclusion
 354 End
 355
 356
 357 Style Conclusion*
 358         CopyStyle             Remark*
 359         LatexName             conclusion*
 360         LabelString           "Conclusion."
 361         Preamble
 362           \theoremstyle{remark}
 363           \newtheorem*{conclusion*}{\protect\conclusionname}
 364         EndPreamble
 365         LangPreamble
 366           \providecommand{\conclusionname}{_(Conclusion)}
 367         EndLangPreamble
 368         BabelPreamble
 369           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 370         EndBabelPreamble
 371 End
 372
 373
 374 Style Assumption
 375         CopyStyle             Theorem
 376         LatexName             assumption
 377         LabelString           "Assumption \theassumption."
 378         Preamble
 379           \theoremstyle{plain}
 380           \newtheorem{assumption}{\protect\assumptionname}
 381         EndPreamble
 382         LangPreamble
 383           \providecommand{\assumptionname}{_(Assumption)}
 384         EndLangPreamble
 385         BabelPreamble
 386           \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 387         EndBabelPreamble
 388         LabelCounter          assumption
 389 End
 390
 391
 392 Style Assumption*
 393         CopyStyle             Theorem*
 394         LatexName             assumption*
 395         LabelString           "Assumption."
 396         Preamble
 397           \theoremstyle{plain}
 398           \newtheorem*{assumption*}{\protect\assumptionname}
 399         EndPreamble
 400         LangPreamble
 401           \providecommand{\assumptionname}{_(Assumption)}
 402         EndLangPreamble
 403         BabelPreamble
 404           \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 405         EndBabelPreamble
 406 End