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