Please find attached a patch that includes the changes done by Paul A. Rubin
to rework the AMS document classes. Paul put in lots of energy, and after
intense testing and modification, this is the final result. Here's the list
of changes:
Paul's changes:
* Added Assumption and Assumption* environments.
* Updated the Subjectclass style (amsdefs.inc) to indicate AMS 2000 rather
than AMS 1991.
* Changed the order of include commands in amsart.layout to fix a bug in
within-section numbering.
* Fixed amsart-seq.layout so that the theorem counter did not restart after a
section change.
* Removed extraneous '[thm]' from Notation* definition.
* Fixed order of .inc file inputs in amsbook.layout to correct a bug in
environment numbering.
* In amsmaths.inc, corrected the LatexName of Exercise* (missing *) [bug
4223].
* Removed redundant declaration of thm from amsart.layout and amsbook.layout
(declared in amsmaths.inc).
* Corrected bug in Exercise environment in amsmaths.inc: numbering was
specified as [section] v. [thm].
* Removed extraneous '#' from the label of Algorithm in amsmaths-plain.inc.
* Added starred versions of Criterion, Algorithm, Axiom and Summary.
Mathematicians love symmetry; plus, it helps with compatibility of the
numbered and plain layouts.
* Moved counters and newtheorem declarations from amsart-seq.layout to
amsmaths-seq.inc and merged them into styles there.
* Deleted redundant style labels from amsart-plain.layout (repeated in
amsmaths-plain.inc).
* Deleted all \newtheorem* declarations from amsmaths-plain.inc (redundant
with amsmaths.inc).
* Per Richard Heck, removed AlignPossible from two instances of Section (where
NeedProtect = 1) and one each of Title, Author, Date and Abstract (where
AlignPossible duplicated Align).
* Converted the Case environment to an enumeration.
Additional change done by myself:
* Fix position of NoStyle tags in amsbook.layout in order to prevent "layout
could not be deleted" error.
As proposed, I'd like to include this in 1.5.2.
As for trunk, the complete layout can be found here (zip archive):
http://bugzilla.lyx.org/attachment.cgi?id=2166&action=view
I guess trunk needs special care due to the module changes done by Richard.
Richard, could you take care about the inclusion of these new layouts in
trunk?
Jürgen
Index: lib/layouts/amsmaths-seq.inc
===================================================================
--- lib/layouts/amsmaths-seq.inc (Revision 20470)
+++ lib/layouts/amsmaths-seq.inc (Arbeitskopie)
@@ -1,6 +1,7 @@
# Author : David L. Johnson <[EMAIL PROTECTED]>
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
+# Tinkered with Sep. '07 by Paul Rubin <[EMAIL PROTECTED]>
# These are only the theorems styles environnements
# The environnements defined are :
@@ -24,12 +25,131 @@
# - Notation
# - Summary
# - Acknowledgement
-# - Case
# - Conclusion
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
+Format 4
-Format 4
+# Use a simpler preamble.
+
+Preamble
+EndPreamble
+
+
+# but more counters
+
+# Do not restart theorem counter after section change
+Counter
+ Name thm
+End
+
+Counter
+ Name corollary
+End
+
+
+Counter
+ Name lemma
+End
+
+
+Counter
+ Name proposition
+End
+
+
+Counter
+ Name conjecture
+End
+
+
+Counter
+ Name criterion
+End
+
+
+Counter
+ Name algorithm
+End
+
+
+Counter
+ Name fact
+End
+
+
+Counter
+ Name axiom
+End
+
+
+Counter
+ Name definition
+End
+
+
+Counter
+ Name example
+End
+
+
+Counter
+ Name condition
+End
+
+
+Counter
+ Name problem
+End
+
+
+Counter
+ Name exercise
+End
+
+
+Counter
+ Name remark
+End
+
+
+Counter
+ Name claim
+End
+
+
+Counter
+ Name note
+End
+
+
+Counter
+ Name notation
+End
+
+
+Counter
+ Name summary
+End
+
+
+Counter
+ Name acknowledgement
+End
+
+
+Counter
+ Name conclusion
+End
+
+Counter
+ Name assumption
+End
+
Style Theorem
+ LabelCounter thm
+ LabelString "Theorem \arabic{thm}."
Preamble
\theoremstyle{plain}
\newtheorem{thm}{Theorem}
@@ -38,6 +158,8 @@
Style Corollary
+ LabelCounter corollary
+ LabelString "Corollary \arabic{corollary}."
Preamble
\theoremstyle{plain}
\newtheorem{cor}{Corollary}
@@ -46,6 +168,8 @@
Style Lemma
+ LabelCounter lemma
+ LabelString "Lemma \arabic{lemma}."
Preamble
\theoremstyle{plain}
\newtheorem{lem}{Lemma}
@@ -54,6 +178,8 @@
Style Proposition
+ LabelCounter proposition
+ LabelString "Proposition \arabic{proposition}."
Preamble
\theoremstyle{plain}
\newtheorem{prop}{Proposition}
@@ -62,6 +188,8 @@
Style Conjecture
+ LabelCounter conjecture
+ LabelString "Conjecture \arabic{conjecture}."
Preamble
\theoremstyle{plain}
\newtheorem{conjecture}{Conjecture}
@@ -70,6 +198,8 @@
Style Criterion
+ LabelCounter criterion
+ LabelString "Criterion \arabic{criterion}."
Preamble
\theoremstyle{plain}
\newtheorem{criterion}{Criterion}
@@ -78,6 +208,8 @@
Style Algorithm
+ LabelCounter algorithm
+ LabelString "Algorithm \arabic{algorithm}."
Preamble
\theoremstyle{plain}
\newtheorem{algorithm}{Algorithm}
@@ -86,6 +218,8 @@
Style Fact
+ LabelCounter fact
+ LabelString "Fact \arabic{fact}."
Preamble
\theoremstyle{plain}
\newtheorem{fact}{Fact}
@@ -94,6 +228,8 @@
Style Axiom
+ LabelCounter axiom
+ LabelString "Axiom \arabic{axiom}."
Preamble
\theoremstyle{plain}
\newtheorem{ax}{Axiom}
@@ -102,6 +238,8 @@
Style Definition
+ LabelCounter definition
+ LabelString "Definition \arabic{definition}."
Preamble
\theoremstyle{definition}
\newtheorem{defn}{Definition}
@@ -110,6 +248,8 @@
Style Example
+ LabelCounter example
+ LabelString "Example \arabic{example}."
Preamble
\theoremstyle{definition}
\newtheorem{example}{Example}
@@ -118,6 +258,8 @@
Style Condition
+ LabelCounter condition
+ LabelString "Condition \arabic{condition}."
Preamble
\theoremstyle{definition}
\newtheorem{condition}{Condition}
@@ -126,6 +268,8 @@
Style Problem
+ LabelCounter problem
+ LabelString "Problem \arabic{problem}."
Preamble
\theoremstyle{definition}
\newtheorem{problem}{Problem}
@@ -134,6 +278,8 @@
Style Exercise
+ LabelCounter exercise
+ LabelString "Exercise \arabic{exercise}."
Preamble
\theoremstyle{definition}
\newtheorem{xca}{Exercise}
@@ -142,6 +288,8 @@
Style Remark
+ LabelCounter remark
+ LabelString "Remark \arabic{remark}."
Preamble
\theoremstyle{remark}
\newtheorem{rem}{Remark}
@@ -150,6 +298,8 @@
Style Claim
+ LabelCounter claim
+ LabelString "Claim \arabic{claim}."
Preamble
\theoremstyle{remark}
\newtheorem{claim}{Claim}
@@ -158,6 +308,8 @@
Style Note
+ LabelCounter note
+ LabelString "Note \arabic{note}."
Preamble
\theoremstyle{remark}
\newtheorem{note}{Note}
@@ -166,6 +318,8 @@
Style Notation
+ LabelCounter notation
+ LabelString "Notation \arabic{notation}."
Preamble
\theoremstyle{remark}
\newtheorem{notation}{Notation}
@@ -174,6 +328,8 @@
Style Summary
+ LabelCounter summary
+ LabelString "Summary \arabic{summary}."
Preamble
\theoremstyle{remark}
\newtheorem{summary}{Summary}
@@ -182,6 +338,8 @@
Style Acknowledgement
+ LabelCounter acknowledgement
+ LabelString "Acknowledgement \arabic{acknowledgement}."
Preamble
\theoremstyle{remark}
\newtheorem{acknowledgement}{Acknowledgement}
@@ -189,21 +347,21 @@
End
-Style Case
+Style Conclusion
+ LabelCounter conclusion
+ LabelString "Conclusion \arabic{conclusion}."
Preamble
\theoremstyle{remark}
- \newtheorem{case}{Case}
+ \newtheorem{conclusion}{Conclusion}
EndPreamble
End
-Style Conclusion
+Style Assumption
+ LabelCounter assumption
+ LabelString "Assumption \arabic{assumption}."
Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}{Conclusion}
+ \theoremstyle{plain}
+ \newtheorem{assumption}{Assumption}
EndPreamble
End
-
-
-
-
Index: lib/layouts/amsmaths-plain.inc
===================================================================
--- lib/layouts/amsmaths-plain.inc (Revision 20470)
+++ lib/layouts/amsmaths-plain.inc (Arbeitskopie)
@@ -1,9 +1,12 @@
# Author : David L. Johnson <[EMAIL PROTECTED]>
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
+# Tinkered with Sep. '07 by Paul Rubin <[EMAIL PROTECTED]>
-# These are only the plain (unnumbered) theorem styles environments
+# These are only the plain (unnumbered) theorem styles environments.
+# Both starred and unstarred versions are included for compatibility
+# with the other AMS classes.
# The environments defined are:
# - Theorem
# - Corollary
@@ -25,226 +28,140 @@
# - Notation
# - Summary
# - Acknowledgement
-# - Case
# - Conclusion
+# - Assumption
+# - Case (regular only -- defined as an enumeration)
Format 4
+
Style Theorem
LatexName thm*
LabelString "Theorem."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{thm*}{Theorem}
- EndPreamble
End
Style Corollary
LatexName cor*
LabelString "Corollary."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{cor*}{Corollary}
- EndPreamble
End
Style Lemma
LatexName lem*
LabelString "Lemma."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{lem*}{Lemma}
- EndPreamble
End
Style Proposition
LatexName prop*
LabelString "Proposition."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{prop*}{Proposition}
- EndPreamble
End
Style Conjecture
LatexName conjecture*
LabelString "Conjecture."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{conjecture*}{Conjecture}
- EndPreamble
End
Style Criterion
LatexName criterion*
LabelString "Criterion."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{criterion*}{Criterion}
- EndPreamble
End
Style Algorithm
LatexName algorithm*
- LabelString "Algorithm #."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{algorithm*}{Algorithm}
- EndPreamble
+ LabelString "Algorithm."
End
Style Fact
LatexName fact*
LabelString "Fact."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{fact*}{Fact}
- EndPreamble
End
Style Axiom
LatexName ax*
LabelString "Axiom."
- Preamble
- \theoremstyle{plain}
- \newtheorem*{ax*}{Axiom}
- EndPreamble
End
Style Definition
LatexName defn*
LabelString "Definition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{defn*}{Definition}
- EndPreamble
End
Style Example
LatexName example*
LabelString "Example."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{example*}{Example}
- EndPreamble
End
Style Condition
LatexName condition*
LabelString "Condition."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{condition*}{Condition}
- EndPreamble
End
Style Problem
LatexName problem*
LabelString "Problem."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{problem*}{Problem}
- EndPreamble
End
Style Exercise
LatexName xca*
LabelString "Exercise."
- Preamble
- \theoremstyle{definition}
- \newtheorem*{xca*}{Exercise}
- EndPreamble
End
Style Remark
LatexName rem*
LabelString "Remark."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{rem*}{Remark}
- EndPreamble
End
Style Claim
LatexName claim*
LabelString "Claim."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{claim*}{Claim}
- EndPreamble
End
Style Note
LatexName note*
LabelString "Note."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{note*}{Note}
- EndPreamble
End
Style Notation
LatexName notation*
LabelString "Notation."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{notation*}{Notation}
- EndPreamble
End
Style Summary
LatexName summary*
LabelString "Summary."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{summary*}{Summary}
- EndPreamble
End
Style Acknowledgement
LatexName acknowledgement*
LabelString "Acknowledgement."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{acknowledgement*}{Acknowledgement}
- EndPreamble
End
-Style Case
- LatexName case*
- LabelString "Case."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{case*}{Case}
- EndPreamble
-End
-
-
Style Conclusion
LatexName conclusion*
LabelString "Conclusion."
- Preamble
- \theoremstyle{remark}
- \newtheorem*{conclusion*}{Conclusion}
- EndPreamble
End
+
+
+Style Assumption
+ LatexName assumption*
+ LabelString "Assumption."
+End
Index: lib/layouts/amsbook.layout
===================================================================
--- lib/layouts/amsbook.layout (Revision 20470)
+++ lib/layouts/amsbook.layout (Arbeitskopie)
@@ -6,6 +6,7 @@
# Author : David L. Johnson <[EMAIL PROTECTED]>
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
+# Tinkered with Sep. '07 by Paul Rubin <[EMAIL PROTECTED]>
Format 4
@@ -33,8 +34,6 @@
Preamble
\numberwithin{section}{chapter}
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
\numberwithin{equation}{section} %% Comment out for sequentially-numbered
\numberwithin{figure}{section} %% Comment out for sequentially-numbered
EndPreamble
@@ -46,7 +45,6 @@
Style Section
Align Center
- AlignPossible Block, Center, Left
Font
Series Medium
Shape Smallcaps
@@ -72,24 +70,17 @@
Input stdstarsections.inc
-
-
Input lyxmacros.inc
-NoStyle Address
-
-
-Input amsdefs.inc
-
-
Input stdlayouts.inc
-NoStyle Verse
-NoStyle Abstract
-
-
Input stdlists.inc
Input stdfloats.inc
Input stdcounters.inc
+Input amsdefs.inc
+# Unwanted styles from the includes
+NoStyle Address
+NoStyle Verse
+NoStyle Abstract
# Chapter is _not_ prepended
Style Section
Index: lib/layouts/amsart-seq.layout
===================================================================
--- lib/layouts/amsart-seq.layout (Revision 20470)
+++ lib/layouts/amsart-seq.layout (Arbeitskopie)
@@ -11,6 +11,7 @@
#
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
+# Tinkered with Sep. '07 by Paul Rubin <[EMAIL PROTECTED]>
Format 4
Input amsart.layout
@@ -20,247 +21,3 @@
Input amsmaths-seq.inc
-# Use a simpler preamble.
-
-Preamble
-EndPreamble
-
-
-# but more counters
-
-Counter
- Name corollary
-End
-
-
-Counter
- Name lemma
-End
-
-
-Counter
- Name proposition
-End
-
-
-Counter
- Name conjecture
-End
-
-
-Counter
- Name criterion
-End
-
-
-Counter
- Name algorithm
-End
-
-
-Counter
- Name fact
-End
-
-
-Counter
- Name axiom
-End
-
-
-Counter
- Name definition
-End
-
-
-Counter
- Name example
-End
-
-
-Counter
- Name condition
-End
-
-
-Counter
- Name problem
-End
-
-
-Counter
- Name exercise
-End
-
-
-Counter
- Name remark
-End
-
-
-Counter
- Name claim
-End
-
-
-Counter
- Name note
-End
-
-
-Counter
- Name notation
-End
-
-
-Counter
- Name summary
-End
-
-
-Counter
- Name acknowledgement
-End
-
-
-Counter
- Name case
-End
-
-
-Counter
- Name conclusion
-End
-
-
-
-Style Theorem
- LabelCounter theorem
- LabelString "Theorem \arabic{theorem}."
-End
-
-
-Style Corollary
- LabelCounter corollary
- LabelString "Corollary \arabic{corollary}."
-End
-
-
-Style Lemma
- LabelCounter lemma
- LabelString "Lemma \arabic{lemma}."
-End
-
-
-Style Proposition
- LabelCounter proposition
- LabelString "Proposition \arabic{proposition}."
-End
-
-
-Style Conjecture
- LabelCounter conjecture
- LabelString "Conjecture \arabic{conjecture}."
-End
-
-
-Style Criterion
- LabelCounter criterion
- LabelString "Criterion \arabic{criterion}."
-End
-
-
-Style Algorithm
- LabelCounter algorithm
- LabelString "Algorithm \arabic{algorithm}."
-End
-
-
-Style Fact
- LabelCounter fact
- LabelString "Fact \arabic{fact}."
-End
-
-
-Style Axiom
- LabelCounter axiom
- LabelString "Axiom \arabic{axiom}."
-End
-
-
-Style Definition
- LabelCounter definition
- LabelString "Definition \arabic{definition}."
-End
-
-
-Style Example
- LabelCounter example
- LabelString "Example \arabic{example}."
-End
-
-
-Style Condition
- LabelCounter condition
- LabelString "Condition \arabic{condition}."
-End
-
-
-Style Problem
- LabelCounter problem
- LabelString "Problem \arabic{problem}."
-End
-
-
-Style Exercise
- LabelCounter exercise
- LabelString "Exercise \arabic{exercise}."
-End
-
-
-Style Remark
- LabelCounter remark
- LabelString "Remark \arabic{remark}."
-End
-
-
-Style Claim
- LabelCounter claim
- LabelString "Claim \arabic{claim}."
-End
-
-
-Style Note
- LabelCounter note
- LabelString "Note \arabic{note}."
-End
-
-
-Style Notation
- LabelCounter notation
- LabelString "Notation \arabic{notation}."
-End
-
-
-Style Summary
- LabelCounter summary
- LabelString "Summary \arabic{summary}."
-End
-
-
-Style Acknowledgement
- LabelCounter acknowledgement
- LabelString "Acknowledgement \arabic{acknowledgement}."
-End
-
-
-Style Case
- LabelCounter case
- LabelString "Case \arabic{case}."
-End
-
-
-Style Conclusion
- LabelCounter conclusion
- LabelString "Conclusion \arabic{conclusion}."
-End
Index: lib/layouts/amsart.layout
===================================================================
--- lib/layouts/amsart.layout (Revision 20470)
+++ lib/layouts/amsart.layout (Arbeitskopie)
@@ -6,6 +6,7 @@
# Author : David L. Johnson <[EMAIL PROTECTED]>
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
+# Tinkered with Sep. '07 by Paul Rubin <[EMAIL PROTECTED]>
Format 4
Columns 1
@@ -31,8 +32,6 @@
Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
\numberwithin{equation}{section} %% Comment out for sequentially-numbered
\numberwithin{figure}{section} %% Comment out for sequentially-numbered
EndPreamble
@@ -41,11 +40,11 @@
Input stdsections.inc
Input stdstarsections.inc
Input lyxmacros.inc
-Input amsdefs.inc
Input stdlayouts.inc
Input stdlists.inc
Input stdfloats.inc
Input stdcounters.inc
+Input amsdefs.inc
NoStyle Chapter
NoStyle Paragraph
@@ -55,12 +54,11 @@
#NoStyle Subparagraph*
NoStyle Verse # Although mathematicians tend to be poets at times,
- # we don't need this.
+ # we don't need this.
Style Section
Align Center
- AlignPossible Block, Center, Left
Font
Series Medium
Shape Smallcaps
Index: lib/layouts/amsmaths.inc
===================================================================
--- lib/layouts/amsmaths.inc (Revision 20470)
+++ lib/layouts/amsmaths.inc (Arbeitskopie)
@@ -5,57 +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 <[EMAIL PROTECTED]>
-
-# 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)
Format 4
-Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}[section]
-EndPreamble
Counter
Name theorem
+ Within section
End
@@ -85,6 +67,10 @@
Shape Up
Series Bold
EndFont
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem{thm}{Theorem}[section]
+ EndPreamble
End
@@ -198,7 +184,17 @@
EndPreamble
End
+Style Criterion*
+ CopyStyle Theorem*
+ LatexName criterion*
+ LabelString "Criterion."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{criterion*}{Criterion}
+ EndPreamble
+End
+
Style Algorithm
CopyStyle Theorem
LatexName algorithm
@@ -210,6 +206,17 @@
End
+Style Algorithm*
+ CopyStyle Theorem*
+ LatexName algorithm*
+ LabelString "Algorithm."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{algorithm*}{Algorithm}
+ EndPreamble
+End
+
+
Style Fact
CopyStyle Theorem
LatexName fact
@@ -243,6 +250,17 @@
End
+Style Axiom*
+ CopyStyle Theorem*
+ LatexName ax*
+ LabelString "Axiom."
+ Preamble
+ \theoremstyle{plain}
+ \newtheorem*{ax*}{Axiom}
+ EndPreamble
+End
+
+
Style Definition
CopyStyle Theorem
LatexName defn
@@ -345,15 +363,14 @@
LabelString "Exercise @[EMAIL PROTECTED]"
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}
@@ -454,7 +471,7 @@
LabelString "Notation."
Preamble
\theoremstyle{remark}
- \newtheorem*{notation*}[thm]{Notation}
+ \newtheorem*{notation*}{Notation}
EndPreamble
End
@@ -470,6 +487,17 @@
End
+Style Summary*
+ CopyStyle Remark*
+ LatexName summary*
+ LabelString "Summary."
+ Preamble
+ \theoremstyle{remark}
+ \newtheorem*{summary*}{Summary}
+ EndPreamble
+End
+
+
Style Acknowledgement
CopyStyle Remark
LatexName acknowledgement
@@ -492,17 +520,6 @@
End
-Style Case
- CopyStyle Remark
- LatexName case
- LabelString "Case @[EMAIL PROTECTED]"
- Preamble
- \theoremstyle{remark}
- \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections
- EndPreamble
-End
-
-
Style Conclusion
CopyStyle Remark
LatexName conclusion
@@ -523,3 +540,41 @@
\newtheorem*{conclusion*}{Conclusion}
EndPreamble
End
+
+
+Style Assumption
+ CopyStyle Theorem
+ LatexName assumption
+ LabelString "Assumption @[EMAIL PROTECTED]"
+ 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
Index: lib/layouts/amsdefs.inc
===================================================================
--- lib/layouts/amsdefs.inc (Revision 20470)
+++ lib/layouts/amsdefs.inc (Arbeitskopie)
@@ -1,6 +1,7 @@
# Author : David L. Johnson <[EMAIL PROTECTED]>
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
+# Tinkered with Sep. '07 by Paul Rubin <[EMAIL PROTECTED]>
# Including the maths stuff
Format 4
@@ -68,7 +69,6 @@
BottomSep 1
ParSep 1
Align Center
- AlignPossible Center
LabelType No_Label
OptionalArgs 1
Font
@@ -90,7 +90,6 @@
BottomSep 0.7
ParSep 0.7
Align Center
- AlignPossible Center
LabelType No_Label
Font
Size Large
@@ -110,7 +109,6 @@
BottomSep 0.5
ParSep 1
Align Center
- AlignPossible Center
LabelType Static
LabelString "Date:"
Font
@@ -135,7 +133,6 @@
TopSep 0.7
BottomSep 0.7
Align Block
- AlignPossible Block
LabelType Static
LabelString "Abstract."
LabelSep M
@@ -222,8 +219,8 @@
Style Subjectclass
CopyStyle Address
- LatexName subjclass
- LabelString "1991 Mathematics Subject Classification:"
+ LatexName subjclass[2000]
+ LabelString "2000 Mathematics Subject Classification:"
End
Index: lib/layouts/amsart-plain.layout
===================================================================
--- lib/layouts/amsart-plain.layout (Revision 20470)
+++ lib/layouts/amsart-plain.layout (Arbeitskopie)
@@ -7,6 +7,7 @@
# The "unnumbered" version has all results, unnumbered
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
+# Tinkered with Sep. '07 by Paul Rubin <[EMAIL PROTECTED]>
Format 4
Input amsart.layout
@@ -14,141 +15,10 @@
# Change the definitions of the theorem-like environments to get unnumbered
# results
-Input amsmaths-plain.inc
-
# Use a simpler preamble.
Preamble
\usepackage{amsmath,amsthm}
\usepackage{amsfonts}
EndPreamble
-
-Style Theorem
- LabelString "Theorem."
-End
-
-
-Style Corollary
- LabelType Static
- LabelString "Corollary."
-End
-
-
-Style Lemma
- LabelType Static
- LabelString "Lemma."
-End
-
-
-Style Proposition
- LabelType Static
- LabelString "Proposition."
-End
-
-
-Style Conjecture
- LabelType Static
- LabelString "Conjecture."
-End
-
-
-Style Criterion
- LabelType Static
- LabelString "Criterion."
-End
-
-
-Style Algorithm
- LabelType Static
- LabelString "Algorithm."
-End
-
-
-Style Fact
- LabelType Static
- LabelString "Fact."
-End
-
-
-Style Axiom
- LabelType Static
- LabelString "Axiom."
-End
-
-
-Style Definition
- LabelType Static
- LabelString "Definition."
-End
-
-
-Style Example
- LabelType Static
- LabelString "Example."
-End
-
-
-Style Condition
- LabelType Static
- LabelString "Condition."
-End
-
-
-Style Problem
- LabelType Static
- LabelString "Problem."
-End
-
-
-Style Exercise
- LabelType Static
- LabelString "Exercise."
-End
-
-
-Style Remark
- LabelType Static
- LabelString "Remark."
-End
-
-
-Style Claim
- LabelType Static
- LabelString "Claim."
-End
-
-
-Style Note
- LabelType Static
- LabelString "Note."
-End
-
-
-Style Notation
- LabelType Static
- LabelString "Notation."
-End
-
-
-Style Summary
- LabelType Static
- LabelString "Summary."
-End
-
-
-Style Acknowledgement
- LabelType Static
- LabelString "Acknowledgement."
-End
-
-
-Style Case
- LabelType Static
- LabelString "Case."
-End
-
-
-Style Conclusion
- LabelType Static
- LabelString "Conclusion."
-End
+Input amsmaths-plain.inc
