--- /dev/null
+%
+%
+\ifcat a\noexpand @\let\next\relax\else \def\next{%
+\documentclass{kluwer}\usepackage{doc}\MakePercentIgnore}\fi\next
+\def\filedate{1998/03/13}
+\def\filename{klumath.sty}
+%\DoNotIndex{\@M,\def,\c@secnumdepth,\baselineskip,\@pnumwidth,\else,\fi}
+%\DoNotIndex{\newcommand,\z@,\relax,\renewcommand,\ifnum,\csname,\endcsname}
+%\DoNotIndex{\baselineskip,\vskip,\hskip,\relax,\secdef,\refstepcounter}
+%\DoNotIndex{\normalsize,\numberline,\protect,\endinput}
+%\DoNotIndex{\@compare,\ifx,\global}
+%\CodelineIndex
+%\newcommand{\Bs}{$\backslash$}
+%\parindent=0pt
+%\parskip=3pt
+%\hfuzz=10pt
+%\MakeShortVerb{\|}
+%\setlength{\marginparwidth}{0in}
+%\addtolength{\textwidth}{4pc}
+%\begin{document}
+%\begin{opening}
+%\title{\filename}
+%\date{\filedate}
+%\author{T. \surname{Hoekwater}}
+%\institute{Kluwer Academic Publishers}
+%\begin{abstract}
+% The math environments |varequation| and |subequation|, and the
+% |mathsec| and |mathchap| options have been moved here.
+% These are intended for large articles or books.
+%
+% This package also implements theorem-like environment
+% support. There is one option: |thms|, which also defines the
+% theorems, instead of just controlling layout for user defined
+% theorems. This option is only supplied for backward compatibility,
+% use is deprecated.
+%\end{abstract}
+%\end{opening}
+%\tableofcontents
+%\newpage\section{Usage notes}
+%\subsection{Math environments}
+% Two environments are defined to use with equations: |varequation|
+% and\\ |subequation|.
+%
+% For |varequation|, there is one argument needed to be typeset as the
+% `equation counter'. Usage example:
+%\begin{verbatim}
+%\begin{varequation}{A.345}
+%...
+%\end{varequation}
+%\end{verbatim}
+%results in:
+%\begin{varequation}{A.345}
+%...
+%\end{varequation}
+% This environment does not step the equation counter.
+%
+% For |subequation|,
+% there is one {\it optional\/} argument, that allows selecting the formatted
+% layout of the added part of the equation number. Example usage:
+%\begin{verbatim}
+%\begin{subequation}[alph] % this is also the default value
+%\begin{equation}
+%...
+%\end{equation}
+%\end{subequation}
+%\end{verbatim}
+%
+% There are four package options, namely:
+% \begin{itemize}
+% \item[leqno] For equation numbers on the left.
+% \item[fleqn] For flush left equations.
+%\item[mathsec] For numbering within sections.
+%\item[mathchap] For numbering within chapters.
+% (make sure the chapter counter is defined before you use this one)
+% \end{itemize}
+%
+% There are two user settings:
+% \begin{itemize}
+% \item |\mathindent| controls the amount of left indentation of
+% equations under |fleqn|.
+% \item |\eqnoindent| controls indentation for equation numbers.
+% This only makes sense when used together with flush left equations, in
+% which case it will move the equation counter from the right side to
+% the left, with the specified indentation from the margin.
+%
+% \end{itemize}
+%
+% \subsection{Theorems}
+% This part of the stylefile is a bit strange, because it doesn't really do
+% much. For the theorem part, all it does is redefining the internal
+% \LaTeX\ command from |\newtheorem| to recognize some common
+% strings. Then it tries to extract meaning from the string it has
+% found, and typesets the entire theorem accordingly.
+%
+% All this has the following effect: If you define something like
+%\begin{verbatim}
+%\newtheorem{thm}{THEOREM}[subsubsection]
+%\end{verbatim}
+% It will still be typeset according to the rules defined in the
+% stylefile you're using, regardless of the environment name and the
+% used counter.
+%
+% At this time, the following ``names'' are recognized:
+%
+%\begin{tabular}{lllll} \hline
+%THEOREM & COROLLARY & LEMMA & CLAIM\\
+%ALGORITHM & DEFINITION & EXAMPLE & REMARK\\
+%PROBLEM & CONJECTURE & PROPOSITION & \\[6pt]
+%Remark & Note & Summary & Case & Criterion\\ \hline
+%\end{tabular}
+%
+% The case distinction is significant here, so please note that
+% |REMARK| and |Remark| are typeset differently.
+%
+% \subsection{Proof environments}
+%
+% The stylefile defines the environments |pf| and |pf*| for use in
+% proofs. |pf*| requires one argument, to be used as the `name' of the
+% proof. Example usage:
+%\begin{verbatim}
+%\begin{thm}
+%......
+%\end{thm}
+%\begin{pf*}{Proofs}
+%....
+%\end{pf*}\qed
+%\end{verbatim}
+%\begin{pf*}{Proofs}
+%....
+%\end{pf*}\qed
+% |\qed| Typesets an open box on the right margin.
+%
+%\newpage\section{Implementation}
+% \begin{macrocode}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{klumath}[\filedate ]
+\DeclareOption{leqno}{\AtEndOfPackage{\varleqno}}
+\DeclareOption{fleqn}{\AtEndOfPackage{\varfleqn}}
+\DeclareOption{mathsec}{%
+ \def\theequation{\arabic{section}.\arabic{equation}}}
+\DeclareOption{mathchap}{%
+ \def\theequation{\arabic{chapter}.\arabic{equation}}}
+\newif\if@thms \@thmsfalse
+\DeclareOption{thms}{\@thmstrue }
+\DeclareOption{secthm}{\AtEndOfPackage{\if@thms
+ \renewcommand{\thethm}{\thesection.\arabic{thm}.}%
+ \renewcommand{\thecrit}{\thesection.\arabic{crit}.}%
+ \renewcommand{\therem}{\thesection.\arabic{rem}.}%
+ \renewcommand{\theNote}{\thesection.\arabic{Note}.}%
+ \renewcommand{\thesumm}{\thesection.\arabic{summ}.}%
+ \renewcommand{\thecase}{\thesection.\arabic{case}.}%
+ \fi
+ }}
+\ExecuteOptions{}
+\ProcessOptions
+% \end{macrocode}
+% \subsection{Math environments}
+% First off is |varequation|. Doesn't step any counters, and it has one
+% argument to define the `equationnumber' to be used. The option
+% |\eqnoindent| allows fooling around with the location of the number.
+%
+% \begin{macrocode}
+\newdimen\eqnoindent
+\eqnoindent=0pt
+\def\varequation#1{$$ \gdef\curr@vareq{#1}}
+\def\endvarequation{\eqno \var@eqnnum $$\global\@ignoretrue }
+\def\var@eqnnum{\reset@font\normalcolor (\curr@vareq)}
+% \end{macrocode}
+%
+% \begin{macrocode}
+\def\varleqno{%
+ \def\@eqnnum{\hbox to .01\p@{}%
+ \rlap{\reset@font\rmfamily\normalcolor
+ \hskip -\displaywidth (\theequation)}}%
+ \def\var@eqnnum{\hbox to .01\p@{}%
+ \rlap{\reset@font\rmfamily\normalcolor
+ \hskip -\displaywidth (\curr@vareq)}}%
+}%
+% \end{macrocode}
+% For |fleqn|, |varequation| has to be redefined, because it uses a
+% trivlist.
+% \begin{macrocode}
+\def\varfleqn{%
+ \newdimen\mathindent
+ \mathindent\leftmargini
+ \def\varequation##1{%
+ \@beginparpenalty\predisplaypenalty
+ \@endparpenalty\postdisplaypenalty
+ \gdef\curr@vareq{##1}\trivlist
+ \item[]\leavevmode
+ \hbox to\linewidth\bgroup $ \displaystyle
+ \hskip\mathindent }%
+ \def\endvarequation{$\hfil \displaywidth\linewidth
+ \ifdim \eqnoindent =\z@
+ \llap{\hbox{\var@eqnnum}}%
+ \else
+ \llap{\hbox to 2pc{\var@eqnnum\hss}\kern \displaywidth
+ \kern -\eqnoindent}%
+ \fi
+ \egroup \endtrivlist}%
+%
+ \def\[{\relax \ifmmode\@badmath
+ \else \trivlist
+ \@beginparpenalty\predisplaypenalty
+ \@endparpenalty\postdisplaypenalty
+ \item[]\leavevmode
+ \hbox to\linewidth\bgroup $\m@th\displaystyle %$
+ \hskip\mathindent\bgroup \fi}%
+ \def\]{\relax \ifmmode \egroup $\hfil \egroup \endtrivlist % $
+ \else \@badmath \fi }%
+%
+ \renewenvironment{equation}%
+ {\@beginparpenalty\predisplaypenalty
+ \@endparpenalty\postdisplaypenalty
+ \refstepcounter{equation}%
+ \trivlist \item[]\leavevmode
+ \hbox to\linewidth\bgroup $\m@th% $
+ \displaystyle
+ \hskip\mathindent}%
+ {$\hfil % $
+ \displaywidth\linewidth
+ \ifdim \eqnoindent =\z@
+ \llap{\hbox{\@eqnnum}}%
+ \else
+ \llap{\hbox to 2pc{\@eqnnum\hss}\kern \displaywidth
+ \kern -\eqnoindent}%
+ \fi
+ \egroup
+ \endtrivlist}%
+%
+ \renewenvironment{eqnarray}{%
+ \stepcounter{equation}%
+ \def\@currentlabel{\p@equation\theequation}%
+ \global\@eqnswtrue\m@th
+ \global\@eqcnt\z@
+ \tabskip\mathindent
+ \let\\=\@eqncr
+ \setlength{\abovedisplayskip}{\topsep}%
+ \ifvmode
+ \addtolength{\abovedisplayskip}{\partopsep}%
+ \fi
+ \addtolength{\abovedisplayskip}{\parskip}%
+ \setlength{\belowdisplayskip}{\abovedisplayskip}%
+ \setlength{\belowdisplayshortskip}{\abovedisplayskip}%
+ \setlength{\abovedisplayshortskip}{\abovedisplayskip}%
+ $$\everycr{}\halign to\linewidth% $$
+ \bgroup
+ \hskip\@centering
+ $\displaystyle\tabskip\z@skip{####}$\@eqnsel&%
+ \global\@eqcnt\@ne \hskip \tw@\arraycolsep \hfil${####}$\hfil&%
+ \global\@eqcnt\tw@ \hskip \tw@\arraycolsep
+ $\displaystyle{####}$\hfil \tabskip\@centering&%
+ \global\@eqcnt\thr@@
+ \llap \bgroup
+ \ifdim \eqnoindent =\z@ \else
+ \hbox to 2pc \bgroup \fi
+ ####\ifdim \eqnoindent =\z@
+ \egroup \else \hss\egroup\kern \displaywidth
+ \kern -\eqnoindent\egroup
+ \fi \tabskip\z@skip\cr}%
+ {\@@eqncr
+ \egroup
+ \global\advance\c@equation\m@ne$$% $$
+ \global\@ignoretrue
+ }}
+% \end{macrocode}
+% |subequation| is a lot smarter, it implements subnumbering by
+% moving the current value of the |equation| counter to a fixed place,
+% then resets |equation| and restarts numbering.
+%
+% Now the equation number consists of the `fixed' part and the
+% updated new part.
+%
+% \begin{macrocode}
+\def\subequation{\@ifnextchar[{\@subequation}{\@subequation[alph]}}
+\def\@subequation[#1]{\refstepcounter{equation}%
+% \end{macrocode}
+% |\@testoption| is needed because we would like to have
+% $$\hfill (1.1)$$
+% with a dot, but
+%$$\hfill (1a)$$ without.
+%
+% \begin{macrocode}
+ \def\@testoption{arabic}%
+ \def\@testparam{#1}%
+ \begingroup
+% \end{macrocode}
+% Save old values
+% \begin{macrocode}
+ \edef\old@equation{\the\c@equation}%
+ \edef\old@theequation{\theequation}%
+ \setcounter{equation}{0}%
+% \end{macrocode}
+% If the optional arg. == arabic; typeset a dot in between.
+% \begin{macrocode}
+ \ifx\@testoption\@testparam
+ \def\theequation{\old@theequation.\csname #1\endcsname{equation}}
+ \else
+ \def\theequation{\old@theequation\csname #1\endcsname{equation}}
+ \fi}
+% \end{macrocode}
+% Restore old values
+% \begin{macrocode}
+\def\endsubequation{%
+ \setcounter{equation}{\old@equation}%
+ \endgroup
+ \global\@ignoretrue}
+% \end{macrocode}
+%\section{Theorems}
+% \subsection{Fixed macros}
+% \begin{macrocode}
+\newif\if@novspace
+\let\@thmscase\uppercase
+\newdimen\theoremsep
+\theoremsep\z@
+\def\thmdot{.}
+\def\@stylehead{\rm }
+\def\@styletext{\em }
+\let\@dispcase\relax
+\newdimen\dispsep
+\dispsep\parindent
+\def\dispdot{.}
+\def\@disphead{\it }
+\def\@disptext{\rm }
+% \end{macrocode}
+% Definition of the |pf| and |pf*| environments. These take into
+% account the value of |\if@novspace| that is set by the theorem-like
+% environments.
+% \begin{macrocode}
+\def\newproof#1#2{%
+ \expandafter\def\csname #1\endcsname{\par
+ \if@novspace \vskip-\lastskip
+ \else \addvspace{1\baselineskip
+ \@plus 0.5\baselineskip \@minus 0.1\baselineskip}%
+ \fi \indent
+ {\it #2.\/} \ignorespaces }%
+ \expandafter\def\csname end#1\endcsname
+ {\par \addvspace{1\baselineskip \@plus 0.5\baselineskip \@minus
+ 0.1\baselineskip}%
+ \global\@novspacefalse
+ }}
+\newproof{pf}{Proof}
+
+% \end{macrocode}
+% |pf*| has an argument that allow on-the-spot redefinition of
+% |\proofname|.
+% \begin{macrocode}
+\@namedef{pf*}#1{\par
+ \begingroup
+ \def\proofname{#1}\pf
+ \endgroup
+ \ignorespaces}
+\@namedef{endpf*}{\endpf}
+% \end{macrocode}
+% |\qed| takes into account whether it is called during math mode or
+% text mode. This is important because outside of math mode there will
+% usually be a line to much in the output.
+% \begin{macrocode}
+\def\qed{\relax
+ \ifmmode
+ ~\hfill\Box
+ \else
+ \unskip\nobreak ~\hfill$\Box$%
+ \fi \par}
+% \end{macrocode}
+%|\@begintheorem| and |\@opargbegintheorem| do the real work. Both
+%have roughly the same layout:
+% \begin{macrocode}
+\def\@begintheorem#1#2{\trivlist
+ \global\@novspacetrue \itemindent\theoremsep
+ \item[\kern\labelsep
+ {\@stylehead\@thmscase{#1}\ #2\thmdot\/}]\ \@styletext}
+\def\@opargbegintheorem#1#2#3{\trivlist \labelsep\z@
+ \global\@novspacetrue \itemindent\theoremsep
+ \item[\kern \labelsep {\@stylehead\@thmscase{#1}\ #2\thmdot\
+ (#3). \/}]\ \@styletext}
+\def\@endtheorem{\endtrivlist}
+\def\rmtheorem#1{%
+ \expandafter\g@addto@macro\csname #1\endcsname{\rmfamily\upshape }%
+ }
+% \end{macrocode}
+%
+% |\newdisplay|.
+%
+% This is taken from |ltthm.dtx|. It echoes the redefinitions
+% for theorems.
+% \begin{macrocode}
+\def\newdisplay#1{\@ifnextchar[{\@odisp{#1}}{\@ndisp{#1}}}
+\def\@ndisp#1#2{%
+ \@ifnextchar[{\@xndisp{#1}{#2}}{\@yndisp{#1}{#2}}}
+\def\@xndisp#1#2[#3]{\expandafter\@ifdefinable\csname #1\endcsname
+ {\@definecounter{#1}\@newctr{#1}[#3]%
+ \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand
+ \csname the#3\endcsname \@dispcountersep \@dispcounter{#1}}%
+\global\@namedef{#1}{%
+ \@disp{#1}{#2}}\global\@namedef{end#1}{\@enddisplay}}}
+\def\@yndisp#1#2{\expandafter\@ifdefinable\csname #1\endcsname
+{\@definecounter{#1}%
+\expandafter\xdef\csname the#1\endcsname{\@dispcounter{#1}}%
+\global\@namedef{#1}{%
+ \@disp{#1}{#2}}\global\@namedef{end#1}{\@enddisplay}}}
+\def\@odisp#1[#2]#3{%
+ \@ifundefined{c@#2}{\@nocounterr{#2}}%
+ {\expandafter\@ifdefinable\csname #1\endcsname
+ {\global\@namedef{the#1}{\@nameuse{the#2}}%
+\global\@namedef{#1}{\@disp{#2}{#3}}%
+\global\@namedef{end#1}{\@enddisplay}}}}
+\def\@disp#1#2{\refstepcounter
+ {#1}\@ifnextchar[{\@ydisp{#1}{#2}}{\@xdisp{#1}{#2}}}
+\def\@xdisp#1#2{\@begindisplay{#2}{\csname the#1\endcsname}\ignorespaces}
+\def\@ydisp#1#2[#3]{\@opargbegindisplay{#2}{\csname
+ the#1\endcsname}{#3}\ignorespaces}
+\def\@dispcounter#1{\noexpand\arabic{#1}}
+\def\@dispcountersep{.}
+\def\@begindisplay#1#2{\trivlist
+ \global\@novspacefalse \itemindent\dispsep
+ \item[{\@disphead
+ \@dispcase{#1}\ #2\dispdot \/}]\@disptext}
+\def\@opargbegindisplay#1#2#3{\trivlist
+ \global\@novspacefalse
+ \itemindent \dispsep
+ \item[{\@disphead \@dispcase{#1}\ #2\dispdot\
+ (\@dispcase{#3})\/}]\@disptext}
+\def\@enddisplay{\endtrivlist}
+% \end{macrocode}
+% \begin{macrocode}
+\if@thms
+ \newtheorem{thm}{THEOREM}
+ \newtheorem{cor}[thm]{COROLLARY}
+ \newtheorem{lem}[thm]{LEMMA}
+ \newtheorem{claim}[thm]{CLAIM}
+ \newtheorem{conj}[thm]{CONJECTURE}
+ \newtheorem{prop}[thm]{PROPOSITION}
+ \newtheorem{exer}[thm]{EXERCISE}
+ \newtheorem{REM}[thm]{REMARK}
+ \newtheorem{prob}[thm]{PROBLEM}
+ \newtheorem{alg}{ALGORITHM}
+ \rmtheorem{alg}
+ \newtheorem{defn}[thm]{DEFINITION}
+ \rmtheorem{defn}
+ \newtheorem{exmp}[thm]{EXAMPLE}
+ \rmtheorem{exmp}
+ \newdisplay{crit}{Criterion}
+ \newdisplay{rem}{Remark}
+ \newdisplay{Note}{Note}
+ \newdisplay{summ}{Summary}
+ \newdisplay{case}{Case}
+\fi
+\arraycolsep = 3pt
+\endinput
+% \end{macrocode}
+% \IndexParms{\hbadness=10000}
+%\PrintIndex
+%\end{document}
+% end of klumath.sty
+
+
+
+
+
+
+
+