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