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.
89 OutlinerName thm "Definitions & Theorems"
101 LabelString "Additional Theorem Text"
102 Tooltip "Additional text appended to the theorem header"
116 LabelString "Theorem \thetheorem."
127 \ifx\thechapter\undefined
128 \newtheorem{thm}{\protect\theoremname}
130 \newtheorem{thm}{\protect\theoremname}[chapter]
134 \providecommand{\theoremname}{_(Theorem)}
137 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
141 DocBookAttr role='theorem'
148 LabelString "Corollary \thecorollary."
151 \ifx\thechapter\undefined
152 \newtheorem{cor}{\protect\corollaryname}
154 \newtheorem{cor}{\protect\corollaryname}[chapter]
157 LabelCounter corollary
159 \providecommand{\corollaryname}{_(Corollary)}
162 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
165 DocBookAttr role='corollary'
172 LabelString "Lemma \thelemma."
175 \ifx\thechapter\undefined
176 \newtheorem{lem}{\protect\lemmaname}
178 \newtheorem{lem}{\protect\lemmaname}[chapter]
182 \providecommand{\lemmaname}{_(Lemma)}
185 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
189 DocBookAttr role='lemma'
196 LabelString "Proposition \theproposition."
199 \ifx\thechapter\undefined
200 \newtheorem{prop}{\protect\propositionname}
202 \newtheorem{prop}{\protect\propositionname}[chapter]
206 \providecommand{\propositionname}{_(Proposition)}
209 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
211 LabelCounter proposition
213 DocBookAttr role='proposition'
220 LabelString "Conjecture \theconjecture."
223 \ifx\thechapter\undefined
224 \newtheorem{conjecture}{\protect\conjecturename}
226 \newtheorem{conjecture}{\protect\conjecturename}[chapter]
230 \providecommand{\conjecturename}{_(Conjecture)}
233 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
235 LabelCounter conjecture
237 DocBookAttr role='conjecture'
244 LabelString "Fact \thefact."
247 \ifx\thechapter\undefined
248 \newtheorem{fact}{\protect\factname}
250 \newtheorem{fact}{\protect\factname}[chapter]
254 \providecommand{\factname}{_(Fact)}
257 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
261 DocBookAttr role='fact'
268 LabelString "Definition \thedefinition."
277 \theoremstyle{definition}
278 \ifx\thechapter\undefined
279 \newtheorem{defn}{\protect\definitionname}
281 \newtheorem{defn}{\protect\definitionname}[chapter]
285 \providecommand{\definitionname}{_(Definition)}
288 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
290 LabelCounter definition
292 DocBookAttr role='definition'
299 LabelString "Example \theexample."
301 \theoremstyle{definition}
302 \ifx\thechapter\undefined
303 \newtheorem{example}{\protect\examplename}
305 \newtheorem{example}{\protect\examplename}[chapter]
310 \providecommand{\examplename}{_(Example)}
313 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
316 DocBookWrapperTag informalexample
325 LabelString "Problem \theproblem."
327 \theoremstyle{definition}
328 \ifx\thechapter\undefined
329 \newtheorem{problem}{\protect\problemname}
331 \newtheorem{problem}{\protect\problemname}[chapter]
336 \providecommand{\problemname}{_(Problem)}
339 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
343 DocBookAttr role='problem'
350 LabelString "Exercise \theexercise."
352 \theoremstyle{definition}
353 \ifx\thechapter\undefined
354 \newtheorem{xca}{\protect\exercisename}
356 \newtheorem{xca}{\protect\exercisename}[chapter]
361 \providecommand{\exercisename}{_(Exercise)}
364 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
366 LabelCounter exercise
368 DocBookAttr role='exercise'
375 LabelString "Solution \thesolution."
377 \theoremstyle{definition}
378 \ifx\thechapter\undefined
379 \newtheorem{sol}{\protect\solutionname}
381 \newtheorem{sol}{\protect\solutionname}[chapter]
386 \providecommand{\solutionname}{_(Solution)}
389 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
391 LabelCounter solution
393 DocBookAttr role='solution'
400 LabelString "Remark \theremark."
410 \theoremstyle{remark}
411 \ifx\thechapter\undefined
412 \newtheorem{rem}{\protect\remarkname}
414 \newtheorem{rem}{\protect\remarkname}[chapter]
418 \providecommand{\remarkname}{_(Remark)}
421 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
432 LabelString "Claim \theclaim."
434 \theoremstyle{remark}
435 \ifx\thechapter\undefined
436 \newtheorem{claim}{\protect\claimname}
438 \newtheorem{claim}{\protect\claimname}[chapter]
443 \providecommand{\claimname}{_(Claim)}
446 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
450 DocBookAttr role='claim'
455 Input theorems-case.inc