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