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

   1 #\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type within Chapters)}
   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, restarted with each
  10 #new chapter (e.g., criterion 1.1, criterion 1.2, axiom 1.1, assumption 1.1, #criterion 2.1, criterion 2.2, axiom 2.1..., as opposed to criterion 1,
  11 #criterion 2, axiom 3, assumption 4...)
  12 #DescriptionEnd
  13 #Requires: theorems-ams-chap-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 Kimberly Heck <rikiheck@lyx.org>
  20 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
  21 # Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
  22
  23 Format 95
  24
  25 Requires        amsmath
  26
  27 # The environnements defined (regular and starred) are :
  28 # - Criterion
  29 # - Algorithm
  30 # - Axiom
  31 # - Condition
  32 # - Note
  33 # - Notation
  34 # - Summary
  35 # - Acknowledgement
  36 # - Conclusion
  37 # - Assumption
  38 # - Question
  39
  40 Input theorems-counters-extended-bytype.inc
  41 Counter criterion
  42         Within chapter
  43 End
  44 Counter algorithm
  45         Within chapter
  46 End
  47 Counter axiom
  48         Within chapter
  49 End
  50 Counter condition
  51         Within chapter
  52 End
  53 Counter note
  54         Within chapter
  55 End
  56 Counter notation
  57         Within chapter
  58 End
  59 Counter summary
  60         Within chapter
  61 End
  62 Counter acknowledgement
  63         Within chapter
  64 End
  65 Counter conclusion
  66         Within chapter
  67 End
  68 Counter assumption
  69         Within chapter
  70 End
  71 Counter question
  72         Within chapter
  73 End
  74
  75
  76 # additional (AMS-extended) environments
  77
  78 Style Criterion
  79         CopyStyle             Theorem
  80         LatexName             criterion
  81         LabelString           "Criterion \thecriterion."
  82         Preamble
  83           \theoremstyle{plain}
  84     \ifx\thechapter\undefined
  85       \newtheorem{criterion}{\protect\criterionname}
  86     \else
  87       \newtheorem{criterion}{\protect\criterionname}[chapter]
  88     \fi
  89         EndPreamble
  90         LangPreamble
  91           \providecommand{\criterionname}{_(Criterion)}
  92         EndLangPreamble
  93         BabelPreamble
  94           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
  95         EndBabelPreamble
  96         LabelCounter          criterion
  97         DocBookTag            para
  98         DocBookAttr           role='criterion'
  99         DocBookItemTag        ""
 100 End
 101
 102
 103 Style Criterion*
 104         CopyStyle             Theorem*
 105         LatexName             criterion*
 106         LabelString           "Criterion."
 107         Preamble
 108           \theoremstyle{plain}
 109           \newtheorem*{criterion*}{\protect\criterionname}
 110         EndPreamble
 111         LangPreamble
 112           \providecommand{\criterionname}{_(Criterion)}
 113         EndLangPreamble
 114         BabelPreamble
 115           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
 116         EndBabelPreamble
 117         DocBookTag            para
 118         DocBookAttr           role='criterion'
 119         DocBookItemTag        ""
 120 End
 121
 122
 123 Style Algorithm
 124         CopyStyle             Theorem
 125         LatexName             lyxalgorithm
 126         LabelString           "Algorithm \thealgorithm."
 127         Preamble
 128           \theoremstyle{plain}
 129     \ifx\thechapter\undefined
 130       \newtheorem{lyxalgorithm}{\protect\algorithmname}
 131     \else
 132       \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
 133     \fi
 134         EndPreamble
 135         LangPreamble
 136           \providecommand{\algorithmname}{_(Algorithm)}
 137         EndLangPreamble
 138         BabelPreamble
 139           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
 140         EndBabelPreamble
 141         LabelCounter          algorithm
 142         DocBookTag            para
 143         DocBookAttr           role='algorithm'
 144         DocBookItemTag        ""
 145 End
 146
 147
 148 Style Algorithm*
 149         CopyStyle             Theorem*
 150         LatexName             lyxalgorithm*
 151         LabelString           "Algorithm."
 152         Preamble
 153           \theoremstyle{plain}
 154           \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
 155         EndPreamble
 156         LangPreamble
 157           \providecommand{\algorithmname}{_(Algorithm)}
 158         EndLangPreamble
 159         BabelPreamble
 160           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
 161         EndBabelPreamble
 162         DocBookTag            para
 163         DocBookAttr           role='algorithm'
 164         DocBookItemTag        ""
 165 End
 166
 167
 168 Style Axiom
 169         CopyStyle             Theorem
 170         LatexName             ax
 171         LabelString           "Axiom \theaxiom."
 172         Preamble
 173           \theoremstyle{plain}
 174     \ifx\thechapter\undefined
 175       \newtheorem{ax}{\protect\axiomname}
 176     \else
 177       \newtheorem{ax}{\protect\axiomname}[chapter]
 178     \fi
 179         EndPreamble
 180         LangPreamble
 181           \providecommand{\axiomname}{_(Axiom)}
 182         EndLangPreamble
 183         BabelPreamble
 184           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 185         EndBabelPreamble
 186         LabelCounter          axiom
 187         DocBookTag            para
 188         DocBookAttr           role='axiom'
 189         DocBookItemTag        ""
 190 End
 191
 192
 193 Style Axiom*
 194         CopyStyle             Theorem*
 195         LatexName             ax*
 196         LabelString           "Axiom."
 197         Preamble
 198           \theoremstyle{plain}
 199           \newtheorem*{ax*}{\protect\axiomname}
 200         EndPreamble
 201         LangPreamble
 202           \providecommand{\axiomname}{_(Axiom)}
 203         EndLangPreamble
 204         BabelPreamble
 205           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 206         EndBabelPreamble
 207         DocBookTag            para
 208         DocBookAttr           role='axiom'
 209         DocBookItemTag        ""
 210 End
 211
 212
 213 Style Condition
 214         CopyStyle             Definition
 215         LatexName             condition
 216         LabelString           "Condition \thecondition."
 217         Preamble
 218           \theoremstyle{definition}
 219     \ifx\thechapter\undefined
 220       \newtheorem{condition}{\protect\conditionname}
 221     \else
 222       \newtheorem{condition}{\protect\conditionname}[chapter]
 223     \fi
 224         EndPreamble
 225         LangPreamble
 226           \providecommand{\conditionname}{_(Condition)}
 227         EndLangPreamble
 228         BabelPreamble
 229           \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 230         EndBabelPreamble
 231         LabelCounter          condition
 232         DocBookTag            para
 233         DocBookAttr           role='condition'
 234         DocBookItemTag        ""
 235 End
 236
 237
 238 Style Condition*
 239         CopyStyle             Definition*
 240         LatexName             condition*
 241         LabelString           "Condition."
 242         Preamble
 243           \theoremstyle{definition}
 244           \newtheorem*{condition*}{\protect\conditionname}
 245         EndPreamble
 246         LangPreamble
 247           \providecommand{\conditionname}{_(Condition)}
 248         EndLangPreamble
 249         BabelPreamble
 250           \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 251         EndBabelPreamble
 252         DocBookTag            para
 253         DocBookAttr           role='condition'
 254         DocBookItemTag        ""
 255 End
 256
 257
 258 Style Note
 259         CopyStyle             Remark
 260         LatexName             note
 261         LabelString           "Note \thenote."
 262         Preamble
 263           \theoremstyle{remark}
 264     \ifx\thechapter\undefined
 265       \newtheorem{note}{\protect\notename}
 266     \else
 267       \newtheorem{note}{\protect\notename}[chapter]
 268     \fi
 269         EndPreamble
 270         LangPreamble
 271           \providecommand{\notename}{_(Note)}
 272         EndLangPreamble
 273         BabelPreamble
 274           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 275         EndBabelPreamble
 276         LabelCounter          note
 277         DocBookTag            note
 278         DocBookItemTag        para
 279 End
 280
 281
 282 Style Note*
 283         CopyStyle             Remark*
 284         LatexName             note*
 285         LabelString           "Note."
 286         Preamble
 287           \theoremstyle{remark}
 288           \newtheorem*{note*}{\protect\notename}
 289         EndPreamble
 290         LangPreamble
 291           \providecommand{\notename}{_(Note)}
 292         EndLangPreamble
 293         BabelPreamble
 294           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 295         EndBabelPreamble
 296         DocBookTag            note
 297         DocBookItemTag        para
 298 End
 299
 300
 301 Style Notation
 302         CopyStyle             Remark
 303         LatexName             notation
 304         LabelString           "Notation \thenotation."
 305         Preamble
 306           \theoremstyle{remark}
 307     \ifx\thechapter\undefined
 308       \newtheorem{notation}{\protect\notationname}
 309     \else
 310       \newtheorem{notation}{\protect\notationname}[chapter]
 311     \fi
 312         EndPreamble
 313         LangPreamble
 314           \providecommand{\notationname}{_(Notation)}
 315         EndLangPreamble
 316         BabelPreamble
 317           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 318         EndBabelPreamble
 319         LabelCounter          notation
 320         DocBookTag            para
 321         DocBookAttr           role='notation'
 322         DocBookItemTag        ""
 323 End
 324
 325
 326 Style Notation*
 327         CopyStyle             Remark*
 328         LatexName             notation*
 329         LabelString           "Notation."
 330         Preamble
 331           \theoremstyle{remark}
 332           \newtheorem*{notation*}{\protect\notationname}
 333         EndPreamble
 334         LangPreamble
 335           \providecommand{\notationname}{_(Notation)}
 336         EndLangPreamble
 337         BabelPreamble
 338           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 339         EndBabelPreamble
 340         DocBookTag            para
 341         DocBookAttr           role='notation'
 342         DocBookItemTag        ""
 343 End
 344
 345
 346 Style Summary
 347         CopyStyle             Remark
 348         LatexName             summary
 349         LabelString           "Summary \thesummary."
 350         Preamble
 351           \theoremstyle{remark}
 352     \ifx\thechapter\undefined
 353       \newtheorem{summary}{\protect\summaryname}
 354     \fi
 355     \else
 356       \newtheorem{summary}{\protect\summaryname}[chapter]
 357     \fi
 358         EndPreamble
 359         LangPreamble
 360           \providecommand{\summaryname}{_(Summary)}
 361         EndLangPreamble
 362         BabelPreamble
 363           \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 364         EndBabelPreamble
 365         LabelCounter          summary
 366         DocBookTag            para
 367         DocBookAttr           role='summary'
 368         DocBookItemTag        ""
 369 End
 370
 371
 372 Style Summary*
 373         CopyStyle             Remark*
 374         LatexName             summary*
 375         LabelString           "Summary."
 376         Preamble
 377           \theoremstyle{remark}
 378           \newtheorem*{summary*}{\protect\summaryname}
 379         EndPreamble
 380         LangPreamble
 381           \providecommand{\summaryname}{_(Summary)}
 382         EndLangPreamble
 383         BabelPreamble
 384           \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 385         EndBabelPreamble
 386         DocBookTag            para
 387         DocBookAttr           role='summary'
 388         DocBookItemTag        ""
 389 End
 390
 391
 392 Style Acknowledgement
 393         CopyStyle             Remark
 394         LatexName             acknowledgement
 395         LabelString           "Acknowledgement \theacknowledgement."
 396         Preamble
 397           \theoremstyle{remark}
 398     \ifx\thechapter\undefined
 399       \newtheorem{acknowledgement}{\protect\acknowledgementname}
 400     \else
 401       \newtheorem{acknowledgement}{\protect\acknowledgementname}[chapter]
 402     \fi
 403         EndPreamble
 404         LangPreamble
 405           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 406         EndLangPreamble
 407         BabelPreamble
 408           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 409         EndBabelPreamble
 410         LabelCounter          acknowledgement
 411         DocBookTag            para
 412         DocBookAttr           role='acknowledgement'
 413         DocBookItemTag        ""
 414 End
 415
 416
 417 Style Acknowledgement*
 418         CopyStyle             Remark*
 419         LatexName             acknowledgement*
 420         LabelString           "Acknowledgement."
 421         Preamble
 422           \theoremstyle{remark}
 423           \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
 424         EndPreamble
 425         LangPreamble
 426           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 427         EndLangPreamble
 428         BabelPreamble
 429           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 430         EndBabelPreamble
 431         DocBookTag            para
 432         DocBookAttr           role='acknowledgement'
 433         DocBookItemTag        ""
 434 End
 435
 436
 437 Style Conclusion
 438         CopyStyle             Remark
 439         LatexName             conclusion
 440         LabelString           "Conclusion \theconclusion."
 441         Preamble
 442           \theoremstyle{remark}
 443     \ifx\thechapter\undefined
 444       \newtheorem{conclusion}{\protect\conclusionname}
 445     \else
 446       \newtheorem{conclusion}{\protect\conclusionname}[chapter]
 447     \fi
 448         EndPreamble
 449         LangPreamble
 450           \providecommand{\conclusionname}{_(Conclusion)}
 451         EndLangPreamble
 452         BabelPreamble
 453           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 454         EndBabelPreamble
 455         LabelCounter          conclusion
 456         DocBookTag            para
 457         DocBookAttr           role='conclusion'
 458         DocBookItemTag        ""
 459 End
 460
 461
 462 Style Conclusion*
 463         CopyStyle             Remark*
 464         LatexName             conclusion*
 465         LabelString           "Conclusion."
 466         Preamble
 467           \theoremstyle{remark}
 468           \newtheorem*{conclusion*}{\protect\conclusionname}
 469         EndPreamble
 470         LangPreamble
 471           \providecommand{\conclusionname}{_(Conclusion)}
 472         EndLangPreamble
 473         BabelPreamble
 474           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 475         EndBabelPreamble
 476         DocBookTag            para
 477         DocBookAttr           role='conclusion'
 478         DocBookItemTag        ""
 479 End
 480
 481
 482 Style Assumption
 483         CopyStyle             Theorem
 484         LatexName             assumption
 485         LabelString           "Assumption \theassumption."
 486         Preamble
 487           \theoremstyle{plain}
 488     \ifx\thechapter\undefined
 489       \newtheorem{assumption}{\protect\assumptionname}
 490     \else
 491       \newtheorem{assumption}{\protect\assumptionname}[chapter]
 492     \fi
 493         EndPreamble
 494         LangPreamble
 495           \providecommand{\assumptionname}{_(Assumption)}
 496         EndLangPreamble
 497         BabelPreamble
 498           \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 499         EndBabelPreamble
 500         LabelCounter          assumption
 501         DocBookTag            para
 502         DocBookAttr           role='assumption'
 503         DocBookItemTag        ""
 504 End
 505
 506
 507 Style Assumption*
 508         CopyStyle             Theorem*
 509         LatexName             assumption*
 510         LabelString           "Assumption."
 511         Preamble
 512           \theoremstyle{plain}
 513           \newtheorem*{assumption*}{\protect\assumptionname}
 514         EndPreamble
 515         LangPreamble
 516           \providecommand{\assumptionname}{_(Assumption)}
 517         EndLangPreamble
 518         BabelPreamble
 519           \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 520         EndBabelPreamble
 521         DocBookTag            para
 522         DocBookAttr           role='assumption'
 523         DocBookItemTag        ""
 524 End
 525
 526 Style Question
 527         CopyStyle             Theorem
 528         DependsOn             Theorem
 529         LatexName             question
 530         LabelString           "Question \thequestion."
 531         Preamble
 532           \theoremstyle{plain}
 533     \ifx\thechapter\undefined
 534       \newtheorem{question}{\protect\questionname}
 535     \else
 536       \newtheorem{question}{\protect\questionname}[chapter]
 537     \fi
 538         EndPreamble
 539         LangPreamble
 540           \providecommand{\questionname}{_(Question)}
 541         EndLangPreamble
 542         BabelPreamble
 543           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 544         EndBabelPreamble
 545         LabelCounter          question
 546         DocBookTag            para
 547         DocBookAttr           role='question'
 548         DocBookItemTag        ""
 549 End
 550
 551 Style Question*
 552         CopyStyle             Theorem*
 553         LatexName             question*
 554         LabelString           "Question."
 555         Preamble
 556           \theoremstyle{plain}
 557           \newtheorem*{question*}{\protect\questionname}
 558         EndPreamble
 559         LangPreamble
 560           \providecommand{\questionname}{_(Question)}
 561         EndLangPreamble
 562         BabelPreamble
 563           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 564         EndBabelPreamble
 565         DocBookTag            para
 566         DocBookAttr           role='question'
 567         DocBookItemTag        ""
 568 End
 569
 570 Input theorems-refprefix.inc