lib/layouts/theorems-ams-extended.module

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