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)}}
122 DocBookAttr role='theorem'
129 LabelString "Corollary \thecorollary."
132 \ifx\thechapter\undefined
133 \newtheorem{cor}{\protect\corollaryname}
135 \newtheorem{cor}{\protect\corollaryname}[chapter]
138 LabelCounter corollary
140 \providecommand{\corollaryname}{_(Corollary)}
143 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
146 DocBookAttr role='corollary'
153 LabelString "Lemma \thelemma."
156 \ifx\thechapter\undefined
157 \newtheorem{lem}{\protect\lemmaname}
159 \newtheorem{lem}{\protect\lemmaname}[chapter]
163 \providecommand{\lemmaname}{_(Lemma)}
166 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
170 DocBookAttr role='lemma'
177 LabelString "Proposition \theproposition."
180 \ifx\thechapter\undefined
181 \newtheorem{prop}{\protect\propositionname}
183 \newtheorem{prop}{\protect\propositionname}[chapter]
187 \providecommand{\propositionname}{_(Proposition)}
190 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
192 LabelCounter proposition
194 DocBookAttr role='proposition'
201 LabelString "Conjecture \theconjecture."
204 \ifx\thechapter\undefined
205 \newtheorem{conjecture}{\protect\conjecturename}
207 \newtheorem{conjecture}{\protect\conjecturename}[chapter]
211 \providecommand{\conjecturename}{_(Conjecture)}
214 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
216 LabelCounter conjecture
218 DocBookAttr role='conjecture'
225 LabelString "Fact \thefact."
228 \ifx\thechapter\undefined
229 \newtheorem{fact}{\protect\factname}
231 \newtheorem{fact}{\protect\factname}[chapter]
235 \providecommand{\factname}{_(Fact)}
238 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
242 DocBookAttr role='fact'
249 LabelString "Definition \thedefinition."
258 \theoremstyle{definition}
259 \ifx\thechapter\undefined
260 \newtheorem{defn}{\protect\definitionname}
262 \newtheorem{defn}{\protect\definitionname}[chapter]
266 \providecommand{\definitionname}{_(Definition)}
269 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
271 LabelCounter definition
273 DocBookAttr role='definition'
280 LabelString "Example \theexample."
282 \theoremstyle{definition}
283 \ifx\thechapter\undefined
284 \newtheorem{example}{\protect\examplename}
286 \newtheorem{example}{\protect\examplename}[chapter]
291 \providecommand{\examplename}{_(Example)}
294 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
297 DocBookWrapperTag informalexample
306 LabelString "Problem \theproblem."
308 \theoremstyle{definition}
309 \ifx\thechapter\undefined
310 \newtheorem{problem}{\protect\problemname}
312 \newtheorem{problem}{\protect\problemname}[chapter]
317 \providecommand{\problemname}{_(Problem)}
320 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
324 DocBookAttr role='problem'
331 LabelString "Exercise \theexercise."
333 \theoremstyle{definition}
334 \ifx\thechapter\undefined
335 \newtheorem{xca}{\protect\exercisename}
337 \newtheorem{xca}{\protect\exercisename}[chapter]
342 \providecommand{\exercisename}{_(Exercise)}
345 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
347 LabelCounter exercise
349 DocBookAttr role='exercise'
356 LabelString "Solution \thesolution."
358 \theoremstyle{definition}
359 \ifx\thechapter\undefined
360 \newtheorem{sol}{\protect\solutionname}
362 \newtheorem{sol}{\protect\solutionname}[chapter]
367 \providecommand{\solutionname}{_(Solution)}
370 \addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
372 LabelCounter solution
374 DocBookAttr role='solution'
381 LabelString "Remark \theremark."
391 \theoremstyle{remark}
392 \ifx\thechapter\undefined
393 \newtheorem{rem}{\protect\remarkname}
395 \newtheorem{rem}{\protect\remarkname}[chapter]
399 \providecommand{\remarkname}{_(Remark)}
402 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
413 LabelString "Claim \theclaim."
415 \theoremstyle{remark}
416 \ifx\thechapter\undefined
417 \newtheorem{claim}{\protect\claimname}
419 \newtheorem{claim}{\protect\claimname}[chapter]
424 \providecommand{\claimname}{_(Claim)}
427 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
431 DocBookAttr role='claim'
436 Input theorems-case.inc