trunk/Master/texmf-dist/source/latex/12many

git-svn-id: svn://tug.org/texlive/trunk@117 c570f23f-e606-0410-a88d-b1316a301751

2 files changed, 511 insertions, 0 deletions

diff --git a/Master/texmf-dist/source/latex/12many/12many.dtx b/Master/texmf-dist/source/latex/12many/12many.dtx
new file mode 100644
index 00000000000..bca89bdda18
--- /dev/null
+++ b/Master/texmf-dist/source/latex/12many/12many.dtx
@@ -0,0 +1,472 @@
+% \iffalse meta-comment
+%
+% Copyright (C) 2005 by Ulrich M. Schwarz
+%
+% This file may be distributed and/or modified under the conditions of
+% the LaTeX Project Public License, either version 1.3a or, at your
+% option, any later version. The latest version of this license is in
+%
+% http://www.latex-project.org/lppl.txt
+%
+% \fi
+%
+%\iffalse (hide this from DocInput)
+%<*driver>
+\documentclass{ltxdoc}
+\usepackage{12many}
+\GetFileInfo{12many.sty}
+\usepackage[T1]{fontenc}
+\EnableCrossrefs
+\CodelineIndex
+\RecordChanges
+\begin{document}
+  \DocInput{12many.dtx}
+\end{document}
+%</driver>
+%<*sty>
+%\fi
+%
+% \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 \~}
+% \CheckSum{160}
+%
+% \DoNotIndex{\@for,\addtocounter,\arabic,\csname,\endcsname,\cup,\CurrentOption}
+% \DoNotIndex{\{,\},\do,\define@key,\def,\DeclareOption,\else,\ensuremath,\expandafter}
+% \DoNotIndex{\hspace,\fi,\rule,\ifcase,\ifx,\in,\InputIfFileExists,\leq,\let,\mathpalette}
+% \DoNotIndex{\NeedsTeXFormat,\ldots,\ldotp,\newcommand,\newcounter,\or}
+% \DoNotIndex{\PackageInfo,\PackageWarning,\parm,\ProcessOptions,\protected@edef}
+% \DoNotIndex{\providecommand,\ProvidesPackage,\relax,\renewcommand,\RequirePackage}
+% \DoNotIndex{\setcounter,\setkeys,\rlap,\setminus,\widthof,\mathrm}
+%
+%\changes{0.3}{2005/05/09}{Changed to dtx/ins}
+%
+% \newcommand\pkg{\textsf}
+% \newcommand\otm{\textsf{1, 2, many}}%
+% \newcommand\otmstyle{\texttt}%
+%
+% \title{The \otm{} package\ignorespaces
+%   \thanks{This documents \otm{}~\fileversion\ of~\filedate}}
+% \author{Ulrich M. Schwarz\thanks{\texttt{ulmi@users.sarovar.org}}}
+%
+%   \maketitle
+%   \begin{abstract}
+%     In the discrete branches of mathematics and the computer sciences,
+%     it will only take some seconds until you're faced with a set like
+%     $\{1,\ldots,m\}$. Only some people write $1\ldotp\ldotp m$, or $\{j:1\leq
+%     j\leq m\}$, and that journal you're submitting to might want
+%     something else entirely. \otm{} provides an interface that makes
+%     changing from one to another a one-line change.
+%   \end{abstract}
+%
+%   \tableofcontents
+%
+% \section{Command overview}\label{sec:command-overview}
+%
+% To use \otm{} in your \LaTeX{} document, place 12many.sty into your
+% local texmf tree and load it by \verb|\usepackage{12many}|. Three
+% in-document commands are provided:
+% \DescribeMacro{\nto}
+%   \cs{nto}\marg{from}\marg{to} takes two arguments and typesets the
+%   range from the first to the second, ends inclusive: |\nto{3}{4}|
+%   might yield something like $\nto{3}{4}$.
+%
+% \DescribeMacro{\ito}
+%   \cs{ito} is an alias to |\nto{1}|, i.e. \verb|\ito{3}| is
+%   \verb|\nto{1}{3}| and yields $\ito3$.
+%
+% \DescribeMacro{\oto}
+%   \cs{oto} is an alias to |\nto{0}|, i.e. \verb|\ito{3}| is
+%   \verb|\nto{0}{3}| and yields $\oto3$.
+% %
+% \DescribeMacro{\setOTMstyle} 
+% To select the style, use \cs{setOTMstyle}\oarg{params}\marg{style},
+% where style is a style name, and params are style-specific options in
+% a key=val fashion. For a list of pre-defined styles and their options,
+% see section~\ref{sec:pre-defined-styles}. It's as simple as that!
+% If you don't need to change the default parameters of a style, you
+% can also pass it as a package option: \verb|\usepackage[laue]{12many}|
+%
+%
+% \section{Pre-defined styles}\label{sec:pre-defined-styles}
+%
+% The following styles are predefined by \otm:
+%
+% \subsection{Style \otmstyle{set}}
+% \label{sec:style:set}\setOTMstyle{set} 
+% The ``proper'' way of specifying a range: $\nto{2}{233}$. Supported
+% parameters:
+% \begin{description}
+% \item [var] The variable name to use. Default: the popular
+%   scratch integer $i$.
+% \item [naturals] The way you write the set of natural numbers, $0$
+%   included. Defaults to the (rather ugly) |\mathrm{N}_0|
+%   $\mathrm{N}_0$, but depending on your style, you'll use blackboard,
+%   boldface or even fraktur here.
+% \item [where] This goes between the naturals set symbol and the
+%   lower bound. I've seen both colons and bars used here, and you
+%   might want to do fancy extra spacing. The default is \verb.|.
+% \end{description}
+%
+% \subsection{Style \otmstyle{dots}}
+% \label{sec:style:dots}\setOTMstyle{dots} 
+% The somewhat less formal enumeration style: $\nto{2}{233}$. Supported
+% parameters:
+% \begin{description}
+% \item [dots] What goes between the bounds. The default,
+%   |,\ldots,|, is the most formal one but takes up a lot of
+%   horizontal space, so you might use something like
+%   |,\ldotp\ldotp| here.
+% \end{description}
+%
+% \subsection{Style \otmstyle{nude}}
+% \label{sec:style:nude}\setOTMstyle{nude} 
+% An even less formal enumeration style, popular with economics and CS
+% people, but certainly not mathematicians: $\nto{2}{233}$. Supported
+% parameters:
+% \begin{description}
+% \item [dots] Works just like in the case of dots-style, but for
+%   nude, it defaults to |\ldotp\ldotp|.
+% \end{description}
+%
+% \subsection{Style \otmstyle{laue}}
+% \label{sec:style:laue}\setOTMstyle{laue}
+% A style championed by a local maths professor: $\ito{233}$. (Note that
+% this is the one-to variant. The other variants are derived from this:
+% $\oto{233}$ and $\nto{2}{233}$. Also note that the outer parens are
+% added by \otm\ to make sure the semantics do not change.) Supported parameters:
+% \begin{description}
+% \item [setminus] Used for the variants that do not start at $0$ or
+%   $1$. Defaults to |\setminus|.
+% \item [setplus] Used to add in the $\{0\}$. Defaults to
+%   |\cup|.
+% \item [ybelow] How far below the baseline the rule is. I don't think
+%   you'd need to change this---the default of $0.3$ ex looks good to me
+%   in Computer Modern, Palatino and Utopia/Fourier.
+% \item [strokewidth] The width of the rule, with a default of $0.08$ ex.
+% \item [innersidegap] The rule protudes beyond the number above it,
+%   by default by $0.05$ em.
+% \item [outersidegap] There is an additional space after the hook, by
+%   default $0.05$ em.
+% \end{description}
+%
+% \section{Creating new styles}\label{sec:creating-new-styles}
+%
+% If none of the styles above float your boat, you can still define your
+% own. To this end, \otm{} provides three commands:
+%
+% \DescribeMacro{\newOTMstyle}
+% \cs{newOTMstyle}\oarg{params}\marg{name}\marg{definition} takes three
+% arguments: optional parameters, the style name and its definition. The
+% definition has access to the bounds that are passed in the parameters
+% |#1| (lower) and |#2| (upper). For example, the dots style is defined
+% like this: 
+% \begin{verbatim}
+% \newOTMstyle[dots={,\ldots,}]{dots}{%
+%   \{#1\getOTMparameter{dots}#2\}%
+% }
+% \end{verbatim}
+% {\em
+%   Please be careful when declaring parameters with the optional
+%   arguments: spaces are not stripped. If you declare
+%   \verb*|foo=bar, baz=bam|, |\getOTMparameter{baz}| won't find anything.}
+%
+% \DescribeMacro{\renewOTMstyle} This macro is just the same as
+% |\newOTMstyle|, only a newcommand in a crucial place is changed to a
+% renewcommand, i.e. this can be used to change an existing style.
+%
+% \DescribeMacro{\newOTMparameter} This macro declares parameters and
+% their defaults to a style. For example, we have already seen that the
+% dots style accesses its dots with |\getOTMparameter{dots}|. This
+% parameter was declared with
+% \begin{verbatim}
+% \newOTMparameter{dots}{dots}{,\ldots,}
+% \end{verbatim}
+% i.e., ``(style) \otmstyle{dots} has a parameter \texttt{dots} that
+% defaults to $,\ldots,$''.
+%
+% \subsection{Configuration files}
+%   \otm{} will also look for your new style declarations in a file
+%   called \verb|12many.cfg|. This file is read in before the package
+%   parameter is evaluated, so it's legal to name a style that will only
+%   be defined in \verb|12many.cfg|.
+% \StopEventually{\PrintChanges\PrintIndex}
+% %
+% %
+% %
+% %
+% %
+% %
+% \section{Implementation}
+% First of all, we identify ourselves, and require packages we need.
+%
+%    \begin{macrocode}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{12many}[2005/05/09 v0.3 1, 2, many: numbersets  (ums)]
+
+\RequirePackage{calc, keyval}
+%    \end{macrocode}
+%
+% \subsection{Providing new styles and their parameters}
+%
+% First of all, we define the two commands for defining and changing
+% styles. We do this with a two-level redirection because they really do
+% the same thing, apart from the fact that one uses \cs{newcommand} and
+% one uses \cs{renewcommand}.
+%
+% \begin{macro}{\newOTMstyle}
+%    \begin{macrocode}
+\newcommand\newOTMstyle{%
+  \let\otm@@newcmd\newcommand
+  \otm@@fooOTMstyle
+}
+%    \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\renewOTMstyle}
+%    \begin{macrocode}
+\newcommand\renewOTMstyle{%
+  \let\otm@@newcmd\renewcommand
+  \otm@@fooOTMstyle
+}
+%    \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\otm@@fooOTMstyle}
+%   This macro does the real work. Note that we designate internal
+%   macros with |\otm@@|, since we store style info below |\otm@|. If
+%   the user gives parameter definitions, we pass each to
+%   \cs{otm@@newkvOTMparameter}. Finally, we assemble the name of the
+%   style macro and call \cs{(re)newcommand*}. Note that we still have a
+%   parameter left from the call to \cs{newOTMstyle}, and that is the
+%   definition. 
+%    \begin{macrocode}
+\newcommand*\otm@@fooOTMstyle[2][\relax]{%
+  \ifx #1\relax\else
+  \@for\parm:=#1\do{%
+    \expandafter\otm@@newkvOTMparameter\parm={#2}%
+  }%
+  \fi
+  \expandafter\otm@@newcmd\expandafter*\csname otm@style@#2\endcsname[2]%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+% Next, we disassemble a new user parameter definition. To be rechecked:
+% I'm sure \textsf{keyval} can do all of that.
+%
+% \begin{macro}{otm@@newkvOTMparameter}
+%    \begin{macrocode}
+\def\otm@@newkvOTMparameter#1=#2=#3{%
+  \newOTMparameter{#3}{#1}{#2}%
+}
+%    \end{macrocode}
+%\end{macro}
+% \begin{macro}{newOTMparameter}
+%   This is either called directly by the user, or we have massaged the
+%   optional argument of \cs{newOTMstyle} sufficiently by now, so that
+%   we can just tell \textsf{keyval} about the new parameter.
+%    \begin{macrocode}
+\newcommand\newOTMparameter[3]{%
+  \expandafter\providecommand\csname otm@#1@#2\endcsname{#3}%
+  \define@key{otm@#1}{#2}{\expandafter\renewcommand\csname otm@#1@#2\endcsname{##1}}%
+}
+%    \end{macrocode}
+%\end{macro}
+%
+% \begin{macro}{setOTMparameter}
+%   This is just a simple setter. We use \cs{renewcommand} since all
+%   params are already setup at declaration time. The third parameter is
+%   picked up by partial application.
+%    \begin{macrocode}
+\newcommand\setOTMparameter[2]{%
+  \expandafter\renewcommand\csname otm@#1@#2\endcsname%
+}
+%    \end{macrocode}
+%\end{macro}
+%
+% \begin{macro}{getOTMparameter}
+%   Just hiding the internal macro name. Note that we are slightly
+%   asymmetric, since here the style parameter is optional. The reason
+%   for this is that this is usually called from within a \cs{nto},
+%   where the style is clear from context. Still, giving a style name
+%   here allows for very rudimentary inheritance.
+%    \begin{macrocode}
+\newcommand\getOTMparameter[2][\otm@@currentstyle]{%
+  \csname otm@#1@#2\endcsname%
+}
+%    \end{macrocode}
+%\end{macro}
+%
+% \begin{macro}{setOTMstyle}
+%   With all the preliminaries defined, setting the style is easy: we
+%   remember the style name for \cs{getOTMparameter} purposes,
+%   let \textsf{keyval} set the parameters, and \cs{let} \cs{nto} to the
+%   appropriate macro.
+%    \begin{macrocode}
+\newcommand*\setOTMstyle[2][]{%
+  \protected@edef\otm@@currentstyle{#2}%
+  \PackageInfo{12many}{Using style \otm@@currentstyle[#1]}%
+  \setkeys{otm@\otm@@currentstyle}{#1}%
+  \expandafter\let\expandafter\nto\csname otm@style@\otm@@currentstyle\endcsname%
+}
+%    \end{macrocode}
+%\end{macro}
+%
+% \begin{macro}{nto}
+%   This is just a preliminary fallback definition---\cs{nto} is set to
+%   something better by \cs{setOTMstyle}. We log a warning and go to a
+%   vaguely sane default. The re-defined \cs{nto} will then pick up the
+%   parameters. 
+%    \begin{macrocode}
+\newcommand\nto{%
+  \PackageWarning{12many}{No style selected. Using dots.}%
+  \setOTMstyle{dots}%
+  \nto%
+}
+%    \end{macrocode}
+%\end{macro}
+%
+% Ironically, the two most-used macros of this package are also the shortest.
+%\begin{macro}{oto}
+%    \begin{macrocode}
+\newcommand\oto{\nto{0}}
+%    \end{macrocode}
+%\end{macro}
+%\begin{macro}{ito}
+%    \begin{macrocode}
+\newcommand\ito{\nto{1}}
+%    \end{macrocode}
+%\end{macro}
+%
+
+
+%\subsection{Predefined styles}
+%
+%\subsubsection{\otmstyle{set}}
+%
+%This is a very simple style, but it demonstrates the power of the
+%keyval system.
+%    \begin{macrocode}
+%% Style "`set"': the "`proper way"': {i\in N: x<=i<=y}
+\newOTMstyle[var=i,naturals={\mathrm{N}_0},where=|]{set}{%
+  \{\getOTMparameter{var}\in\getOTMparameter{naturals}%
+  \getOTMparameter{where} #1\leq\getOTMparameter{var}\leq#2\}%
+}
+%    \end{macrocode}
+%
+%\subsubsection{\otmstyle{laue}}
+%
+%This is a bit more involved and involves manual drawing of rules, to
+%yield something that looks a little like \cs{rharpoon}. 
+%    \begin{macrocode}
+%% Style "`laue"': 1 to n is n with some sort of rharpoon below.
+\newcounter{otm@scratch}
+
+\newOTMstyle{laue}{%
+%    \end{macrocode}
+% Since we can only give one definition, that for \cs{nto}, we need to
+% distinguish cases here since \otmstyle{laue} defines itself via the
+% one-to case. Note that the third case need not handle the case that
+% the range starts at $0$ or $1$, hence we don't subtract one-element
+% sets. Note also that this doesn't cater for |\oto{0}|, but that really
+% should be obvious at the writer-level.
+%    \begin{macrocode}
+  \ifcase#1\relax
+  (\{0\}\otm@laue@setplus\otm@@laue@laue{#2})%
+  \or
+  \otm@@laue@laue{#2}%
+  \else
+  \setcounter{otm@scratch}{#1}%
+  \addtocounter{otm@scratch}{-1}%
+  (\otm@@laue@laue{#2}%
+  \otm@laue@setminus\otm@@laue@laue{\arabic{otm@scratch}})%
+  \fi
+}
+%    \end{macrocode}
+%This style is actually older than the pacakge itself, so there are
+%lots of things to customize.
+%    \begin{macrocode}
+\newOTMparameter{laue}{setminus}{\setminus}
+\newOTMparameter{laue}{setplus}{\cup}
+\newOTMparameter{laue}{ybelow}{0.3ex}
+\newOTMparameter{laue}{strokewidth}{0.08ex}
+\newOTMparameter{laue}{innersidegap}{0.05em}
+\newOTMparameter{laue}{outersidegap}{0.05em}
+%    \end{macrocode}
+% Finally, the drawing proper. It took me a while to figure out how
+% \cs{mathpalette} is supposed to be used. Otherwise, nothing
+% interesting happens. Theoretically, possibly the argument could end up
+% on one line and the rule on the next, if we are very close to the end
+% of the line, but I've never seen that happen.
+%    \begin{macrocode}
+\newcommand{\otm@@laue@laue}[1]{%
+  \mathpalette{\let\laue@mathstyle}{\ensuremath{%
+      \rlap{\hspace*{\otm@laue@innersidegap}$\laue@mathstyle #1$}%
+      \rule[-\otm@laue@ybelow]%
+           {\widthof{\ensuremath{\laue@mathstyle #1}}+\otm@laue@innersidegap *2}%
+           {\otm@laue@strokewidth}%
+           \rule[-\otm@laue@ybelow]%
+                {\otm@laue@strokewidth}%
+                {\otm@laue@ybelow *2}}}}
+%    \end{macrocode}
+%
+%\subsubsection{\otmstyle{dots}}
+%Trivial.
+%    \begin{macrocode}
+%% Style "`dots"': variations of the {1,...,n} theme.
+
+\newOTMstyle[dots={,\ldots,}]{dots}{%
+  \{#1\getOTMparameter{dots}#2\}%
+}
+%    \end{macrocode}
+%
+%\subsubsection{\otmstyle{nude}}
+%Also trivial.
+%    \begin{macrocode}
+%% Style "`nude"': variations of the 1..n theme.
+
+\newOTMstyle[dots={\ldotp\ldotp}]{nude}{%
+  #1\getOTMparameter{dots}#2%
+}
+%    \end{macrocode}
+%
+%\subsection{Customization and package parameter}
+%
+%Nothing interesting happens here.
+%    \begin{macrocode}
+%%
+%% PART III: Use existing customization file
+%%
+\InputIfFileExists{12many.cfg}{%
+  \PackageInfo{12many}{Also using customization file 12many.cfg}
+}{%
+  \PackageInfo{12many}{No customization file used}
+}
+
+%%
+%% PART IV: Use package parameter
+%%
+\DeclareOption*{\setOTMstyle{\CurrentOption}}
+\ProcessOptions\relax
+%    \end{macrocode}
+%
+%\Finale
+% \iffalse
+% </!sty>
+% X Local Variables:
+% X mode: latex
+% X End:
+% \fi
diff --git a/Master/texmf-dist/source/latex/12many/12many.ins b/Master/texmf-dist/source/latex/12many/12many.ins
new file mode 100644
index 00000000000..3f73bf9fd42
--- /dev/null
+++ b/Master/texmf-dist/source/latex/12many/12many.ins
@@ -0,0 +1,39 @@
+%%
+%% This is a bog-standard .ins file: 12many.ins 
+%%
+\input docstrip.tex
+\keepsilent
+\preamble
+This is a generated file.
+
+This file is part of the `12many' package.
+The `12many' package has the LPPL maintenance status: maintained.
+Current Maintainer is Ulrich M. Schwarz, ulmi@users.sarovar.org
+
+Copyright (C) 2004,2005 by Ulrich M. Schwarz.
+
+This file may be distributed and/or modified under the
+conditions of the LaTeX Project Public License, either
+version 1.3a of this license or (at your option) any later
+version. The latest version of this license is in:
+http://www.latex-project.org/lppl.txt
+
+\endpreamble
+
+\generate{\file{12many.sty}{\from{12many.dtx}{sty}}}
+\Msg{*********************************************************}
+\Msg{*}
+\Msg{* To finish the installation you have to move the}
+\Msg{* following files into a directory searched by TeX:}
+\Msg{*}
+\Msg{* \space\space 12many.sty}
+\Msg{*}
+\Msg{* To produce the fully-indexed documentation run}
+\Msg{latex 12many.dtx}
+\Msg{makeindex -s gglo.ist -o 12many.gls 12many.glo}
+\Msg{makeindex -s gind.ist -o 12many.ind 12many.idx}
+\Msg{latex 12many.dtx}
+\Msg{*}
+\Msg{* Happy TeXing!}
+\Msg{*********************************************************}
+\endbatchfile
\ No newline at end of file