lib/layouts/theorems-ams-extended-bytype.module

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