]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/amsmaths.inc
include intl/libintl.h that is relative to $TOP_SRCDIR/src
[lyx.git] / lib / layouts / amsmaths.inc
index aad215773f662e6c7e21191f0af958414cb2d781..973956f4fc011e598b77a2c7a7ec6d917513b80c 100644 (file)
@@ -5,56 +5,39 @@
 # numbered environments (figures as well) containing the section number.
 # (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
 # These are only the theorems styles environnements
+# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
 
-
-# The environnements defined are :
+# The environnements defined (regular and starred) are :
 # - Theorem
-# - Theorem*
 # - Corollary
-# - Corollary*
 # - Lemma
-# - Lemma*
 # - Proposition
-# - Proposition*
 # - Conjecture
-# - Conjecture*
 # - Criterion
 # - Algorithm
 # - Axiom
 # - Definition
-# - Definition*
 # - Example
-# - Example*
 # - Condition
-# - Condition*
 # - Problem
-# - Problem*
 # - Exercise
 # - Remark
-# - Remark*
 # - Note
-# - Note*
 # - Notation
-# - Notation*
 # - Claim
-# - Claim*
 # - Summary
 # - Acknowledgement
-# - Acknowledgement*
-# - Case
 # - Conclusion
-# - Conclusion*
 # - Fact
-# - Fact*
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
 
-Preamble
-  \theoremstyle{plain}
-       \newtheorem{thm}{Theorem}[section]
-EndPreamble
+Format 5
 
 
 Counter
        Name                 theorem
+       Within               section
 End
 
 
@@ -62,8 +45,8 @@ Style Theorem
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             thm
-       #DependsOn             TheoremStyle
        NextNoIndent          1
+       OptionalArgs          1
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4
@@ -75,7 +58,7 @@ Style Theorem
        AlignPossible         Block, Left
        LabelType             Counter
        LabelCounter          theorem
-       LabelString           "Theorem @Section@.\arabic{theorem}."
+       LabelString           "Theorem \thetheorem."
        Font
          Shape               Italic
          Size                Normal
@@ -84,6 +67,10 @@ Style Theorem
          Shape               Up
          Series              Bold
        EndFont
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem{thm}{Theorem}[section]
+       EndPreamble
 End
 
 
@@ -101,8 +88,9 @@ End
 
 Style Corollary
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             cor
-       LabelString           "Corollary @Section@.\arabic{theorem}."
+       LabelString           "Corollary \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{cor}[thm]{Corollary}
@@ -123,8 +111,9 @@ End
 
 Style Lemma
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             lem
-       LabelString           "Lemma @Section@.\arabic{theorem}."
+       LabelString           "Lemma \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{lem}[thm]{Lemma}
@@ -145,8 +134,9 @@ End
 
 Style Proposition
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             prop
-       LabelString           "Proposition @Section@.\arabic{theorem}."
+       LabelString           "Proposition \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{prop}[thm]{Proposition}
@@ -167,8 +157,9 @@ End
 
 Style Conjecture
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             conjecture
-       LabelString           "Conjecture @Section@.\arabic{theorem}."
+       LabelString           "Conjecture \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{conjecture}[thm]{Conjecture}
@@ -189,19 +180,31 @@ End
 
 Style Criterion
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             criterion
-       LabelString           "Criterion @Section@.\arabic{theorem}."
+       LabelString           "Criterion \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{criterion}[thm]{Criterion}
        EndPreamble
 End
 
+Style Criterion*
+       CopyStyle             Theorem*
+       LatexName             criterion*
+       LabelString           "Criterion."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{criterion*}{Criterion}
+       EndPreamble
+End
+
 
 Style Algorithm
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             algorithm
-       LabelString           "Algorithm @Section@.\arabic{theorem}."
+       LabelString           "Algorithm \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{algorithm}[thm]{Algorithm}
@@ -209,10 +212,22 @@ Style Algorithm
 End
 
 
+Style Algorithm*
+       CopyStyle             Theorem*
+       LatexName             algorithm*
+       LabelString           "Algorithm."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{algorithm*}{Algorithm}
+       EndPreamble
+End
+
+
 Style Fact
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             fact
-       LabelString           "Fact @Section@.\arabic{theorem}."
+       LabelString           "Fact \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{fact}[thm]{Fact}
@@ -233,8 +248,9 @@ End
 
 Style Axiom
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             ax
-       LabelString           "Axiom @Section@.\arabic{theorem}."
+       LabelString           "Axiom \thetheorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem{ax}[thm]{Axiom}
@@ -242,10 +258,22 @@ Style Axiom
 End
 
 
+Style Axiom*
+       CopyStyle             Theorem*
+       LatexName             ax*
+       LabelString           "Axiom."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{ax*}{Axiom}
+       EndPreamble
+End
+
+
 Style Definition
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             defn
-       LabelString           "Definition @Section@.\arabic{theorem}."
+       LabelString           "Definition \thetheorem."
        Font
          Shape               Up
        EndFont
@@ -275,7 +303,7 @@ End
 Style Example
        CopyStyle             Definition
        LatexName             example
-       LabelString           "Example @Section@.\arabic{theorem}."
+       LabelString           "Example \thetheorem."
        Preamble
         \theoremstyle{definition}
          \newtheorem{example}[thm]{Example}
@@ -297,7 +325,7 @@ End
 Style Condition
        CopyStyle             Definition
        LatexName             condition
-       LabelString           "Condition @Section@.\arabic{theorem}."
+       LabelString           "Condition \thetheorem."
        Preamble
          \theoremstyle{definition}
          \newtheorem{condition}[thm]{Condition}
@@ -319,7 +347,7 @@ End
 Style Problem
        CopyStyle             Definition
        LatexName             problem
-       LabelString           "Problem @Section@.\arabic{theorem}."
+       LabelString           "Problem \thetheorem."
        Preamble
          \theoremstyle{definition}
          \newtheorem{problem}[thm]{Problem}
@@ -341,18 +369,17 @@ End
 Style Exercise
        CopyStyle             Definition
        LatexName             xca
-       LabelString           "Exercise @Section@.\arabic{theorem}."
+       LabelString           "Exercise \thetheorem."
        Preamble
          \theoremstyle{definition}
-         %%Delete [section] for sequential numbering
-         \newtheorem{xca}[section]{Exercise}
+         \newtheorem{xca}[thm]{Exercise}
        EndPreamble
 End
 
 
 Style Exercise*
        CopyStyle             Definition*
-       LatexName             xca
+       LatexName             xca*
        LabelString           "Exercise."
        Preamble
          \theoremstyle{definition}
@@ -363,8 +390,9 @@ End
 
 Style Remark
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             rem
-       LabelString           "Remark @Section@.\arabic{theorem}."
+       LabelString           "Remark \thetheorem."
        Font
          Shape               Up
          Size                Normal
@@ -395,7 +423,7 @@ End
 Style Claim
        CopyStyle             Remark
        LatexName             claim
-       LabelString           "Claim @Section@.\arabic{theorem}."
+       LabelString           "Claim \thetheorem."
        Preamble
          \theoremstyle{remark}
          \newtheorem{claim}[thm]{Claim}
@@ -417,7 +445,7 @@ End
 Style Note
        CopyStyle             Remark
        LatexName             note
-       LabelString           "Note @Section@.\arabic{theorem}."
+       LabelString           "Note \thetheorem."
        Preamble
          \theoremstyle{remark}
          \newtheorem{note}[thm]{Note}
@@ -439,7 +467,7 @@ End
 Style Notation
        CopyStyle             Remark
        LatexName             notation
-       LabelString           "Notation @Section@.\arabic{theorem}."
+       LabelString           "Notation \thetheorem."
        Preamble
          \theoremstyle{remark}
          \newtheorem{notation}[thm]{Notation}
@@ -453,7 +481,7 @@ Style Notation*
        LabelString           "Notation."
        Preamble
          \theoremstyle{remark}
-         \newtheorem*{notation*}[thm]{Notation}
+         \newtheorem*{notation*}{Notation}
        EndPreamble
 End
 
@@ -461,7 +489,7 @@ End
 Style Summary
        CopyStyle             Remark
        LatexName             summary
-       LabelString           "Summary @Section@.\arabic{theorem}."
+       LabelString           "Summary \thetheorem."
        Preamble
          \theoremstyle{remark}
          \newtheorem{summary}[thm]{Summary}
@@ -469,10 +497,21 @@ Style Summary
 End
 
 
+Style Summary*
+       CopyStyle             Remark*
+       LatexName             summary*
+       LabelString           "Summary."
+       Preamble
+         \theoremstyle{remark}
+         \newtheorem*{summary*}{Summary}
+       EndPreamble
+End
+
+
 Style Acknowledgement
        CopyStyle             Remark
        LatexName             acknowledgement
-       LabelString           "Acknowledgement @Section@.\arabic{theorem}."
+       LabelString           "Acknowledgement \thetheorem."
        Preamble
          \theoremstyle{remark}
          \newtheorem{acknowledgement}[thm]{Acknowledgement}
@@ -491,21 +530,10 @@ Style Acknowledgement*
 End
 
 
-Style Case
-       CopyStyle             Remark
-       LatexName             case
-       LabelString           "Case @Section@.\arabic{theorem}."
-       Preamble
-         \theoremstyle{remark}
-         \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
-       EndPreamble
-End
-
-
 Style Conclusion
        CopyStyle             Remark
        LatexName             conclusion
-       LabelString           "Conclusion @Section@.\arabic{theorem}."
+       LabelString           "Conclusion \thetheorem."
        Preamble
          \theoremstyle{remark}
          \newtheorem{conclusion}[thm]{Conclusion}
@@ -522,3 +550,42 @@ Style Conclusion*
          \newtheorem*{conclusion*}{Conclusion}
        EndPreamble
 End
+
+
+Style Assumption
+       CopyStyle             Theorem
+       DependsOn             Theorem
+       LatexName             assumption
+       LabelString           "Assumption \thetheorem."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem{assumption}[thm]{Assumption}
+       EndPreamble
+End
+
+
+Style Assumption*
+       CopyStyle             Theorem*
+       LatexName             assumption*
+       LabelString           "Assumption."
+       Preamble
+         \theoremstyle{plain}
+         \newtheorem*{assumption*}{Assumption}
+       EndPreamble
+End
+
+
+# Define Case as an enumeration environment
+Style Case
+       CopyStyle             Enumerate
+       LatexName             caseenv
+       LabelType             Static
+       LeftMargin            "MMMMMMN"
+       LabelString           "Case #:"
+       Preamble
+         \newcounter{casectr}
+         \newenvironment{caseenv}
+         {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
+         {\end{list}}
+       EndPreamble
+End