1 # Original Author : David L. Johnson <dlj0@lehigh.edu>
2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
4 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
5 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
6 # Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
7 # Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
9 # The environments defined are :
23 # - Case (by inclusion)
26 # We need separate counters for each theorem-like style.
81 OutlinerName thm "Definitions & Theorems"
93 LabelString "Additional Theorem Text"
94 Tooltip "Additional text appended to the theorem header"
108 LabelString "Theorem \thetheorem."
119 \ifx\thechapter\undefined
120 \newtheorem{thm}{\protect\theoremname}
122 \newtheorem{thm}{\protect\theoremname}[chapter]
126 \providecommand{\theoremname}{_(Theorem)}
129 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
133 DocBookAttr role='theorem'
140 LabelString "Corollary \thecorollary."
143 \ifx\thechapter\undefined
144 \newtheorem{cor}{\protect\corollaryname}
146 \newtheorem{cor}{\protect\corollaryname}[chapter]
149 LabelCounter corollary
151 \providecommand{\corollaryname}{_(Corollary)}
154 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
157 DocBookAttr role='corollary'
164 LabelString "Lemma \thelemma."
167 \ifx\thechapter\undefined
168 \newtheorem{lem}{\protect\lemmaname}
170 \newtheorem{lem}{\protect\lemmaname}[chapter]
174 \providecommand{\lemmaname}{_(Lemma)}
177 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
181 DocBookAttr role='lemma'
188 LabelString "Proposition \theproposition."
191 \ifx\thechapter\undefined
192 \newtheorem{prop}{\protect\propositionname}
194 \newtheorem{prop}{\protect\propositionname}[chapter]
198 \providecommand{\propositionname}{_(Proposition)}
201 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
203 LabelCounter proposition
205 DocBookAttr role='proposition'
212 LabelString "Conjecture \theconjecture."
215 \ifx\thechapter\undefined
216 \newtheorem{conjecture}{\protect\conjecturename}
218 \newtheorem{conjecture}{\protect\conjecturename}[chapter]
222 \providecommand{\conjecturename}{_(Conjecture)}
225 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
227 LabelCounter conjecture
229 DocBookAttr role='conjecture'
236 LabelString "Fact \thefact."
239 \ifx\thechapter\undefined
240 \newtheorem{fact}{\protect\factname}
242 \newtheorem{fact}{\protect\factname}[chapter]
246 \providecommand{\factname}{_(Fact)}
249 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
253 DocBookAttr role='fact'
260 LabelString "Definition \thedefinition."
269 \theoremstyle{definition}
270 \ifx\thechapter\undefined
271 \newtheorem{defn}{\protect\definitionname}
273 \newtheorem{defn}{\protect\definitionname}[chapter]
277 \providecommand{\definitionname}{_(Definition)}
280 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
282 LabelCounter definition
284 DocBookAttr role='definition'
291 LabelString "Example \theexample."
293 \theoremstyle{definition}
294 \ifx\thechapter\undefined
295 \newtheorem{example}{\protect\examplename}
297 \newtheorem{example}{\protect\examplename}[chapter]
302 \providecommand{\examplename}{_(Example)}
305 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
308 DocBookWrapperTag informalexample
317 LabelString "Problem \theproblem."
319 \theoremstyle{definition}
320 \ifx\thechapter\undefined
321 \newtheorem{problem}{\protect\problemname}
323 \newtheorem{problem}{\protect\problemname}[chapter]
328 \providecommand{\problemname}{_(Problem)}
331 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
335 DocBookAttr role='problem'
342 LabelString "Exercise \theexercise."
344 \theoremstyle{definition}
345 \ifx\thechapter\undefined
346 \newtheorem{xca}{\protect\exercisename}
348 \newtheorem{xca}{\protect\exercisename}[chapter]
353 \providecommand{\exercisename}{_(Exercise)}
356 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
358 LabelCounter exercise
360 DocBookAttr role='exercise'
367 LabelString "Solution \thesolution."
369 \theoremstyle{definition}
370 \ifx\thechapter\undefined
371 \newtheorem{sol}{\protect\solutionname}
373 \newtheorem{sol}{\protect\solutionname}[chapter]
378 \providecommand{\solutionname}{_(Solution)}
381 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
383 LabelCounter solution
385 DocBookAttr role='solution'
392 LabelString "Remark \theremark."
402 \theoremstyle{remark}
403 \ifx\thechapter\undefined
404 \newtheorem{rem}{\protect\remarkname}
406 \newtheorem{rem}{\protect\remarkname}[chapter]
410 \providecommand{\remarkname}{_(Remark)}
413 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
424 LabelString "Claim \theclaim."
426 \theoremstyle{remark}
427 \ifx\thechapter\undefined
428 \newtheorem{claim}{\protect\claimname}
430 \newtheorem{claim}{\protect\claimname}[chapter]
435 \providecommand{\claimname}{_(Claim)}
438 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
442 DocBookAttr role='claim'
447 Input theorems-case.inc