#\DeclareLyXModule{AMS Theorems (Extended, Numbered by Type within Chapters)}
#\DeclareCategory{Maths}
#DescriptionBegin
#Defines some additional theorem environments for use with the
#AMS theorems packages. Includes Criterion, Algorithm, Axiom,
#Condition, Note, Notation, Summary, Conclusion,
#Assumption, and Case, in both numbered and non-numbered forms.
#Contrary to the plain AMS-Extended module, the different theorem
#types provided here each have a separate counter, restarted with each
#new chapter (e.g., criterion 1.1, criterion 1.2, axiom 1.1, assumption 1.1, #criterion 2.1, criterion 2.2, axiom 2.1..., as opposed to criterion 1,
#criterion 2, axiom 3, assumption 4...)
#DescriptionEnd
#Requires: theorems-ams-chap-bytype

# Original Author : David L. Johnson <dlj0@lehigh.edu>
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>

Format 104

Requires	amsmath

# The environnements defined (regular and starred) are :
# - Criterion
# - Algorithm
# - Axiom
# - Condition
# - Note
# - Notation
# - Summary
# - Conclusion
# - Assumption
# - Question

Input theorems-counters-extended-bytype.inc
Counter criterion
	Within chapter
End
Counter algorithm
	Within chapter
End
Counter axiom
	Within chapter
End
Counter condition
	Within chapter
End
Counter note
	Within chapter
End
Counter notation
	Within chapter
End
Counter summary
	Within chapter
End
Counter conclusion
	Within chapter
End
Counter assumption
	Within chapter
End
Counter question
	Within chapter
End


# additional (AMS-extended) environments

Style Criterion
	CopyStyle             Theorem
	LatexName             criterion
	LabelString           "Criterion \thecriterion."
	Preamble
	  \theoremstyle{plain}
    \ifx\thechapter\undefined
      \newtheorem{criterion}{\protect\criterionname}
    \else
      \newtheorem{criterion}{\protect\criterionname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\criterionname}{_(Criterion)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
	EndBabelPreamble
	LabelCounter          criterion
	DocBookTag            para
	DocBookAttr           role='criterion'
	DocBookItemTag        ""
End


Style Criterion*
	CopyStyle             Theorem*
	LatexName             criterion*
	LabelString           "Criterion."
	Preamble
	  \theoremstyle{plain}
	  \newtheorem*{criterion*}{\protect\criterionname}
	EndPreamble
	LangPreamble
	  \providecommand{\criterionname}{_(Criterion)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\criterionname}{_(Criterion)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='criterion'
	DocBookItemTag        ""
End


Style Algorithm
	CopyStyle             Theorem
	LatexName             lyxalgorithm
	LabelString           "Algorithm \thealgorithm."
	Preamble
	  \theoremstyle{plain}
    \ifx\thechapter\undefined
      \newtheorem{lyxalgorithm}{\protect\algorithmname}
    \else
      \newtheorem{lyxalgorithm}{\protect\algorithmname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\algorithmname}{_(Algorithm)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
	EndBabelPreamble
	LabelCounter          algorithm
	DocBookTag            para
	DocBookAttr           role='algorithm'
	DocBookItemTag        ""
End


Style Algorithm*
	CopyStyle             Theorem*
	LatexName             lyxalgorithm*
	LabelString           "Algorithm."
	Preamble
	  \theoremstyle{plain}
	  \newtheorem*{lyxalgorithm*}{\protect\algorithmname}
	EndPreamble
	LangPreamble
	  \providecommand{\algorithmname}{_(Algorithm)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\algorithmname}{_(Algorithm)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='algorithm'
	DocBookItemTag        ""
End


Style Axiom
	CopyStyle             Theorem
	LatexName             ax
	LabelString           "Axiom \theaxiom."
	Preamble
	  \theoremstyle{plain}
    \ifx\thechapter\undefined
      \newtheorem{ax}{\protect\axiomname}
    \else
      \newtheorem{ax}{\protect\axiomname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\axiomname}{_(Axiom)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
	EndBabelPreamble
	LabelCounter          axiom
	DocBookTag            para
	DocBookAttr           role='axiom'
	DocBookItemTag        ""
End


Style Axiom*
	CopyStyle             Theorem*
	LatexName             ax*
	LabelString           "Axiom."
	Preamble
	  \theoremstyle{plain}
	  \newtheorem*{ax*}{\protect\axiomname}
	EndPreamble
	LangPreamble
	  \providecommand{\axiomname}{_(Axiom)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\axiomname}{_(Axiom)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='axiom'
	DocBookItemTag        ""
End


Style Condition
	CopyStyle             Definition
	LatexName             condition
	LabelString           "Condition \thecondition."
	Preamble
	  \theoremstyle{definition}
    \ifx\thechapter\undefined
      \newtheorem{condition}{\protect\conditionname}
    \else
      \newtheorem{condition}{\protect\conditionname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\conditionname}{_(Condition)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
	EndBabelPreamble
	LabelCounter          condition
	DocBookTag            para
	DocBookAttr           role='condition'
	DocBookItemTag        ""
End


Style Condition*
	CopyStyle             Definition*
	LatexName             condition*
	LabelString           "Condition."
	Preamble
	  \theoremstyle{definition}
	  \newtheorem*{condition*}{\protect\conditionname}
	EndPreamble
	LangPreamble
	  \providecommand{\conditionname}{_(Condition)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\conditionname}{_(Condition)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='condition'
	DocBookItemTag        ""
End


Style Note
	CopyStyle             Remark
	LatexName             note
	LabelString           "Note \thenote."
	Preamble
	  \theoremstyle{remark}
    \ifx\thechapter\undefined
      \newtheorem{note}{\protect\notename}
    \else
      \newtheorem{note}{\protect\notename}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\notename}{_(Note)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
	EndBabelPreamble
	LabelCounter          note
	DocBookTag            note
	DocBookItemTag        para
End


Style Note*
	CopyStyle             Remark*
	LatexName             note*
	LabelString           "Note."
	Preamble
	  \theoremstyle{remark}
	  \newtheorem*{note*}{\protect\notename}
	EndPreamble
	LangPreamble
	  \providecommand{\notename}{_(Note)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
	EndBabelPreamble
	DocBookTag            note
	DocBookItemTag        para
End


Style Notation
	CopyStyle             Remark
	LatexName             notation
	LabelString           "Notation \thenotation."
	Preamble
	  \theoremstyle{remark}
    \ifx\thechapter\undefined
      \newtheorem{notation}{\protect\notationname}
    \else
      \newtheorem{notation}{\protect\notationname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\notationname}{_(Notation)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
	EndBabelPreamble
	LabelCounter          notation
	DocBookTag            para
	DocBookAttr           role='notation'
	DocBookItemTag        ""
End


Style Notation*
	CopyStyle             Remark*
	LatexName             notation*
	LabelString           "Notation."
	Preamble
	  \theoremstyle{remark}
	  \newtheorem*{notation*}{\protect\notationname}
	EndPreamble
	LangPreamble
	  \providecommand{\notationname}{_(Notation)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\notationname}{_(Notation)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='notation'
	DocBookItemTag        ""
End


Style Summary
	CopyStyle             Remark
	LatexName             summary
	LabelString           "Summary \thesummary."
	Preamble
	  \theoremstyle{remark}
    \ifx\thechapter\undefined
      \newtheorem{summary}{\protect\summaryname}
    \fi
    \else
      \newtheorem{summary}{\protect\summaryname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\summaryname}{_(Summary)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
	EndBabelPreamble
	LabelCounter          summary
	DocBookTag            para
	DocBookAttr           role='summary'
	DocBookItemTag        ""
End


Style Summary*
	CopyStyle             Remark*
	LatexName             summary*
	LabelString           "Summary."
	Preamble
	  \theoremstyle{remark}
	  \newtheorem*{summary*}{\protect\summaryname}
	EndPreamble
	LangPreamble
	  \providecommand{\summaryname}{_(Summary)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\summaryname}{_(Summary)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='summary'
	DocBookItemTag        ""
End


Style Conclusion
	CopyStyle             Remark
	LatexName             conclusion
	LabelString           "Conclusion \theconclusion."
	Preamble
	  \theoremstyle{remark}
    \ifx\thechapter\undefined
      \newtheorem{conclusion}{\protect\conclusionname}
    \else
      \newtheorem{conclusion}{\protect\conclusionname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\conclusionname}{_(Conclusion)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
	EndBabelPreamble
	LabelCounter          conclusion
	DocBookTag            para
	DocBookAttr           role='conclusion'
	DocBookItemTag        ""
End


Style Conclusion*
	CopyStyle             Remark*
	LatexName             conclusion*
	LabelString           "Conclusion."
	Preamble
	  \theoremstyle{remark}
	  \newtheorem*{conclusion*}{\protect\conclusionname}
	EndPreamble
	LangPreamble
	  \providecommand{\conclusionname}{_(Conclusion)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\conclusionname}{_(Conclusion)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='conclusion'
	DocBookItemTag        ""
End


Style Assumption
	CopyStyle             Theorem
	LatexName             assumption
	LabelString           "Assumption \theassumption."
	Preamble
	  \theoremstyle{plain}
    \ifx\thechapter\undefined
      \newtheorem{assumption}{\protect\assumptionname}
    \else
      \newtheorem{assumption}{\protect\assumptionname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\assumptionname}{_(Assumption)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
	EndBabelPreamble
	LabelCounter          assumption
	DocBookTag            para
	DocBookAttr           role='assumption'
	DocBookItemTag        ""
End


Style Assumption*
	CopyStyle             Theorem*
	LatexName             assumption*
	LabelString           "Assumption."
	Preamble
	  \theoremstyle{plain}
	  \newtheorem*{assumption*}{\protect\assumptionname}
	EndPreamble
	LangPreamble
	  \providecommand{\assumptionname}{_(Assumption)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\assumptionname}{_(Assumption)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='assumption'
	DocBookItemTag        ""
End

Style Question
	CopyStyle             Theorem
	DependsOn             Theorem
	LatexName             question
	LabelString           "Question \thequestion."
	Preamble
	  \theoremstyle{plain}
    \ifx\thechapter\undefined
      \newtheorem{question}{\protect\questionname}
    \else
      \newtheorem{question}{\protect\questionname}[chapter]
    \fi
	EndPreamble
	LangPreamble
	  \providecommand{\questionname}{_(Question)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
	EndBabelPreamble
	LabelCounter          question
	DocBookTag            para
	DocBookAttr           role='question'
	DocBookItemTag        ""
End

Style Question*
	CopyStyle             Theorem*
	LatexName             question*
	LabelString           "Question."
	Preamble
	  \theoremstyle{plain}
	  \newtheorem*{question*}{\protect\questionname}
	EndPreamble
	LangPreamble
	  \providecommand{\questionname}{_(Question)}
	EndLangPreamble
	BabelPreamble
	  \addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
	EndBabelPreamble
	DocBookTag            para
	DocBookAttr           role='question'
	DocBookItemTag        ""
End

Input theorems-refprefix.inc
