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

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