lib/layouts/theorems-ams-extended.module

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