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 Kimberly Heck <rikiheck@lyx.org>
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)
28 Input theorems-counters-bytype.inc
70 OutlinerName thm "Definitions & Theorems"
82 LabelString "Additional Theorem Text"
83 Tooltip "Additional text appended to the theorem header"
97 LabelString "Theorem \thetheorem."
108 \ifx\thechapter\undefined
109 \newtheorem{thm}{\protect\theoremname}
111 \newtheorem{thm}{\protect\theoremname}[chapter]
115 \providecommand{\theoremname}{_(Theorem)}
118 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
121 DocBookWrapperTag figure
122 DocBookWrapperAttr role='theorem'
124 DocBookGenerateTitle true
125 DocBookWrapperMergeWithPrevious true
132 LabelString "Corollary \thecorollary."
135 \ifx\thechapter\undefined
136 \newtheorem{cor}{\protect\corollaryname}
138 \newtheorem{cor}{\protect\corollaryname}[chapter]
141 LabelCounter corollary
143 \providecommand{\corollaryname}{_(Corollary)}
146 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
148 DocBookWrapperTag figure
149 DocBookWrapperAttr role='corollary'
151 DocBookGenerateTitle true
152 DocBookWrapperMergeWithPrevious true
159 LabelString "Lemma \thelemma."
162 \ifx\thechapter\undefined
163 \newtheorem{lem}{\protect\lemmaname}
165 \newtheorem{lem}{\protect\lemmaname}[chapter]
169 \providecommand{\lemmaname}{_(Lemma)}
172 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
175 DocBookWrapperTag figure
176 DocBookWrapperAttr role='lemma'
178 DocBookGenerateTitle true
179 DocBookWrapperMergeWithPrevious true
186 LabelString "Proposition \theproposition."
189 \ifx\thechapter\undefined
190 \newtheorem{prop}{\protect\propositionname}
192 \newtheorem{prop}{\protect\propositionname}[chapter]
196 \providecommand{\propositionname}{_(Proposition)}
199 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
201 LabelCounter proposition
202 DocBookWrapperTag figure
203 DocBookWrapperAttr role='proposition'
205 DocBookGenerateTitle true
206 DocBookWrapperMergeWithPrevious true
213 LabelString "Conjecture \theconjecture."
216 \ifx\thechapter\undefined
217 \newtheorem{conjecture}{\protect\conjecturename}
219 \newtheorem{conjecture}{\protect\conjecturename}[chapter]
223 \providecommand{\conjecturename}{_(Conjecture)}
226 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
228 LabelCounter conjecture
229 DocBookWrapperTag figure
230 DocBookWrapperAttr role='conjecture'
232 DocBookGenerateTitle true
233 DocBookWrapperMergeWithPrevious true
240 LabelString "Fact \thefact."
243 \ifx\thechapter\undefined
244 \newtheorem{fact}{\protect\factname}
246 \newtheorem{fact}{\protect\factname}[chapter]
250 \providecommand{\factname}{_(Fact)}
253 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
256 DocBookWrapperTag figure
257 DocBookWrapperAttr role='fact'
259 DocBookGenerateTitle true
260 DocBookWrapperMergeWithPrevious true
267 LabelString "Definition \thedefinition."
276 \theoremstyle{definition}
277 \ifx\thechapter\undefined
278 \newtheorem{defn}{\protect\definitionname}
280 \newtheorem{defn}{\protect\definitionname}[chapter]
284 \providecommand{\definitionname}{_(Definition)}
287 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
289 LabelCounter definition
290 DocBookWrapperTag figure
291 DocBookWrapperAttr role='definition'
293 DocBookGenerateTitle true
294 DocBookWrapperMergeWithPrevious true
301 LabelString "Example \theexample."
303 \theoremstyle{definition}
304 \ifx\thechapter\undefined
305 \newtheorem{example}{\protect\examplename}
307 \newtheorem{example}{\protect\examplename}[chapter]
312 \providecommand{\examplename}{_(Example)}
315 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
318 DocBookWrapperTag informalexample
327 LabelString "Problem \theproblem."
329 \theoremstyle{definition}
330 \ifx\thechapter\undefined
331 \newtheorem{problem}{\protect\problemname}
333 \newtheorem{problem}{\protect\problemname}[chapter]
338 \providecommand{\problemname}{_(Problem)}
341 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
344 DocBookWrapperTag figure
345 DocBookWrapperAttr role='problem'
347 DocBookGenerateTitle true
348 DocBookWrapperMergeWithPrevious true
355 LabelString "Exercise \theexercise."
357 \theoremstyle{definition}
358 \ifx\thechapter\undefined
359 \newtheorem{xca}{\protect\exercisename}
361 \newtheorem{xca}{\protect\exercisename}[chapter]
366 \providecommand{\exercisename}{_(Exercise)}
369 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
371 LabelCounter exercise
372 DocBookWrapperTag figure
373 DocBookWrapperAttr role='exercise'
375 DocBookGenerateTitle true
376 DocBookWrapperMergeWithPrevious true
383 LabelString "Solution \thesolution."
385 \theoremstyle{definition}
386 \ifx\thechapter\undefined
387 \newtheorem{sol}{\protect\solutionname}
389 \newtheorem{sol}{\protect\solutionname}[chapter]
394 \providecommand{\solutionname}{_(Solution)}
397 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
399 LabelCounter solution
400 DocBookWrapperTag figure
401 DocBookWrapperAttr role='solution'
403 DocBookGenerateTitle true
404 DocBookWrapperMergeWithPrevious true
411 LabelString "Remark \theremark."
421 \theoremstyle{remark}
422 \ifx\thechapter\undefined
423 \newtheorem{rem}{\protect\remarkname}
425 \newtheorem{rem}{\protect\remarkname}[chapter]
429 \providecommand{\remarkname}{_(Remark)}
432 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
435 DocBookWrapperTag figure
436 DocBookWrapperAttr role='remark'
438 DocBookGenerateTitle true
439 DocBookWrapperMergeWithPrevious true
446 LabelString "Claim \theclaim."
448 \theoremstyle{remark}
449 \ifx\thechapter\undefined
450 \newtheorem{claim}{\protect\claimname}
452 \newtheorem{claim}{\protect\claimname}[chapter]
457 \providecommand{\claimname}{_(Claim)}
460 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
463 DocBookWrapperTag figure
464 DocBookWrapperAttr role='claim'
466 DocBookGenerateTitle true
467 DocBookWrapperMergeWithPrevious true
471 Input theorems-case.inc