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