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