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