From 4f617355bd5e865e45f1dd5c88172a1d38d41e81 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 12 Jan 2006 23:53:26 +0000 Subject: computational-complexity git-svn-id: svn://tug.org/texlive/trunk@781 c570f23f-e606-0410-a88d-b1316a301751 --- .../tex/latex/computational-complexity/ccthm.sty | 284 +++++++++++++++++++++ 1 file changed, 284 insertions(+) create mode 100644 Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty (limited to 'Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty') diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty new file mode 100644 index 00000000000..ad5bdb8fea3 --- /dev/null +++ b/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty @@ -0,0 +1,284 @@ +%% +%% This is file `ccthm.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% cc.dtx (with options: `ccthm,chartab') +%% +%% This is a generated file. +%% +%% Copyright 2000-2003 +%% Michael N"usken, Joachim von zur Gathen, computational complexity +%% +%% IMPORTANT NOTICE: +%% +%% You are *not* allowed to modify this file. +%% +%% You are *not* allowed to distribute this file. +%% For distribution of the original source see the terms +%% for copying and modification in the file cc.dtx. +%% +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} +\ProvidesPackage{ccthm}[2000/02/29 v2.04 + theorem environments for cc. Michael Nuesken, Bonn.] +\newif\if@theoremitemprefixes +\DeclareOption{theoremitemprefixes}{\@theoremitemprefixestrue} +\DeclareOption{notheoremitemprefixes}{\@theoremitemprefixesfalse} +\ExecuteOptions{theoremitemprefixes} +\ProcessOptions\relax +\RequirePackage{theorem}[1995/11/23 v2.2c] +\RequirePackage{thcc} +\RequirePackage{relabel} +\newtoks\everytheorem +\everytheorem{} +\if@theoremitemprefixes +\def\EnumerationInTheorems#1{% + \let\@thm@currentlabel\@empty + \let\@thm@bare@currentlabel\@empty + \let\@@refstepcounter\refstepcounter + \def\refstepcounter##1{% + \let\refstepcounter\@@refstepcounter + \let\@@refstepcounter\@undefined + \refstepcounter{##1}% + \let\@thm@currentlabel\@currentlabel + \protected@edef\@thm@bare@currentlabel{{\csname the##1\endcsname}}% + }% + \def\theenumi{\@roman\c@enumi}% + \def\labelenumi{(\theenumi)}% + \defprefix{enumi}##1{% + %%\Iflabelchanged{#1}{\uselabel{#1}}% + \protect\protect\protect\@@conduselabel + {{\protect\csname the#1\endcsname}}% + {\@thm@bare@currentlabel}{\@thm@currentlabel}% + (##1)}% + %%\def\theenumii{\@alph\c@enumii}% + %%\def\labelenumii{(\theenumii)}% + \defprefix{enumii}##1{% + %%\Iflabelchanged{#1}{\uselabel{#1}}% + \protect\protect\protect\@@conduselabel + {{\protect\csname the#1\endcsname}}% + {\@thm@bare@currentlabel}{\@thm@currentlabel}% + (\theenumi.##1)}% + \def\theenumiii{\@arabic\c@enumiii}% + \def\labelenumiii{(\theenumiii)}% + \defprefix{enumiii}##1{% + %%\Iflabelchanged{#1}{\uselabel{#1}}% + \protect\protect\protect\@@conduselabel + {{\protect\csname the#1\endcsname}}% + {\@thm@bare@currentlabel}{\@thm@currentlabel}% + (\theenumi.\theenumii.##1)}% + %%\def\theenumiv{\@Alph\c@enumiv}% + %%\def\labelenumiv{\theenumiv.}% + \defprefix{enumiv}##1{% + %%\Iflabelchanged{#1}{\uselabel{#1}}% + \protect\protect\protect\@@conduselabel + {{\protect\csname the#1\endcsname}}% + {\@thm@bare@currentlabel}{\@thm@currentlabel}% + (\theenumi.\theenumii.\theenumiii##1)} + } +\else +\def\EnumerationInTheorems#1{% + \def\theenumi{\@roman\c@enumi}% + \def\labelenumi{(\theenumi)}% + \defprefix{enumi}##1{(##1)}% + %%\def\theenumii{\@alph\c@enumii}% + %%\def\labelenumii{(\theenumii)}% + \defprefix{enumii}##1{(\theenumi.##1)}% + \def\theenumiii{\@arabic\c@enumiii}% + \def\labelenumiii{(\theenumiii)}% + \defprefix{enumiii}##1{(\theenumi.\theenumii.##1)}% + %%\def\theenumiv{\@Alph\c@enumiv}% + %%\def\labelenumiv{\theenumiv.}% + \defprefix{enumiv}##1{(\theenumi.\theenumii.\theenumiii##1)} + } +\fi +\def\theorempreamblenn\@thm#1#2{% + \defprefix{#1}##1{#2}% + \EnumerationInTheorems{#1}% + \pagebreak[3]\relax + \the\everytheorem + \@thm{#1}{#2}} +\theorem@bodyfont{\theorempreamblenn} +\theoremstyle{ccnn} +\newtoks\theoremtitle +\newtheorem{namedth@@r@m*}{\the\theoremtitle} +\newenvironment{namedtheorem*}[1]{% + \theoremtitle{#1}\csname namedth@@r@m*\endcsname} +{\csname endnamedth@@r@m*\endcsname} +\babel\def\Answer{Answer}[german=Antwort,french=Reponse] +\newtheorem{answer*}[namedth@@r@m*]{\Answer}% +\babel\def\Assumption{Assumption}[german=Annahme,french=Assomption] +\newtheorem{assumption*}[namedth@@r@m*]{\Assumption} +\babel\def\Claim{Claim}[german=Behauptung,french=Proposition] +\newtheorem{claim*}[namedth@@r@m*]{\Claim} +\babel\def\Conjecture{Conjecture}[german=Vermutung,french=Conjecture] +\newtheorem{conjecture*}[namedth@@r@m*]{\Conjecture} +\babel\def\Convention{Convention}[german=Vereinbarung,french=Convention] +\newtheorem{convention*}[namedth@@r@m*]{\Convention}% +\babel\def\Corollary{Corollary}[german=Korollar,french=Corollaire] +\newtheorem{corollary*}[namedth@@r@m*]{\Corollary} +\babel\def\Counterexample{Counterexample}[% + german=Gegenbeispiel,french=Contre-exemple] +\newtheorem{counterexample*}[namedth@@r@m*]{\Counterexample}% +\babel\def\Definition{Definition}[german=Definition,french=D\'efinition] +\newtheorem{definition*}[namedth@@r@m*]{\Definition} +\babel\def\Exercise{Exercise}[german=Aufgabe,french=Exercice] +\newtheorem{exercise*}[namedth@@r@m*]{\Exercise} +\babel\def\Fact{Fact}[german=Fakt,french=Fait] +\newtheorem{fact*}[namedth@@r@m*]{\Fact} +\babel\def\Hypothesis{Hypothesis}[german=Hypothese,french=Hypoth\`ese] +\newtheorem{hypothesis*}[namedth@@r@m*]{\Hypothesis} +\babel\def\Lemma{Lemma}[german=Lemma,french=Lemme] +\newtheorem{lemma*}[namedth@@r@m*]{\Lemma} +\babel\def\Notation{Notation}[german=Notation,french=Notation] +\newtheorem{notation*}[namedth@@r@m*]{\Notation} +\babel\def\Note{Note}[german=Notiz,french=Note] +\newtheorem{note*}[namedth@@r@m*]{\Note} +\babel\def\Observation{Observation}[% + german=Beobachtung,french=Observation] +\newtheorem{observation*}[namedth@@r@m*]{\Observation} +\babel\def\OpenQuestion{Open Question}[% + german=Offene Frage,french=Question ouverte] +\newtheorem{open*}[namedth@@r@m*]{\OpenQuestion} +\newtheorem{openquestion*}[namedth@@r@m*]{\OpenQuestion} +\babel\def\Problem{Problem}[german=Problem,french=Probl\`eme] +\newtheorem{problem*}[namedth@@r@m*]{\Problem} +\babel\def\Proposition{Proposition}[% + german=Behauptung,french=Proposition] +\newtheorem{proposition*}[namedth@@r@m*]{\Proposition} +\babel\def\Question{Question}[german=Frage,french=Question] +\newtheorem{question*}[namedth@@r@m*]{\Question}% +\babel\def\Remark{Remark}[german=Bemerkung,french=Remarque] +\newtheorem{remark*}[namedth@@r@m*]{\Remark} +\babel\def\Result{Result}[german=Ergebnis,french=R\'esultat] +\newtheorem{result*}[namedth@@r@m*]{\Result} +\babel\def\Theorem{Theorem}[german=Satz,french=Th\'eor\`eme] +\newtheorem{theorem*}[namedth@@r@m*]{\Theorem} +\babel\def\Thesis{Thesis}[german=These,french=Th\`ese] +\newtheorem{thesis*}[namedth@@r@m*]{\Thesis}% +\babel\def\Warning{Warning}[german=Warnung,french=Alerte] +\newtheorem{warning*}[namedth@@r@m*]{\Warning}% +%%\newtheorem{example*}[namedth@@r@m*]{Example}% +\babel\def\Example{Example}[german=Beispiel,french=Exemple] +\newenvironment{example*}[1][]{% + \cc@ifempty{#1} + {\csname namedtheorem*\endcsname{\Example}}% + {\csname namedtheorem*\endcsname{\Example}[#1]}% + \upshape + \let\qedsymbol\eoesymbol + } +{\qed\csname endnamedtheorem*\endcsname} +\def\theorempreamble\@thm#1#2{% + \defprefix{#1}##1{#2~##1}% + \EnumerationInTheorems{#1}% + \pagebreak[3]\relax + \the\everytheorem + \@thm{#1}{#2}} +\theorem@bodyfont{\theorempreamble} +\theoremstyle{cc} +\newtheorem{namedth@@r@m}{\the\theoremtitle} +\if@ccnosepeqncnt +\let\c@namedth@@r@m\c@equation +\def\thenamedth@@r@m{\theequation} +\fi +\newenvironment{namedtheorem}[1] + {\theoremtitle{#1}\namedth@@r@m} + {\endnamedth@@r@m} +\if@standardtheorems +\newtheorem{answer}[namedth@@r@m]{\Answer} +\newtheorem{assumption}[namedth@@r@m]{\Assumption} +\newtheorem{claim}[namedth@@r@m]{\Claim} +\newtheorem{conjecture}[namedth@@r@m]{\Conjecture} +\newtheorem{convention}[namedth@@r@m]{\Convention} +\newtheorem{corollary}[namedth@@r@m]{\Corollary} +\newtheorem{counterexample}[namedth@@r@m]{\Counterexample} +\newtheorem{definition}[namedth@@r@m]{\Definition} +\newtheorem{exercise}[namedth@@r@m]{\Exercise} +\newtheorem{fact}[namedth@@r@m]{\Fact} +\newtheorem{hypothesis}[namedth@@r@m]{\Hypothesis} +\newtheorem{lemma}[namedth@@r@m]{\Lemma} +\newtheorem{notation}[namedth@@r@m]{\Notation} +\newtheorem{note}[namedth@@r@m]{\Note} +\newtheorem{observation}[namedth@@r@m]{\Observation} +\newtheorem{open}[namedth@@r@m]{\OpenQuestion} +\newtheorem{openquestion}[namedth@@r@m]{\OpenQuestion} +\newtheorem{problem}[namedth@@r@m]{\Problem} +\newtheorem{proposition}[namedth@@r@m]{\Proposition} +\newtheorem{question}[namedth@@r@m]{\Question} +\newtheorem{remark}[namedth@@r@m]{\Remark} +\newtheorem{result}[namedth@@r@m]{\Result} +\newtheorem{theorem}[namedth@@r@m]{\Theorem} +\newtheorem{thesis}[namedth@@r@m]{\Thesis} +\newtheorem{warning}[namedth@@r@m]{\Warning} +\newenvironment{example}[1][]{% + \cc@ifempty{#1} + {\namedtheorem{\Example}}% + {\namedtheorem{\Example}[#1]}% + \upshape + \let\qedsymbol\eoesymbol + } +{\qed\endnamedtheorem} +\else +\newtheorem{answer}{\Answer} +\newtheorem{assumption}{\Assumption} +\newtheorem{claim}{\Claim} +\newtheorem{conjecture}{\Conjecture} +\newtheorem{convention}{\Convention} +\newtheorem{corollary}{\Corollary} +\newtheorem{counterexample}{\Counterexample} +\newtheorem{definition}{\Definition} +\newtheorem{exercise}{\Exercise} +\newtheorem{fact}{\Fact} +\newtheorem{hypothesis}{\Hypothesis} +\newtheorem{lemma}{\Lemma} +\newtheorem{notation}{\Notation} +\newtheorem{note}{\Note} +\newtheorem{observation}{\Observation} +\newtheorem{open}{\OpenQuestion} +\newtheorem{openquestion}{\OpenQuestion} +\newtheorem{problem}{\Problem} +\newtheorem{proposition}{\Proposition} +\newtheorem{question}{\Question} +\newtheorem{remark}{\Remark} +\newtheorem{result}{\Result} +\newtheorem{theorem}{\Theorem} +\newtheorem{thesis}{\Thesis} +\newtheorem{warning}{\Warning} +\newtheorem{exampleexample}{\Example} +\newenvironment{example}{% + \exampleexample% + \upshape + \let\qedsymbol\eoesymbol + } +{\qed\endexampleexample} +\fi +\babel\def\ccContinued{continued}[% + german=fortgesetzt,french=continu\'e(e)] +\newenvironment{continued}[1]{% + \csname namedtheorem*\endcsname{\ref{#1} \ccContinued}% + }{\csname endnamedtheorem*\endcsname} +\newenvironment{contexample}[1]{% + \csname namedtheorem*\endcsname{\ref{#1} \ccContinued}% + \upshape + \let\qedsymbol\eoesymbol + } +{\qed\csname endnamedtheorem*\endcsname} +\newcommand{\eoesymbol}{\lozenge} +\endinput +%% +%% End of file `ccthm.sty'. -- cgit v1.2.3