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