Antonio José Guirao Sánchez wrote:
Hello, in the wiki we can find two layout for amsart. Since I downloaded the version 1.5.2 for windows, automatically i downloaded the same version of this layout. However I have realized of a big problem of that layout. I wrote a paper with several lemmas, propositions and theorems, but the first environment of this kind appearing in the paper was a lemma. I couldn't obtain a pdf file from this. I realized that amsart. layout version 1.5.2 added some lines defining the respective environments but exactly in the order the were appearing. So first is was defined lemmas and secondly theorem. But this is a problem since the definition of the lemma depends on the counter associated to the theorem which is defined afterwards.

OOPS! I verified this. The attached version of amsmaths.inc should fix it. You can either put this in ~/.lyx/layouts or overwrite the original in the layouts directory with it. I'll post it to the wiki shortly.

I solved this problem with amsart. layout version 1.4. But this layout also has a problem. When I want to write an Abstract, since I am Spanish I select the type of paragraph "Resumen" but the environment lyx introduce is not what I want. It introduces something like "\begin{summary}\end{summary}". I know that this has a simple solution writing just a ERT command. But I know that LyX recognizes the paragraph ABSTRACT. The point is that, maybe is a mistake in the amsart. layout o is a problem with the translation to Spanish.

I think this is a translation issue.  Is it also a problem with 1.5?

I can fix this layout for me but I prefer if someone can take a look on it and create a good layout for amsart, which is in my opinion, one of the most used layouts.

Well, we've been trying to produce a "good" layout for amsart (and its plain and sequential variants), but that seems to be proving a bit elusive. :-) If you find further bugs (or missing features), please post them here, and someone will attempt a fix.

/Paul
# Author : David L. Johnson <[EMAIL PROTECTED]>
# Probably broken by Jean-Marc Lasgouttes <[EMAIL PROTECTED]>
# modified and modularized by Emmanuel GUREGHIAN <[EMAIL PROTECTED]>
# This version has Theorems and other results numbered in one sequence, and all
# 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 (regular and starred) are :
# - Theorem
# - Corollary
# - Lemma
# - Proposition
# - Conjecture
# - Criterion
# - Algorithm
# - Axiom
# - Definition
# - Example
# - Condition
# - Problem
# - Exercise
# - Remark
# - Note
# - Notation
# - Claim
# - Summary
# - Acknowledgement
# - Conclusion
# - Fact
# - Assumption
# - Case (regular only -- defined as an enumeration)

Format 4


Counter
        Name                 theorem
        Within               section
End

# Define thm up front, in case it is invoked by a lemma/conjecture/...
# before the first (if any) instance of Theorem.
Preamble
         \theoremstyle{plain}
         \newtheorem{thm}{Theorem}[section]
EndPreamble

Style Theorem
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             thm
        #DependsOn             TheoremStyle
        NextNoIndent          1
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4
        ItemSep               0.2
        TopSep                0.7
        BottomSep             0.7
        ParSep                0.3
        Align                 Block
        AlignPossible         Block, Left
        LabelType             Counter
        LabelCounter          theorem
        LabelString           "Theorem @[EMAIL PROTECTED]"
        Font
          Shape               Italic
          Size                Normal
        EndFont
        LabelFont
          Shape               Up
          Series              Bold
        EndFont
End


Style Theorem*
        CopyStyle             Theorem
        LatexName             thm*
        LabelType             Static
        LabelString           "Theorem."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{thm*}{Theorem}
        EndPreamble
End


Style Corollary
        CopyStyle             Theorem
        LatexName             cor
        LabelString           "Corollary @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{plain}
          \newtheorem{cor}[thm]{Corollary}
        EndPreamble
End


Style Corollary*
        CopyStyle             Theorem*
        LatexName             cor*
        LabelString           "Corollary."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{cor*}{Corollary}
        EndPreamble
End


Style Lemma
        CopyStyle             Theorem
        LatexName             lem
        LabelString           "Lemma @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{plain}
          \newtheorem{lem}[thm]{Lemma}
        EndPreamble
End


Style Lemma*
        CopyStyle             Theorem*
        LatexName             lem*
        LabelString           "Lemma."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{lem*}{Lemma}
        EndPreamble
End


Style Proposition
        CopyStyle             Theorem
        LatexName             prop
        LabelString           "Proposition @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{plain}
          \newtheorem{prop}[thm]{Proposition}
        EndPreamble
End


Style Proposition*
        CopyStyle             Theorem*
        LatexName             prop*
        LabelString           "Proposition."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{prop*}{Proposition}
        EndPreamble
End


Style Conjecture
        CopyStyle             Theorem
        LatexName             conjecture
        LabelString           "Conjecture @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{plain}
          \newtheorem{conjecture}[thm]{Conjecture}
        EndPreamble
End


Style Conjecture*
        CopyStyle             Theorem*
        LatexName             conjecture*
        LabelString           "Conjecture."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{conjecture*}{Conjecture}
        EndPreamble
End


Style Criterion
        CopyStyle             Theorem
        LatexName             criterion
        LabelString           "Criterion @[EMAIL PROTECTED]"
        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
        LatexName             algorithm
        LabelString           "Algorithm @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{plain}
          \newtheorem{algorithm}[thm]{Algorithm}
        EndPreamble
End


Style Algorithm*
        CopyStyle             Theorem*
        LatexName             algorithm*
        LabelString           "Algorithm."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{algorithm*}{Algorithm}
        EndPreamble
End


Style Fact
        CopyStyle             Theorem
        LatexName             fact
        LabelString           "Fact @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{plain}
          \newtheorem{fact}[thm]{Fact}
        EndPreamble
End


Style Fact*
        CopyStyle             Theorem*
        LatexName             fact*
        LabelString           "Fact."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{fact*}{Fact}
        EndPreamble
End


Style Axiom
        CopyStyle             Theorem
        LatexName             ax
        LabelString           "Axiom @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{plain}
          \newtheorem{ax}[thm]{Axiom}
        EndPreamble
End


Style Axiom*
        CopyStyle             Theorem*
        LatexName             ax*
        LabelString           "Axiom."
        Preamble
          \theoremstyle{plain}
          \newtheorem*{ax*}{Axiom}
        EndPreamble
End


Style Definition
        CopyStyle             Theorem
        LatexName             defn
        LabelString           "Definition @[EMAIL PROTECTED]"
        Font
          Shape               Up
        EndFont
        LabelFont
          Shape               Up
          Series              Bold
        EndFont
        Preamble
          \theoremstyle{definition}
          \newtheorem{defn}[thm]{Definition}
        EndPreamble
End


Style Definition*
        CopyStyle             Definition
        LatexName             defn*
        LabelType             Static
        LabelString           "Definition."
        Preamble
         \theoremstyle{definition}
         \newtheorem*{defn*}{Definition}
        EndPreamble
End


Style Example
        CopyStyle             Definition
        LatexName             example
        LabelString           "Example @[EMAIL PROTECTED]"
        Preamble
         \theoremstyle{definition}
          \newtheorem{example}[thm]{Example}
        EndPreamble
End


Style Example*
        CopyStyle             Definition*
        LatexName             example*
        LabelString           "Example."
        Preamble
          \theoremstyle{definition}
          \newtheorem*{example*}{Example}
        EndPreamble
End


Style Condition
        CopyStyle             Definition
        LatexName             condition
        LabelString           "Condition @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{definition}
          \newtheorem{condition}[thm]{Condition}
        EndPreamble
End


Style Condition*
        CopyStyle             Definition*
        LatexName             condition*
        LabelString           "Condition."
        Preamble
          \theoremstyle{definition}
          \newtheorem*{condition*}{Condition}
        EndPreamble
End


Style Problem
        CopyStyle             Definition
        LatexName             problem
        LabelString           "Problem @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{definition}
          \newtheorem{problem}[thm]{Problem}
        EndPreamble
End


Style Problem*
        CopyStyle             Definition*
        LatexName             problem*
        LabelString           "Problem."
        Preamble
          \theoremstyle{definition}
          \newtheorem*{problem*}{Problem}
        EndPreamble
End


Style Exercise
        CopyStyle             Definition
        LatexName             xca
        LabelString           "Exercise @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{definition}
          \newtheorem{xca}[thm]{Exercise}
        EndPreamble
End


Style Exercise*
        CopyStyle             Definition*
        LatexName             xca*
        LabelString           "Exercise."
        Preamble
          \theoremstyle{definition}
          \newtheorem*{xca*}{Exercise}
        EndPreamble
End


Style Remark
        CopyStyle             Theorem
        LatexName             rem
        LabelString           "Remark @[EMAIL PROTECTED]"
        Font
          Shape               Up
          Size                Normal
        EndFont
        LabelFont
          Series              Medium
          Shape               Italic
        EndFont
        Preamble
          \theoremstyle{remark}
          \newtheorem{rem}[thm]{Remark}
        EndPreamble
End


Style Remark*
        CopyStyle             Remark
        LatexName             rem*
        LabelType             Static
        LabelString           "Remark."
        Preamble
          \theoremstyle{remark}
          \newtheorem*{rem*}{Remark}
        EndPreamble
End


Style Claim
        CopyStyle             Remark
        LatexName             claim
        LabelString           "Claim @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{remark}
          \newtheorem{claim}[thm]{Claim}
        EndPreamble
End


Style Claim*
        CopyStyle             Remark*
        LatexName             claim*
        LabelString           "Claim."
        Preamble
          \theoremstyle{remark}
          \newtheorem*{claim*}{Claim}
        EndPreamble
End


Style Note
        CopyStyle             Remark
        LatexName             note
        LabelString           "Note @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{remark}
          \newtheorem{note}[thm]{Note}
        EndPreamble
End


Style Note*
        CopyStyle             Remark*
        LatexName             note*
        LabelString           "Note."
        Preamble
          \theoremstyle{remark}
          \newtheorem*{note*}{Note}
        EndPreamble
End


Style Notation
        CopyStyle             Remark
        LatexName             notation
        LabelString           "Notation @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{remark}
          \newtheorem{notation}[thm]{Notation}
        EndPreamble
End


Style Notation*
        CopyStyle             Remark*
        LatexName             notation*
        LabelString           "Notation."
        Preamble
          \theoremstyle{remark}
          \newtheorem*{notation*}{Notation}
        EndPreamble
End


Style Summary
        CopyStyle             Remark
        LatexName             summary
        LabelString           "Summary @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{remark}
          \newtheorem{summary}[thm]{Summary}
        EndPreamble
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 @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{remark}
          \newtheorem{acknowledgement}[thm]{Acknowledgement}
        EndPreamble
End


Style Acknowledgement*
        CopyStyle             Remark*
        LatexName             acknowledgement*
        LabelString           "Acknowledgement."
        Preamble
          \theoremstyle{remark}
          \newtheorem*{acknowledgement*}{Acknowledgement}
        EndPreamble
End


Style Conclusion
        CopyStyle             Remark
        LatexName             conclusion
        LabelString           "Conclusion @[EMAIL PROTECTED]"
        Preamble
          \theoremstyle{remark}
          \newtheorem{conclusion}[thm]{Conclusion}
        EndPreamble
End


Style Conclusion*
        CopyStyle             Remark*
        LatexName             conclusion*
        LabelString           "Conclusion."
        Preamble
          \theoremstyle{remark}
          \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

Reply via email to