lib/layouts/theorems-ams.module

   1 #\DeclareLyXModule[amsmath.sty]{Defines theorem environments and the proof environment for use with non-AMS classes, using the extended AMS machinery. The theorems are numbered consecutively throughout the document.}{Theorems (AMS)}
   2
   3 # Author: Richard Heck <rgheck@comcast.net>
   4 # Adapted from amsdefs.inc and amsmaths.inc
   5
   6 # the environments defined are:
   7 # - Proof
   8 # - Theorem
   9 # - Theorem*
  10 # - Corollary
  11 # - Corollary*
  12 # - Lemma
  13 # - Lemma*
  14 # - Proposition
  15 # - Proposition*
  16 # - Conjecture
  17 # - Conjecture*
  18 # - Criterion
  19 # - Algorithm
  20 # - Axiom
  21 # - Definition
  22 # - Definition*
  23 # - Example
  24 # - Example*
  25 # - Condition
  26 # - Condition*
  27 # - Problem
  28 # - Problem*
  29 # - Exercise
  30 # - Remark
  31 # - Remark*
  32 # - Note
  33 # - Note*
  34 # - Notation
  35 # - Notation*
  36 # - Claim
  37 # - Claim*
  38 # - Summary
  39 # - Acknowledgement
  40 # - Acknowledgement*
  41 # - Case
  42 # - Conclusion
  43 # - Conclusion*
  44 # - Fact
  45 # - Fact*
  46
  47 Format 5
  48 Preamble
  49         \usepackage{amsmath}
  50   \theoremstyle{plain}
  51         \newtheorem{thm}{Theorem}[section]
  52 EndPreamble
  53
  54
  55 Counter
  56         Name                 theorem
  57 End
  58
  59
  60 Style Theorem
  61         Margin                First_Dynamic
  62         LatexType             Environment
  63         LatexName             thm
  64 #DependsOn             TheoremStyle
  65         NextNoIndent          1
  66         LabelSep              xx
  67         ParIndent             MMM
  68         ParSkip               0.4
  69         ItemSep               0.2
  70         TopSep                0.7
  71         BottomSep             0.7
  72         ParSep                0.3
  73         Align                 Block
  74         AlignPossible         Block, Left
  75         LabelType             Counter
  76         LabelCounter          theorem
  77         LabelString           "Theorem \thetheorem."
  78         Font
  79           Shape               Italic
  80           Size                Normal
  81         EndFont
  82         LabelFont
  83           Shape               Up
  84           Series              Bold
  85         EndFont
  86 End
  87
  88
  89 Style Theorem*
  90         CopyStyle             Theorem
  91         LatexName             thm*
  92         LabelType             Static
  93         LabelString           "Theorem."
  94         Preamble
  95           \theoremstyle{plain}
  96           \newtheorem*{thm*}{Theorem}
  97         EndPreamble
  98 End
  99
 100
 101 Style Corollary
 102         CopyStyle             Theorem
 103         LatexName             cor
 104         LabelString           "Corollary \thetheorem."
 105         Preamble
 106           \theoremstyle{plain}
 107           \newtheorem{cor}[thm]{Corollary}
 108         EndPreamble
 109 End
 110
 111
 112 Style Corollary*
 113         CopyStyle             Theorem*
 114         LatexName             cor*
 115         LabelString           "Corollary."
 116         Preamble
 117           \theoremstyle{plain}
 118           \newtheorem*{cor*}{Corollary}
 119         EndPreamble
 120 End
 121
 122
 123 Style Lemma
 124         CopyStyle             Theorem
 125         LatexName             lem
 126         LabelString           "Lemma \thetheorem."
 127         Preamble
 128           \theoremstyle{plain}
 129           \newtheorem{lem}[thm]{Lemma}
 130         EndPreamble
 131 End
 132
 133
 134 Style Lemma*
 135         CopyStyle             Theorem*
 136         LatexName             lem*
 137         LabelString           "Lemma."
 138         Preamble
 139           \theoremstyle{plain}
 140           \newtheorem*{lem*}{Lemma}
 141         EndPreamble
 142 End
 143
 144
 145 Style Proposition
 146         CopyStyle             Theorem
 147         LatexName             prop
 148         LabelString           "Proposition \thetheorem."
 149         Preamble
 150           \theoremstyle{plain}
 151           \newtheorem{prop}[thm]{Proposition}
 152         EndPreamble
 153 End
 154
 155
 156 Style Proposition*
 157         CopyStyle             Theorem*
 158         LatexName             prop*
 159         LabelString           "Proposition."
 160         Preamble
 161           \theoremstyle{plain}
 162           \newtheorem*{prop*}{Proposition}
 163         EndPreamble
 164 End
 165
 166
 167 Style Conjecture
 168         CopyStyle             Theorem
 169         LatexName             conjecture
 170         LabelString           "Conjecture \thetheorem."
 171         Preamble
 172           \theoremstyle{plain}
 173           \newtheorem{conjecture}[thm]{Conjecture}
 174         EndPreamble
 175 End
 176
 177
 178 Style Conjecture*
 179         CopyStyle             Theorem*
 180         LatexName             conjecture*
 181         LabelString           "Conjecture."
 182         Preamble
 183           \theoremstyle{plain}
 184           \newtheorem*{conjecture*}{Conjecture}
 185         EndPreamble
 186 End
 187
 188
 189 Style Criterion
 190         CopyStyle             Theorem
 191         LatexName             criterion
 192         LabelString           "Criterion \thetheorem."
 193         Preamble
 194           \theoremstyle{plain}
 195           \newtheorem{criterion}[thm]{Criterion}
 196         EndPreamble
 197 End
 198
 199
 200 Style Algorithm
 201         CopyStyle             Theorem
 202         LatexName             algorithm
 203         LabelString           "Algorithm \thetheorem."
 204         Preamble
 205           \theoremstyle{plain}
 206           \newtheorem{algorithm}[thm]{Algorithm}
 207         EndPreamble
 208 End
 209
 210
 211 Style Fact
 212         CopyStyle             Theorem
 213         LatexName             fact
 214         LabelString           "Fact \thetheorem."
 215         Preamble
 216           \theoremstyle{plain}
 217           \newtheorem{fact}[thm]{Fact}
 218         EndPreamble
 219 End
 220
 221
 222 Style Fact*
 223         CopyStyle             Theorem*
 224         LatexName             fact*
 225         LabelString           "Fact."
 226         Preamble
 227           \theoremstyle{plain}
 228           \newtheorem*{fact*}{Fact}
 229         EndPreamble
 230 End
 231
 232
 233 Style Axiom
 234         CopyStyle             Theorem
 235         LatexName             ax
 236         LabelString           "Axiom \thetheorem."
 237         Preamble
 238           \theoremstyle{plain}
 239           \newtheorem{ax}[thm]{Axiom}
 240         EndPreamble
 241 End
 242
 243
 244 Style Definition
 245         CopyStyle             Theorem
 246         LatexName             defn
 247         LabelString           "Definition \thetheorem."
 248         Font
 249           Shape               Up
 250         EndFont
 251         LabelFont
 252           Shape               Up
 253           Series              Bold
 254         EndFont
 255         Preamble
 256           \theoremstyle{definition}
 257           \newtheorem{defn}[thm]{Definition}
 258         EndPreamble
 259 End
 260
 261
 262 Style Definition*
 263         CopyStyle             Definition
 264         LatexName             defn*
 265         LabelType             Static
 266         LabelString           "Definition."
 267         Preamble
 268          \theoremstyle{definition}
 269          \newtheorem*{defn*}{Definition}
 270         EndPreamble
 271 End
 272
 273
 274 Style Example
 275         CopyStyle             Definition
 276         LatexName             example
 277         LabelString           "Example \thetheorem."
 278         Preamble
 279          \theoremstyle{definition}
 280           \newtheorem{example}[thm]{Example}
 281         EndPreamble
 282 End
 283
 284
 285 Style Example*
 286         CopyStyle             Definition*
 287         LatexName             example*
 288         LabelString           "Example."
 289         Preamble
 290           \theoremstyle{definition}
 291           \newtheorem*{example*}{Example}
 292         EndPreamble
 293 End
 294
 295
 296 Style Condition
 297         CopyStyle             Definition
 298         LatexName             condition
 299         LabelString           "Condition \thetheorem."
 300         Preamble
 301           \theoremstyle{definition}
 302           \newtheorem{condition}[thm]{Condition}
 303         EndPreamble
 304 End
 305
 306
 307 Style Condition*
 308         CopyStyle             Definition*
 309         LatexName             condition*
 310         LabelString           "Condition."
 311         Preamble
 312           \theoremstyle{definition}
 313           \newtheorem*{condition*}{Condition}
 314         EndPreamble
 315 End
 316
 317
 318 Style Problem
 319         CopyStyle             Definition
 320         LatexName             problem
 321         LabelString           "Problem \thetheorem."
 322         Preamble
 323           \theoremstyle{definition}
 324           \newtheorem{problem}[thm]{Problem}
 325         EndPreamble
 326 End
 327
 328
 329 Style Problem*
 330         CopyStyle             Definition*
 331         LatexName             problem*
 332         LabelString           "Problem."
 333         Preamble
 334           \theoremstyle{definition}
 335           \newtheorem*{problem*}{Problem}
 336         EndPreamble
 337 End
 338
 339
 340 Style Exercise
 341         CopyStyle             Definition
 342         LatexName             xca
 343         LabelString           "Exercise \thetheorem."
 344         Preamble
 345           \theoremstyle{definition}
 346           %%Delete [section] for sequential numbering
 347           \newtheorem{xca}[section]{Exercise}
 348         EndPreamble
 349 End
 350
 351
 352 Style Exercise*
 353         CopyStyle             Definition*
 354         LatexName             xca
 355         LabelString           "Exercise."
 356         Preamble
 357           \theoremstyle{definition}
 358           \newtheorem*{xca*}{Exercise}
 359         EndPreamble
 360 End
 361
 362
 363 Style Remark
 364         CopyStyle             Theorem
 365         LatexName             rem
 366         LabelString           "Remark \thetheorem."
 367         Font
 368           Shape               Up
 369           Size                Normal
 370         EndFont
 371         LabelFont
 372           Series              Medium
 373           Shape               Italic
 374         EndFont
 375         Preamble
 376           \theoremstyle{remark}
 377           \newtheorem{rem}[thm]{Remark}
 378         EndPreamble
 379 End
 380
 381
 382 Style Remark*
 383         CopyStyle             Remark
 384         LatexName             rem*
 385         LabelType             Static
 386         LabelString           "Remark."
 387         Preamble
 388           \theoremstyle{remark}
 389           \newtheorem*{rem*}{Remark}
 390         EndPreamble
 391 End
 392
 393
 394 Style Claim
 395         CopyStyle             Remark
 396         LatexName             claim
 397         LabelString           "Claim \thetheorem."
 398         Preamble
 399           \theoremstyle{remark}
 400           \newtheorem{claim}[thm]{Claim}
 401         EndPreamble
 402 End
 403
 404
 405 Style Claim*
 406         CopyStyle             Remark*
 407         LatexName             claim*
 408         LabelString           "Claim."
 409         Preamble
 410           \theoremstyle{remark}
 411           \newtheorem*{claim*}{Claim}
 412         EndPreamble
 413 End
 414
 415
 416 Style Note
 417         CopyStyle             Remark
 418         LatexName             note
 419         LabelString           "Note \thetheorem."
 420         Preamble
 421           \theoremstyle{remark}
 422           \newtheorem{note}[thm]{Note}
 423         EndPreamble
 424 End
 425
 426
 427 Style Note*
 428         CopyStyle             Remark*
 429         LatexName             note*
 430         LabelString           "Note."
 431         Preamble
 432           \theoremstyle{remark}
 433           \newtheorem*{note*}{Note}
 434         EndPreamble
 435 End
 436
 437
 438 Style Notation
 439         CopyStyle             Remark
 440         LatexName             notation
 441         LabelString           "Notation \thetheorem."
 442         Preamble
 443           \theoremstyle{remark}
 444           \newtheorem{notation}[thm]{Notation}
 445         EndPreamble
 446 End
 447
 448
 449 Style Notation*
 450         CopyStyle             Remark*
 451         LatexName             notation*
 452         LabelString           "Notation."
 453         Preamble
 454           \theoremstyle{remark}
 455           \newtheorem*{notation*}[thm]{Notation}
 456         EndPreamble
 457 End
 458
 459
 460 Style Summary
 461         CopyStyle             Remark
 462         LatexName             summary
 463         LabelString           "Summary \thetheorem."
 464         Preamble
 465           \theoremstyle{remark}
 466           \newtheorem{summary}[thm]{Summary}
 467         EndPreamble
 468 End
 469
 470
 471 Style Acknowledgement
 472         CopyStyle             Remark
 473         LatexName             acknowledgement
 474         LabelString           "Acknowledgement \thetheorem."
 475         Preamble
 476           \theoremstyle{remark}
 477           \newtheorem{acknowledgement}[thm]{Acknowledgement}
 478         EndPreamble
 479 End
 480
 481
 482 Style Acknowledgement*
 483         CopyStyle             Remark*
 484         LatexName             acknowledgement*
 485         LabelString           "Acknowledgement."
 486         Preamble
 487           \theoremstyle{remark}
 488           \newtheorem*{acknowledgement*}{Acknowledgement}
 489         EndPreamble
 490 End
 491
 492
 493 Style Case
 494         CopyStyle             Remark
 495         LatexName             case
 496         LabelString           "Case \thetheorem."
 497         Preamble
 498           \theoremstyle{remark}
 499           \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
 500         EndPreamble
 501 End
 502
 503
 504 Style Conclusion
 505         CopyStyle             Remark
 506         LatexName             conclusion
 507         LabelString           "Conclusion \thetheorem."
 508         Preamble
 509           \theoremstyle{remark}
 510           \newtheorem{conclusion}[thm]{Conclusion}
 511         EndPreamble
 512 End
 513
 514
 515 Style Conclusion*
 516         CopyStyle             Remark*
 517         LatexName             conclusion*
 518         LabelString           "Conclusion."
 519         Preamble
 520           \theoremstyle{remark}
 521           \newtheorem*{conclusion*}{Conclusion}
 522         EndPreamble
 523 End
 524
 525
 526 Style Proof
 527         Margin                First_Dynamic
 528         LatexType             Environment
 529         LatexName             proof
 530         NextNoIndent          1
 531         LabelSep              xx
 532         ParIndent             MMM
 533         ParSkip               0.4
 534         ItemSep               0.2
 535         TopSep                0.7
 536         BottomSep             0.7
 537         ParSep                0.3
 538         Align                 Block
 539         AlignPossible         Block, Left
 540         LabelType             Static
 541         LabelString           "Proof."
 542         EndLabelType          Box
 543         Font
 544           Shape               Up
 545           Size                Normal
 546         EndFont
 547         LabelFont
 548           Shape               Italic
 549         EndFont
 550         # We don't want the preamble from Theorem
 551         Preamble
 552         EndPreamble
 553 End
 554
 555