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 End
  91
  92 Style Criterion*
  93         CopyStyle             Theorem*
  94         LatexName             criterion*
  95         LabelString           "Criterion."
  96         Preamble
  97           \theoremstyle{plain}
  98           \newtheorem*{criterion*}{\protect\criterionname}
  99         EndPreamble
 100         LangPreamble
 101           \providecommand{\criterionname}{_(Criterion)}
 102         EndLangPreamble
 103         BabelPreamble
 104           \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
 105         EndBabelPreamble
 106 End
 107
 108
 109 Style Algorithm
 110         CopyStyle             Theorem
 111         LatexName             lyxalgorithm
 112         LabelString           "Algorithm \thealgorithm."
 113         Preamble
 114           \theoremstyle{plain}
 115           \newtheorem{lyxalgorithm}{\protect\algorithmname}
 116         EndPreamble
 117         LangPreamble
 118           \providecommand{\algorithmname}{_(Algorithm)}
 119         EndLangPreamble
 120         BabelPreamble
 121           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
 122         EndBabelPreamble
 123         LabelCounter          algorithm
 124 End
 125
 126
 127 Style Algorithm*
 128         CopyStyle             Theorem*
 129         LatexName             lyxalgorithm*
 130         LabelString           "Algorithm."
 131         Preamble
 132           \theoremstyle{plain}
 133           \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
 134         EndPreamble
 135         LangPreamble
 136           \providecommand{\algorithmname}{_(Algorithm)}
 137         EndLangPreamble
 138         BabelPreamble
 139           \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
 140         EndBabelPreamble
 141 End
 142
 143
 144 Style Axiom
 145         CopyStyle             Theorem
 146         LatexName             ax
 147         LabelString           "Axiom \theaxiom."
 148         Preamble
 149           \theoremstyle{plain}
 150           \newtheorem{ax}{\protect\axiomname}
 151         EndPreamble
 152         LangPreamble
 153           \providecommand{\axiomname}{_(Axiom)}
 154         EndLangPreamble
 155         BabelPreamble
 156           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 157         EndBabelPreamble
 158         LabelCounter          axiom
 159 End
 160
 161
 162 Style Axiom*
 163         CopyStyle             Theorem*
 164         LatexName             ax*
 165         LabelString           "Axiom."
 166         Preamble
 167           \theoremstyle{plain}
 168           \newtheorem*{ax*}{\protect\axiomname}
 169         EndPreamble
 170         LangPreamble
 171           \providecommand{\axiomname}{_(Axiom)}
 172         EndLangPreamble
 173         BabelPreamble
 174           \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
 175         EndBabelPreamble
 176 End
 177
 178
 179 Style Condition
 180         CopyStyle             Definition
 181         LatexName             condition
 182         LabelString           "Condition \thecondition."
 183         Preamble
 184           \theoremstyle{definition}
 185           \newtheorem{condition}{\protect\conditionname}
 186         EndPreamble
 187         LangPreamble
 188           \providecommand{\conditionname}{_(Condition)}
 189         EndLangPreamble
 190         BabelPreamble
 191           \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
 192         EndBabelPreamble
 193         LabelCounter          condition
 194 End
 195
 196
 197 Style Condition*
 198         CopyStyle             Definition*
 199         LatexName             condition*
 200         LabelString           "Condition."
 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 End
 212
 213
 214 Style Note
 215         CopyStyle             Remark
 216         LatexName             note
 217         LabelString           "Note \thenote."
 218         Preamble
 219           \theoremstyle{remark}
 220           \newtheorem{note}{\protect\notename}
 221         EndPreamble
 222         LangPreamble
 223           \providecommand{\notename}{_(Note)}
 224         EndLangPreamble
 225         BabelPreamble
 226           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 227         EndBabelPreamble
 228         LabelCounter          note
 229 End
 230
 231
 232 Style Note*
 233         CopyStyle             Remark*
 234         LatexName             note*
 235         LabelString           "Note."
 236         Preamble
 237           \theoremstyle{remark}
 238           \newtheorem*{note*}{\protect\notename}
 239         EndPreamble
 240         LangPreamble
 241           \providecommand{\notename}{_(Note)}
 242         EndLangPreamble
 243         BabelPreamble
 244           \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
 245         EndBabelPreamble
 246 End
 247
 248
 249 Style Notation
 250         CopyStyle             Remark
 251         LatexName             notation
 252         LabelString           "Notation \thenotation."
 253         Preamble
 254           \theoremstyle{remark}
 255           \newtheorem{notation}{\protect\notationname}
 256         EndPreamble
 257         LangPreamble
 258           \providecommand{\notationname}{_(Notation)}
 259         EndLangPreamble
 260         BabelPreamble
 261           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 262         EndBabelPreamble
 263         LabelCounter          notation
 264 End
 265
 266
 267 Style Notation*
 268         CopyStyle             Remark*
 269         LatexName             notation*
 270         LabelString           "Notation."
 271         Preamble
 272           \theoremstyle{remark}
 273           \newtheorem*{notation*}{\protect\notationname}
 274         EndPreamble
 275         LangPreamble
 276           \providecommand{\notationname}{_(Notation)}
 277         EndLangPreamble
 278         BabelPreamble
 279           \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
 280         EndBabelPreamble
 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 End
 300
 301
 302 Style Summary*
 303         CopyStyle             Remark*
 304         LatexName             summary*
 305         LabelString           "Summary."
 306         Preamble
 307           \theoremstyle{remark}
 308           \newtheorem*{summary*}{\protect\summaryname}
 309         EndPreamble
 310         LangPreamble
 311           \providecommand{\summaryname}{_(Summary)}
 312         EndLangPreamble
 313         BabelPreamble
 314           \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
 315         EndBabelPreamble
 316 End
 317
 318
 319 Style Acknowledgement
 320         CopyStyle             Remark
 321         LatexName             acknowledgement
 322         LabelString           "Acknowledgement \theacknowledgement."
 323         Preamble
 324           \theoremstyle{remark}
 325           \newtheorem{acknowledgement}{\protect\acknowledgementname}
 326         EndPreamble
 327         LangPreamble
 328           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 329         EndLangPreamble
 330         BabelPreamble
 331           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 332         EndBabelPreamble
 333         LabelCounter          acknowledgement
 334 End
 335
 336
 337 Style Acknowledgement*
 338         CopyStyle             Remark*
 339         LatexName             acknowledgement*
 340         LabelString           "Acknowledgement."
 341         Preamble
 342           \theoremstyle{remark}
 343           \newtheorem*{acknowledgement*}{\protect\acknowledgementname}
 344         EndPreamble
 345         LangPreamble
 346           \providecommand{\acknowledgementname}{_(Acknowledgement)}
 347         EndLangPreamble
 348         BabelPreamble
 349           \addto\captions$$lang{\renewcommand{\acknowledgementname}{_(Acknowledgement)}}
 350         EndBabelPreamble
 351 End
 352
 353
 354 Style Conclusion
 355         CopyStyle             Remark
 356         LatexName             conclusion
 357         LabelString           "Conclusion \theconclusion."
 358         Preamble
 359           \theoremstyle{remark}
 360           \newtheorem{conclusion}{\protect\conclusionname}
 361         EndPreamble
 362         LangPreamble
 363           \providecommand{\conclusionname}{_(Conclusion)}
 364         EndLangPreamble
 365         BabelPreamble
 366           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 367         EndBabelPreamble
 368         LabelCounter          conclusion
 369 End
 370
 371
 372 Style Conclusion*
 373         CopyStyle             Remark*
 374         LatexName             conclusion*
 375         LabelString           "Conclusion."
 376         Preamble
 377           \theoremstyle{remark}
 378           \newtheorem*{conclusion*}{\protect\conclusionname}
 379         EndPreamble
 380         LangPreamble
 381           \providecommand{\conclusionname}{_(Conclusion)}
 382         EndLangPreamble
 383         BabelPreamble
 384           \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
 385         EndBabelPreamble
 386 End
 387
 388
 389 Style Assumption
 390         CopyStyle             Theorem
 391         LatexName             assumption
 392         LabelString           "Assumption \theassumption."
 393         Preamble
 394           \theoremstyle{plain}
 395           \newtheorem{assumption}{\protect\assumptionname}
 396         EndPreamble
 397         LangPreamble
 398           \providecommand{\assumptionname}{_(Assumption)}
 399         EndLangPreamble
 400         BabelPreamble
 401           \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
 402         EndBabelPreamble
 403         LabelCounter          assumption
 404 End
 405
 406
 407 Style Assumption*
 408         CopyStyle             Theorem*
 409         LatexName             assumption*
 410         LabelString           "Assumption."
 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 End
 422
 423 Style Question
 424         CopyStyle             Theorem
 425         DependsOn             Theorem
 426         LatexName             question
 427         LabelString           "Question \thequestion."
 428         Preamble
 429           \theoremstyle{plain}
 430           \newtheorem{question}{\protect\questionname}
 431         EndPreamble
 432         LangPreamble
 433           \providecommand{\questionname}{_(Question)}
 434         EndLangPreamble
 435         BabelPreamble
 436           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 437         EndBabelPreamble
 438         LabelCounter          question
 439 End
 440
 441 Style Question*
 442         CopyStyle             Theorem*
 443         LatexName             question*
 444         LabelString           "Question."
 445         Preamble
 446           \theoremstyle{plain}
 447           \newtheorem*{question*}{\protect\questionname}
 448         EndPreamble
 449         LangPreamble
 450           \providecommand{\questionname}{_(Question)}
 451         EndLangPreamble
 452         BabelPreamble
 453           \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
 454         EndBabelPreamble
 455 End
 456
 457 Input theorems-refprefix.inc