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