texlive[53085] Master: bitset split from oberdiek (10dec19)
commits+karl at tug.org
commits+karl at tug.org
Tue Dec 10 23:14:10 CET 2019
Revision: 53085
http://tug.org/svn/texlive?view=revision&revision=53085
Author: karl
Date: 2019-12-10 23:14:10 +0100 (Tue, 10 Dec 2019)
Log Message:
-----------
bitset split from oberdiek (10dec19)
Modified Paths:
--------------
trunk/Master/tlpkg/bin/tlpkg-ctan-check
trunk/Master/tlpkg/tlpsrc/collection-latexrecommended.tlpsrc
Added Paths:
-----------
trunk/Master/texmf-dist/doc/latex/bitset/
trunk/Master/texmf-dist/doc/latex/bitset/README.md
trunk/Master/texmf-dist/doc/latex/bitset/bitset.pdf
trunk/Master/texmf-dist/source/latex/bitset/
trunk/Master/texmf-dist/source/latex/bitset/bitset.dtx
trunk/Master/texmf-dist/tex/generic/bitset/
trunk/Master/texmf-dist/tex/generic/bitset/bitset.sty
trunk/Master/tlpkg/tlpsrc/bitset.tlpsrc
Added: trunk/Master/texmf-dist/doc/latex/bitset/README.md
===================================================================
--- trunk/Master/texmf-dist/doc/latex/bitset/README.md (rev 0)
+++ trunk/Master/texmf-dist/doc/latex/bitset/README.md 2019-12-10 22:14:10 UTC (rev 53085)
@@ -0,0 +1,11 @@
+# bitset
+
+bitset package for LaTeX
+
+
+
+This package defines and implements the data type bit set,
+a vector of bits. The size of the vector may grow dynamically.
+Individual bits can be manipulated.
+
+
Property changes on: trunk/Master/texmf-dist/doc/latex/bitset/README.md
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/Master/texmf-dist/doc/latex/bitset/bitset.pdf
===================================================================
(Binary files differ)
Index: trunk/Master/texmf-dist/doc/latex/bitset/bitset.pdf
===================================================================
--- trunk/Master/texmf-dist/doc/latex/bitset/bitset.pdf 2019-12-10 22:13:27 UTC (rev 53084)
+++ trunk/Master/texmf-dist/doc/latex/bitset/bitset.pdf 2019-12-10 22:14:10 UTC (rev 53085)
Property changes on: trunk/Master/texmf-dist/doc/latex/bitset/bitset.pdf
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/pdf
\ No newline at end of property
Added: trunk/Master/texmf-dist/source/latex/bitset/bitset.dtx
===================================================================
--- trunk/Master/texmf-dist/source/latex/bitset/bitset.dtx (rev 0)
+++ trunk/Master/texmf-dist/source/latex/bitset/bitset.dtx 2019-12-10 22:14:10 UTC (rev 53085)
@@ -0,0 +1,2957 @@
+% \iffalse meta-comment
+%
+% File: bitset.dtx
+% Version: 2019/12/09 v1.3
+% Info: Handle bit-vector datatype
+%
+% Copyright (C)
+% 2007, 2011 Heiko Oberdiek
+% 2016-2019 Oberdiek Package Support Group
+% https://github.com/ho-tex/bitset/issues
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License, either
+% version 1.3c of this license or (at your option) any later
+% version. This version of this license is in
+% https://www.latex-project.org/lppl/lppl-1-3c.txt
+% and the latest version of this license is in
+% https://www.latex-project.org/lppl.txt
+% and version 1.3 or later is part of all distributions of
+% LaTeX version 2005/12/01 or later.
+%
+% This work has the LPPL maintenance status "maintained".
+%
+% The Current Maintainers of this work are
+% Heiko Oberdiek and the Oberdiek Package Support Group
+% https://github.com/ho-tex/bitset/issues
+%
+% The Base Interpreter refers to any `TeX-Format',
+% because some files are installed in TDS:tex/generic//.
+%
+% This work consists of the main source file bitset.dtx
+% and the derived files
+% bitset.sty, bitset.pdf, bitset.ins, bitset.drv, bitset-test1.tex,
+% bitset-test2.tex, bitset-test3.tex.
+%
+% Distribution:
+% CTAN:macros/latex/contrib/bitset/bitset.dtx
+% CTAN:macros/latex/contrib/bitset/bitset.pdf
+%
+% Unpacking:
+% (a) If bitset.ins is present:
+% tex bitset.ins
+% (b) Without bitset.ins:
+% tex bitset.dtx
+% (c) If you insist on using LaTeX
+% latex \let\install=y\input{bitset.dtx}
+% (quote the arguments according to the demands of your shell)
+%
+% Documentation:
+% (a) If bitset.drv is present:
+% latex bitset.drv
+% (b) Without bitset.drv:
+% latex bitset.dtx; ...
+% The class ltxdoc loads the configuration file ltxdoc.cfg
+% if available. Here you can specify further options, e.g.
+% use A4 as paper format:
+% \PassOptionsToClass{a4paper}{article}
+%
+% Programm calls to get the documentation (example):
+% pdflatex bitset.dtx
+% makeindex -s gind.ist bitset.idx
+% pdflatex bitset.dtx
+% makeindex -s gind.ist bitset.idx
+% pdflatex bitset.dtx
+%
+% Installation:
+% TDS:tex/generic/bitset/bitset.sty
+% TDS:doc/latex/bitset/bitset.pdf
+% TDS:source/latex/bitset/bitset.dtx
+%
+%<*ignore>
+\begingroup
+ \catcode123=1 %
+ \catcode125=2 %
+ \def\x{LaTeX2e}%
+\expandafter\endgroup
+\ifcase 0\ifx\install y1\fi\expandafter
+ \ifx\csname processbatchFile\endcsname\relax\else1\fi
+ \ifx\fmtname\x\else 1\fi\relax
+\else\csname fi\endcsname
+%</ignore>
+%<*install>
+\input docstrip.tex
+\Msg{************************************************************************}
+\Msg{* Installation}
+\Msg{* Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)}
+\Msg{************************************************************************}
+
+\keepsilent
+\askforoverwritefalse
+
+\let\MetaPrefix\relax
+\preamble
+
+This is a generated file.
+
+Project: bitset
+Version: 2019/12/09 v1.3
+
+Copyright (C)
+ 2007, 2011 Heiko Oberdiek
+ 2016-2019 Oberdiek Package Support Group
+
+This work may be distributed and/or modified under the
+conditions of the LaTeX Project Public License, either
+version 1.3c of this license or (at your option) any later
+version. This version of this license is in
+ https://www.latex-project.org/lppl/lppl-1-3c.txt
+and the latest version of this license is in
+ https://www.latex-project.org/lppl.txt
+and version 1.3 or later is part of all distributions of
+LaTeX version 2005/12/01 or later.
+
+This work has the LPPL maintenance status "maintained".
+
+The Current Maintainers of this work are
+Heiko Oberdiek and the Oberdiek Package Support Group
+https://github.com/ho-tex/bitset/issues
+
+
+The Base Interpreter refers to any `TeX-Format',
+because some files are installed in TDS:tex/generic//.
+
+This work consists of the main source file bitset.dtx
+and the derived files
+ bitset.sty, bitset.pdf, bitset.ins, bitset.drv, bitset-test1.tex,
+ bitset-test2.tex, bitset-test3.tex.
+
+\endpreamble
+\let\MetaPrefix\DoubleperCent
+
+\generate{%
+ \file{bitset.ins}{\from{bitset.dtx}{install}}%
+ \file{bitset.drv}{\from{bitset.dtx}{driver}}%
+ \usedir{tex/generic/bitset}%
+ \file{bitset.sty}{\from{bitset.dtx}{package}}%
+}
+
+\catcode32=13\relax% active space
+\let =\space%
+\Msg{************************************************************************}
+\Msg{*}
+\Msg{* To finish the installation you have to move the following}
+\Msg{* file into a directory searched by TeX:}
+\Msg{*}
+\Msg{* bitset.sty}
+\Msg{*}
+\Msg{* To produce the documentation run the file `bitset.drv'}
+\Msg{* through LaTeX.}
+\Msg{*}
+\Msg{* Happy TeXing!}
+\Msg{*}
+\Msg{************************************************************************}
+
+\endbatchfile
+%</install>
+%<*ignore>
+\fi
+%</ignore>
+%<*driver>
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesFile{bitset.drv}%
+ [2019/12/09 v1.3 Handle bit-vector datatype (HO)]%
+\documentclass{ltxdoc}
+\usepackage{holtxdoc}[2011/11/22]
+\usepackage{amstext}
+\usepackage{iftex}
+\ifluatex
+\else
+ \usepackage[T1]{fontenc}%
+ \usepackage{lmodern}%
+\fi
+\begin{document}
+ \DocInput{bitset.dtx}%
+\end{document}
+%</driver>
+% \fi
+%
+%
+%
+% \GetFileInfo{bitset.drv}
+%
+% \title{The \xpackage{bitset} package}
+% \date{2019/12/09 v1.3}
+% \author{Heiko Oberdiek\thanks
+% {Please report any issues at \url{https://github.com/ho-tex/bitset/issues}}}
+%
+% \maketitle
+%
+% \begin{abstract}
+% This package defines and implements the data type bit set,
+% a vector of bits. The size of the vector may grow dynamically.
+% Individual bits can be manipulated.
+% \end{abstract}
+%
+% \tableofcontents
+%
+% \clearpage
+% \section{Documentation}
+%
+% \subsection{Introduction}
+%
+% Annotations in the PDF format know entries whose values are
+% integers. This numbers are interpreted as set of flags
+% specifying properties. For example, annotation dictionaries
+% can have a key |/F|. The bits of its integer value
+% are interpreted the following way:
+% \begin{quote}
+% \begin{tabular}{@{}l|l@{}}
+% Bit position & Property name\\
+% \hline
+% 1 & Invisible\\
+% 2 & Hidden\\
+% 3 & Print\\
+% 4 & NoZoom\\
+% 5 & NoRotate\\
+% 6 & NoView\\
+% 7 & ReadOnly\\
+% \dots & \dots
+% \end{tabular}
+% \end{quote}
+% Now, let's see how these values are set in package \xpackage{hyperref}
+% before it uses this package (before v6.77a):
+%\begin{quote}
+%\begin{verbatim}
+%\ifFld at hidden /F 6\else /F 4\fi
+%\end{verbatim}
+%\end{quote}
+% Where are the other flags? The following example for key |/Ff|
+% in a widget annotation
+% supports at least three properties:
+%\begin{quote}
+%\begin{verbatim}
+%\ifFld at multiline
+% \ifFld at readonly /Ff 4097\else /Ff 4096\fi
+%\else
+% \ifFld at password
+% \ifFld at readonly /Ff 8193\else /Ff 8192\fi
+% \else
+% \ifFld at readonly /Ff 1\fi
+% \fi
+%\fi
+%\end{verbatim}
+%\end{quote}
+% But you see the point. It would be a nightmare to continue
+% this way in supporting the missing flag settings. This kind
+% of integers may have up to 32 bits.
+%
+% Therefore I wanted a data structure for setting and
+% clearing individual bits. Also it should provide
+% an export as decimal number. The snipsets above are
+% executed in expansion contexts without \TeX's stomach
+% commands. It would be convenient to have an expandable
+% conversion from the data structure to the integer that
+% gets written to the PDF file.
+%
+% This package \xpackage{bitset} implements such a data
+% structure. The interface is quite close to Java's
+% class |BitSet| in order not to learn to many interfaces
+% for the same kind of data structure.
+%
+% \subsection{Glossary}
+%
+% \begin{description}
+% \item[Bit set:]
+% A bit set is a vector of bits or flags.
+% The vector size is unlimited and
+% grows dynamically. An undefined bit set is treated as bit
+% set where all bits are cleared.
+%
+% Bit sets are addressed by name. A name should consists of
+% letters or digits. Technically it must survive \cs{csname},
+% see \LaTeX's environment names for other names with such
+% a constraint. Package \xpackage{babel}'s shorthands are
+% not supported due to technical reasons. Shorthand support
+% would break expandable operations.
+% \item[Size:]
+% A size of a bit set is the number of bits in use.
+% It's the number of the highest index, incremented by one.
+% Sizes are in the range |0| up to |2147483647|, the highest
+% number supported by \TeX.
+% \item[Index:]
+% Bit positions in a bit set are addressed by an index number.
+% The bit vector is zero based. The first and least significant
+% bit is addressed by index |0| and the highest possible bit
+% by |2147483646|.
+% \item[Bit:]
+% A bit is enoded as |0| for cleared/disabled or |1| for set/enabled.
+% \end{description}
+%
+% \subsection{Design principles}
+%
+% \begin{description}
+% \item[Name conventions:]
+% To avoid conflicts with existing macro names, the operations
+% are prefixed by the package name.
+% \item[Zero based indexes:] The first bit is addressed by zero.
+% (Convention of array indexing in C, Java, \dots)
+% \item[Unlimited size:]
+% There is no restriction on the size of a bit set other than
+% usual memory limitations. \cs{bitsetSetDec} and \cs{bitsetGetDec}
+% transparently switch to package \xpackage{bigintcalc} if the numbers
+% get too large for \TeX's number limit.
+% \item[Expandibility:]
+% Any operation that does not change the bit set is expandable.
+% And all operations that extract or calculate some result
+% do this in exact two expansion steps. For example,
+% a macro \cs{Macro} wants a bit set as decimal number.
+% But the argument must be a plain number without macros.
+% Thus you could prefix \cs{bitsetGetDec} with \cs{number}.
+% However this won't work for bit sets with 31 or more bits
+% because of \TeX's number limit of $2^{31}-1$.
+% then just hit the operator with two \cs{expandafter}:
+% \begin{quote}
+% |\expandafter\expandafter\expandafter|\\
+% |\Macro\bitsetGetDec{foo}|
+% \end{quote}
+% |\bitsetGetDec| is hit first by the third \cs{expandafter}
+% and then by the second one.
+% \item[Format independence:] This package is written as \LaTeX\ package,
+% but it does not depend on \LaTeX. It will also work for other formats
+% such as \plainTeX.
+% \item[Independence from \TeX\ engines:]
+% Vanilla \TeX\ is all you need. Calculations are delegated to
+% packages \xpackage{intcalc} and \xpackage{bigintcalc}.
+% They don't need any special features, but they will switch
+% to a little more efficient implementation if features such
+% as \cs{numexpr} are available.
+% \item[Numeric arguments:] Anything that is accepted by
+% \cs{number}. If \eTeX\ is detected, also expressions
+% for \cs{numexpr} are supported. The only exception so far
+% is the number for \cs{bitsetSetDec}. The number might be too
+% large for \cs{number} or \cs{numexpr}.
+% \item[Error messages:]
+% In expandable contexts, only a limited set of \TeX\ primitive
+% commands work as expected. So called stomach commands behave
+% like \cs{relax} and don't get expanded or executed.
+% Unhappily also the error commands belong to this category.
+% The expandable operations will throw an unknown control
+% sequence instead to get \TeX's and user's attention.
+% The name of these control sequences starts with
+% \cs{BitSetError:} with the type of error after the colon.
+% \end{description}
+%
+% \subsection{Operator overview}
+%
+% \begin{minipage}{\linewidth}
+% \begin{description}
+% \def\It#1#2{^^A
+% \item[^^A
+% {#1} ^^A
+% \textmd{(\hyperref[{sec:#2}]{section \ref*{sec:#2}})}^^A
+% ]^^A
+% \mbox{}\\^^A
+% }
+% \def\op#1{^^A
+% \cs{bitset}\texttt{\bfseries#1}^^A
+% }
+% \def\M#1{\meta{#1}}
+% \def\Q{\hspace*{\fill}}
+% \It{Miscellaneous}{misc}
+% \op{Reset}\Q \M{BitSet}\\
+% \op{Let}\Q \M{BitSet A} \M{BitSet B}
+% \It{Import}{import}
+% \op{SetBin}, \op{SetOct}, \op{SetHex}\Q \M{BitSet} \M{Value}\\
+% \op{SetDec}\Q \M{BitSet} \M{Value}
+% \It{Export\textsuperscript{a}}{export}
+% \op{GetBin}, \op{GetOct}, \op{GetHex}\Q \M{BitSet} \M{MinSize}\\
+% \op{GetDec}\Q \M{BitSet}
+% \It{Logical operators}{log}
+% \op{And}, \op{AndNot}\Q \M{BitSet A} \M{BitSet B}\\
+% \op{Or}, \op{Xor}\Q \M{BitSet A} \M{BitSet B}
+% \It{Shifting}{shift}
+% \op{ShiftLeft}, \op{ShiftRight}\Q \M{BitSet} \M{ShiftAmount}\\
+% \It{Bit manipulation}{bitman}
+% \op{Clear}, \op{Set}, \op{Flip}\Q \M{BitSet} \M{Index}\\
+% \op{SetValue}\Q \M{BitSet} \M{Index} \M{Value}\\
+% \op{ClearRange}, \op{SetRange}, \op{FlipRange}\\
+% \Q \M{BitSet} \M{IndexFrom} \M{IndexTo}\\
+% \op{SetValueRange}\Q \M{BitSet} \M{IndexFrom} \M{IndexTo}
+% \It{Bit retrieval\textsuperscript{a}}{bitret}
+% \op{Get}\Q \M{BitSet} \M{Index}\\
+% \op{NextClearBit}, \op{NextSetBit}\Q \M{BitSet} \M{Index}\\
+% \op{GetSetBitList}\Q \M{BitSet}
+% \It{Bit set properties}{prop}
+% \op{Size}, \op{Cardinality}\Q \M{BitSet}
+% \It{Queries\textsuperscript{b}}{query}
+% \op{IsDefined}, \op{IsEmpty}\Q \M{BitSet} \M{Then} \M{Else}\\
+% \op{Equals}, \op{Intersects}\Q \M{BitSet A} \M{BitSet B} \M{Then} \M{Else}\\
+% \op{Query}\Q \M{BitSet} \M{Index} \M{Then} \M{Else}
+% \end{description}
+% \footnotetext[1]{Macros are expandable, full expansion by two steps.}
+% \footnotetext[2]{Macros are expandable.}
+% \end{minipage}
+%
+% \subsection{Package loading}
+%
+% The package can be used as normal \LaTeX\ package:
+%\begin{quote}
+%|\usepackage{bitset}|
+%\end{quote}
+% Also \plainTeX\ is supported:
+%\begin{quote}
+%|\input bitset.sty\relax|
+%\end{quote}
+%
+% \subsection{Operators}
+%
+% The following macros work on and with bit sets.
+% A bit set \meta{BitSet} is represented by a name.
+% The should consist of letters and digits. Technically
+% it must survive \cs{csname}. It is the same constraint
+% that must be satisfied by label or environment names
+% in \LaTeX.
+%
+% However active characters that are shorthands
+% of package \xpackage{babel} are not supported.
+% Support for shorthands works by an assignment.
+% But many operators
+% such as \cs{bitsetGetDec} must be usable in expandable
+% contexts. There assignments will not be executed in the
+% best case or they will cause errors.
+%
+% The bits in a bit set are addressed by non-negative
+% integers starting from zero. Thus negative index
+% numbers cause an error message. Because index numbers
+% are \TeX\ numbers. The largest index is 2147483647.
+% But in practice memory limits and patience limits
+% will be very likely reached much before.
+%
+% \subsubsection{Miscellaneous}\label{sec:misc}
+%
+% There isn't a separate operation for bit set creation.
+% For simplicity an undefined bit set is treated as bit set
+% with all bits cleared.
+%
+% \begin{declcs}{bitsetReset} \M{BitSet}
+% \end{declcs}
+% Macro \cs{bitsetReset} clears all bits. The result is an
+% empty bit set. It may also be used as replacement for
+% an operation ``new'', because an undefined bit set is defined
+% afterwards.
+%
+% \begin{declcs}{bitsetLet} \M{BitSet A} \M{BitSet B}
+% \end{declcs}
+% Macro \cs{bitsetLet} performs a simple assignment similar
+% to \TeX's \cs{let}. After the operation \meta{BitSet A} has
+% the same value as \meta{BitSet B}. If \meta{BitSet B} is
+% undefined, then \meta{BitSet A} will be the empty bit set.
+%
+% Note: If \meta{BitSet A} exists, it will be overwritten.
+%
+% \subsubsection{Import}\label{sec:import}
+%
+% \begin{declcs}{bitsetSetBin} \M{BitSet} \M{BinaryNumber}\\
+% \cs{bitsetSetOct} \M{BitSet} \M{OctalNumber}\\
+% \cs{bitsetSetHex} \M{BitSet} \M{HexadecimalNumber}
+% \end{declcs}
+% The numbers are interpreted as bit vectors and the flags in
+% the bit \meta{BitSet} set are set accordingly.
+% These numeric arguments are the only arguments where
+% spaces are allowed. Then the numbers are easier to read.
+%
+% \begin{declcs}{bitsetSetDec} \M{BitSet} \M{DecimalNumber}
+% \end{declcs}
+% Macro \cs{bitsetSetDec} uses \meta{DecimalNumber} to
+% set the bit set \meta{BitSet}.
+% The numeric argument must expand
+% to a plain number consisting of decimal digits without
+% command tokens or spaces. Internally this argument is
+% expanded only. It cannot be passed to \cs{number} or
+% \cs{numexpr}, because the number may be too large for them.
+% However \cs{number} or |\the\numexpr| may be used
+% explicitely. This also helps for unexpandable number
+% command tokens or registers (\cs{z@}, \cs{@ne}, \cs{count@}, \dots).
+% Also \LaTeX'\ \cs{value} needs prefixing:
+% \begin{quote}
+% |\bitsetSetDec{foo}{\number\value{bar}}|
+% \end{quote}
+%
+% \subsubsection{Export}\label{sec:export}
+%
+% \begin{declcs}{bitsetGetBin} \M{BitSet} \M{MinSize}\\
+% \cs{bitsetGetOct} \M{BitSet} \M{MinSize}\\
+% \cs{bitsetGetHex} \M{BitSet} \M{MinSize}
+% \end{declcs}
+% These macros returns the bit set as binary, octal or hexadecimal
+% number. If the bit size is smaller than \meta{MinSize} the gap is
+% filled with leading zeros.
+% Example:
+% \begin{quote}
+% |\bitsetReset{abc}|\\
+% |\bitsetSet{abc}{2}|\\
+% |\bitsetGetBin{abc}{8}| $\rightarrow$ |00000100|\\
+% |\bitsetSet{abc}{5}\bitsetSet{abc}{7}|\\
+% |\bitsetGetHex{abc}{16}| $\rightarrow$ |00A2|
+% \end{quote}
+% Macro \cs{bitsetGetHex} uses the uppercase letters |A| to |F|.
+% The catcode of the letters is one of 11 (letter) or 12 (other).
+%
+% \begin{declcs}{bitsetGetDec} \M{BitSet}
+% \end{declcs}
+% Macro \cs{bitsetGetDec} returns the bit set \meta{BitSet} as
+% decimal number. The returned number can be larger than
+% \TeX's number limit of $2^{31}-1$.
+%
+% \subsubsection{Logical operators}\label{sec:log}
+%
+% \begin{declcs}{bitsetAnd} \M{BitSet A} \M{BitSet B}
+% \end{declcs}
+% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}}
+% \mathbin{\text{and}} B \qquad (\forall\, \text{bits})$
+%
+% \begin{declcs}{bitsetAndNot} \M{BitSet A} \M{BitSet B}
+% \end{declcs}
+% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}}
+% \mathbin{\text{and}} (\text{not}\,B) \qquad (\forall\, \text{bits})$
+%
+% \begin{declcs}{bitsetOr} \M{BitSet A} \M{BitSet B}
+% \end{declcs}
+% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}}
+% \mathbin{\text{or}} B \qquad (\forall\, \text{bits})$
+%
+% \begin{declcs}{bitsetXor} \M{BitSet A} \M{BitSet B}
+% \end{declcs}
+% $A_{\text{new}} \mathrel{\mathop{:}}= A_{\text{old}}
+% \mathbin{\text{xor}} B \qquad (\forall\, \text{bits})$
+%
+% \subsubsection{Shifting}\label{sec:shift}
+%
+% \begin{declcs}{bitsetShiftLeft} \M{BitSet} \M{ShiftAmount}\\
+% \cs{bitsetShiftRight} \M{BitSet} \M{ShiftAmount}
+% \end{declcs}
+% A left shift by one is a multiplication by two, thus left shifting
+% moves the flags to higher positions. The new created low positions
+% are filled by zeros.
+%
+% A right shift is the opposite, dividing by two, movint the bits
+% to lower positions. The number will become smaller, the lowest
+% bits are lost.
+%
+% If the \meta{ShiftAmount} is negative, it reverts the meaning of
+% the shift operation. A left shift becomes a right shift.
+% A \meta{ShiftAmount} of zero is ignored.
+%
+% \subsubsection{Bit manipulation}\label{sec:bitman}
+%
+% \begin{declcs}{bitsetClear} \M{BitSet} \M{Index}\\
+% \cs{bitsetSet} \M{BitSet} \M{Index}\\
+% \cs{bitsetFlip} \M{BitSet} \M{Index}
+% \end{declcs}
+% This macros manipulate a single bit in \meta{BitSet} addressed
+% by \cs{Index}. Macro \cs{bitsetClear} disables the bit,
+% \cs{bitsetSet} enables it and \cs{bitsetFlip} reverts the current
+% setting of the bit.
+%
+% \begin{declcs}{bitsetSetValue} \M{BitSet} \M{Index} \M{Bit}
+% \end{declcs}
+% Macro \cs{bitsetSetValue} puts bit \meta{Bit} at position \meta{Index}
+% in bit set \meta{BitSet}. \meta{Bit} must be a valid \TeX\ number
+% equals to zero (disabled/cleared) or one (enabled/set).
+%
+% \subsubsection{Bit retrieval}\label{sec:bitret}
+%
+% \begin{declcs}{bitsetGet} \M{BitSet} \M{Index}
+% \end{declcs}
+% Macro \cs{bitsetGet} extracts the status of the bit at
+% position \meta{Index} in bit set \meta{BitSet}.
+% Digit |1| is returned if the bit is set/enabled. If the
+% bit is cleared/disabled and in cases of an undefined bitset or
+% an index number out of range the return value is |0|.
+%
+% \begin{declcs}{bitsetNextClearBit} \M{BitSet} \M{Index}
+% \end{declcs}
+% Starting at position \meta{Index} (inclusive) the bits
+% are inspected. The first position without a set bit is returned.
+% Possible results are decimal numbers: \meta{Index}, \meta{Index} + 1,
+% \dots, ($\infty$)
+%
+% \begin{declcs}{bitsetNextSetBit} \M{BitSet} \M{Index}
+% \end{declcs}
+% Starting at position \meta{Index} (inclusive) the bits are
+% inspected and the index position of the first found set bit
+% is returned. If there isn't such a bit, then the result is
+% |-1|. In summary possible results are decimal numbers:
+% |-1|, \meta{Index}, \meta{Index} + 1, \dots, ($\infty$)
+%
+% \begin{declcs}{bitsetGetSetBitList} \M{BitSet}
+% \end{declcs}
+% Macro \cs{bitsetGetSetBitList} is an application for
+% \cs{bitsetNextSetBit}. The set bits are iterated and
+% returned as comma separated list of index positions
+% in increasing order. The list is empty in case of
+% an empty bit set.
+%
+% \subsubsection{Bit set properties}\label{sec:prop}
+%
+% \begin{declcs}{bitsetSize} \M{BitSet}
+% \end{declcs}
+% Macro \cs{bitsetSize} returns number of bits in use.
+% It is the same as the index number of the highest set/enabled bit
+% incremented by one.
+%
+% \begin{declcs}{bitsetCardinality} \M{BitSet}
+% \end{declcs}
+% Macro \cs{bitsetCardinality} counts the number of set/enabled bits.
+%
+% \subsubsection{Queries}\label{sec:query}
+%
+% Also the query procedures are expandable. They ask for a piece
+% of information about a bit set and execute code depending
+% on the answer.
+%
+% \begin{declcs}{bitsetIsDefined} \M{BitSet} \M{Then} \M{Else}
+% \end{declcs}
+% If the bit set with the name \meta{BitSet} exists the code
+% given in \meta{Then} is executed, otherwise \meta{Else} is used.
+%
+% \begin{declcs}{bitsetIsEmpty} \M{BitSet} \M{Then} \M{Else}
+% \end{declcs}
+% If the bit set \meta{BitSet} exists and at least one bit
+% is set/enabled, the code in \meta{Then} is executed,
+% \meta{Else} otherwise.
+%
+% \begin{declcs}{bitsetEquals} \M{BitSet A} \M{BitSet B} \M{Then} \M{Else}
+% \end{declcs}
+% Both bit sets are equal if and only if either both are undefined
+% or both are defined and represents the same bit values at the
+% same positions. Thus this definition is reflexive, symmeric,
+% and transitive, enough for an equivalent relation.
+%
+% \begin{declcs}{bitsetIntersects} \M{BitSet A} \M{BitSet B} \M{Then} \M{Else}
+% \end{declcs}
+% If and only if \meta{BitSet A} and \meta{BitSet B} have
+% at least one bit at the same position that is set, then
+% code part \meta{Then} is executed.
+%
+% \begin{declcs}{bitsetQuery} \M{BitSet} \M{Index} \M{Then} \M{Else}
+% \end{declcs}
+% It's just a wrapper for \cs{bitsetGet}. If the bit at position
+% \meta{Index} is enabled, code \meta{Then} is called.
+%
+% \StopEventually{
+% }
+%
+% \section{Implementation}
+%
+% The internal format of a bit set is quite simple, a sequence
+% of digits |0| and |1|. The least significant bit is left.
+% A bit set without any flag set is encoded by |0|. Also
+% undefined bit sets are treated that way. After the
+% highest bit that is set there are no further zeroes.
+% A regular expression of valid bit sets values:
+% \begin{quote}
+% |0|\string||[01]*1|
+% \end{quote}
+%
+% \begin{macrocode}
+%<*package>
+% \end{macrocode}
+%
+% \subsection{Reload check and package identification}
+% Reload check, especially if the package is not used with \LaTeX.
+% \begin{macrocode}
+\begingroup\catcode61\catcode48\catcode32=10\relax%
+ \catcode13=5 % ^^M
+ \endlinechar=13 %
+ \catcode35=6 % #
+ \catcode39=12 % '
+ \catcode44=12 % ,
+ \catcode45=12 % -
+ \catcode46=12 % .
+ \catcode58=12 % :
+ \catcode64=11 % @
+ \catcode123=1 % {
+ \catcode125=2 % }
+ \expandafter\let\expandafter\x\csname ver at bitset.sty\endcsname
+ \ifx\x\relax % plain-TeX, first loading
+ \else
+ \def\empty{}%
+ \ifx\x\empty % LaTeX, first loading,
+ % variable is initialized, but \ProvidesPackage not yet seen
+ \else
+ \expandafter\ifx\csname PackageInfo\endcsname\relax
+ \def\x#1#2{%
+ \immediate\write-1{Package #1 Info: #2.}%
+ }%
+ \else
+ \def\x#1#2{\PackageInfo{#1}{#2, stopped}}%
+ \fi
+ \x{bitset}{The package is already loaded}%
+ \aftergroup\endinput
+ \fi
+ \fi
+\endgroup%
+% \end{macrocode}
+% Package identification:
+% \begin{macrocode}
+\begingroup\catcode61\catcode48\catcode32=10\relax%
+ \catcode13=5 % ^^M
+ \endlinechar=13 %
+ \catcode35=6 % #
+ \catcode39=12 % '
+ \catcode40=12 % (
+ \catcode41=12 % )
+ \catcode44=12 % ,
+ \catcode45=12 % -
+ \catcode46=12 % .
+ \catcode47=12 % /
+ \catcode58=12 % :
+ \catcode64=11 % @
+ \catcode91=12 % [
+ \catcode93=12 % ]
+ \catcode123=1 % {
+ \catcode125=2 % }
+ \expandafter\ifx\csname ProvidesPackage\endcsname\relax
+ \def\x#1#2#3[#4]{\endgroup
+ \immediate\write-1{Package: #3 #4}%
+ \xdef#1{#4}%
+ }%
+ \else
+ \def\x#1#2[#3]{\endgroup
+ #2[{#3}]%
+ \ifx#1\@undefined
+ \xdef#1{#3}%
+ \fi
+ \ifx#1\relax
+ \xdef#1{#3}%
+ \fi
+ }%
+ \fi
+\expandafter\x\csname ver at bitset.sty\endcsname
+\ProvidesPackage{bitset}%
+ [2019/12/09 v1.3 Handle bit-vector datatype (HO)]%
+% \end{macrocode}
+%
+% \subsection{Catcodes}
+%
+% \begin{macrocode}
+\begingroup\catcode61\catcode48\catcode32=10\relax%
+ \catcode13=5 % ^^M
+ \endlinechar=13 %
+ \catcode123=1 % {
+ \catcode125=2 % }
+ \catcode64=11 % @
+ \def\x{\endgroup
+ \expandafter\edef\csname BitSet at AtEnd\endcsname{%
+ \endlinechar=\the\endlinechar\relax
+ \catcode13=\the\catcode13\relax
+ \catcode32=\the\catcode32\relax
+ \catcode35=\the\catcode35\relax
+ \catcode61=\the\catcode61\relax
+ \catcode64=\the\catcode64\relax
+ \catcode123=\the\catcode123\relax
+ \catcode125=\the\catcode125\relax
+ }%
+ }%
+\x\catcode61\catcode48\catcode32=10\relax%
+\catcode13=5 % ^^M
+\endlinechar=13 %
+\catcode35=6 % #
+\catcode64=11 % @
+\catcode123=1 % {
+\catcode125=2 % }
+\def\TMP at EnsureCode#1#2{%
+ \edef\BitSet at AtEnd{%
+ \BitSet at AtEnd
+ \catcode#1=\the\catcode#1\relax
+ }%
+ \catcode#1=#2\relax
+}
+\TMP at EnsureCode{33}{12}% !
+\TMP at EnsureCode{39}{12}% '
+\TMP at EnsureCode{40}{12}% (
+\TMP at EnsureCode{41}{12}% )
+\TMP at EnsureCode{42}{12}% *
+\TMP at EnsureCode{43}{12}% +
+\TMP at EnsureCode{44}{12}% ,
+\TMP at EnsureCode{45}{12}% -
+\TMP at EnsureCode{46}{12}% .
+\TMP at EnsureCode{47}{12}% /
+\TMP at EnsureCode{58}{11}% : (letter!)
+\TMP at EnsureCode{60}{12}% <
+\TMP at EnsureCode{62}{12}% >
+\TMP at EnsureCode{63}{14}% ? (comment!)
+\TMP at EnsureCode{91}{12}% [
+\TMP at EnsureCode{93}{12}% ]
+\TMP at EnsureCode{96}{12}% `
+\edef\BitSet at AtEnd{\BitSet at AtEnd\noexpand\endinput}
+\begingroup\expandafter\expandafter\expandafter\endgroup
+\expandafter\ifx\csname BitSet at TestMode\endcsname\relax
+\else
+ \catcode63=9 % ? (ignore)
+\fi
+? \let\BitSet@@TestMode\BitSet at TestMode
+% \end{macrocode}
+%
+% \subsection{Package loading}
+%
+% \begin{macrocode}
+\begingroup\expandafter\expandafter\expandafter\endgroup
+\expandafter\ifx\csname RequirePackage\endcsname\relax
+ \def\TMP at RequirePackage#1[#2]{%
+ \begingroup\expandafter\expandafter\expandafter\endgroup
+ \expandafter\ifx\csname ver@#1.sty\endcsname\relax
+ \input #1.sty\relax
+ \fi
+ }%
+ \TMP at RequirePackage{infwarerr}[2007/09/09]%
+ \TMP at RequirePackage{intcalc}[2007/09/27]%
+ \TMP at RequirePackage{bigintcalc}[2007/09/27]%
+\else
+ \RequirePackage{infwarerr}[2007/09/09]%
+ \RequirePackage{intcalc}[2007/09/27]%
+ \RequirePackage{bigintcalc}[2007/09/27]%
+\fi
+% \end{macrocode}
+%
+% \subsection{Help macros}
+%
+% \subsubsection{Number constant}
+%
+% \begin{macro}{\BitSet at MaxSize}
+% \begin{macrocode}
+\def\BitSet at MaxSize{2147483647}%
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{General basic macros}
+%
+% \begin{macro}{\BitSet at Empty}
+% \begin{macrocode}
+\def\BitSet at Empty{}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at FirstOfOne}
+% \begin{macrocode}
+\def\BitSet at FirstOfOne#1{#1}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Gobble}
+% \begin{macrocode}
+\def\BitSet at Gobble#1{}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at FirstOfTwo}
+% \begin{macrocode}
+\def\BitSet at FirstOfTwo#1#2{#1}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at SecondOfTwo}
+% \begin{macrocode}
+\def\BitSet at SecondOfTwo#1#2{#2}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\BitSet at Space}
+% \begin{macrocode}
+\def\BitSet at Space{ }
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at ZapSpace}
+% \begin{macrocode}
+\def\BitSet at ZapSpace#1 #2{%
+ #1%
+ \ifx\BitSet at Empty#2%
+ \else
+ \expandafter\BitSet at ZapSpace
+ \fi
+ #2%
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{Tail recursion}
+%
+% \begin{macro}{\BitSet at Fi}
+% \begin{macrocode}
+\let\BitSet at Fi\fi
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at AfterFi}
+% \begin{macrocode}
+\def\BitSet at AfterFi#1#2\BitSet at Fi{\fi#1}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at AfterFiFi}
+% \begin{macrocode}
+\def\BitSet at AfterFiFi#1#2\BitSet at Fi{\fi\fi#1}%
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at AfterFiFiFi}
+% \begin{macrocode}
+\def\BitSet at AfterFiFiFi#1#2\BitSet at Fi{\fi\fi\fi#1}%
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{Check macros}
+%
+% \begin{macro}{\BitSet at IfUndefined}
+% \begin{macrocode}
+\def\BitSet at IfUndefined#1{%
+ \expandafter\ifx\csname BS@#1\endcsname\relax
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\BitSet at CheckIndex}
+% |#1|: continuation code\\
+% |#2|: BitSet\\
+% |#3|: Index
+% \begin{macrocode}
+\def\BitSet at CheckIndex#1#2#3{%
+ \BitSet at IfUndefined{#2}{\bitsetReset{#2}}{}%
+ \expandafter\expandafter\expandafter\BitSet@@CheckIndex
+ \intcalcNum{#3}!%
+ {#2}{#1}%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@CheckIndex}
+% |#1|: plain Index\\
+% |#2|: BitSet\\
+% |#3|: continuation code
+% \begin{macrocode}
+\def\BitSet@@CheckIndex#1!#2#3{%
+ \ifnum#1<0 %
+ \BitSet at AfterFi{%
+ \@PackageError{bitset}{%
+ Invalid negative index (#1)%
+ }\@ehc
+ }%
+ \else
+ \BitSet at AfterFi{%
+ #3{#2}{#1}%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Miscellaneous}\label{src:misc}
+%
+% \begin{macro}{\bitsetReset}
+% \begin{macrocode}
+\def\bitsetReset#1{%
+ \expandafter\def\csname BS@#1\endcsname{0}%
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\bitsetLet}
+% \begin{macrocode}
+\def\bitsetLet#1#2{%
+ \BitSet at IfUndefined{#2}{%
+ \bitsetReset{#1}%
+ }{%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Import}\label{src:import}
+%
+% \subsubsection{From binary number}
+%
+% \begin{macro}{\bitsetSetBin}
+% \begin{macrocode}
+\def\bitsetSetBin#1#2{%
+ \edef\BitSet at Temp{#2}%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet at ZapSpace
+ \expandafter\BitSet at Temp\BitSet at Space\BitSet at Empty
+ }%
+ \edef\BitSet at Temp{%
+ \expandafter\BitSet at KillZeros\BitSet at Temp\BitSet at Empty
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#1\endcsname\BitSet at Zero
+ \else
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\BitSet at Reverse\BitSet at Temp!%
+ }%
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at KillZeros}
+% \begin{macrocode}
+\def\BitSet at KillZeros#1{%
+ \ifx#10%
+ \expandafter\BitSet at KillZeros
+ \else
+ #1%
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Reverse}
+% \begin{macrocode}
+\def\BitSet at Reverse#1#2!{%
+ \ifx\\#2\\%
+ #1%
+ \else
+ \BitSet at AfterFi{%
+ \BitSet at Reverse#2!#1%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{From octal/hex number}
+%
+% \begin{macro}{\bitsetSetOct}
+% \begin{macrocode}
+\def\bitsetSetOct{%
+ \BitSet at SetOctHex\BitSet at FromFirstOct
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetSetHex}
+% \begin{macrocode}
+\def\bitsetSetHex{%
+ \BitSet at SetOctHex\BitSet at FromFirstHex
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at SetOctHex}
+% \begin{macrocode}
+\def\BitSet at SetOctHex#1#2#3{%
+ \edef\BitSet at Temp{#3}%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet at ZapSpace
+ \expandafter\BitSet at Temp\BitSet at Space\BitSet at Empty
+ }%
+ \edef\BitSet at Temp{%
+ \expandafter\BitSet at KillZeros\BitSet at Temp\BitSet at Empty
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#2\endcsname\BitSet at Zero
+ \else
+ \edef\BitSet at Temp{%
+ \expandafter#1\BitSet at Temp!%
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#2\endcsname\BitSet at Zero
+ \else
+ \expandafter\edef\csname BS@#2\endcsname{%
+ \expandafter\BitSet at Reverse\BitSet at Temp!%
+ }%
+ \fi
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at FromFirstOct}
+% \begin{macrocode}
+\def\BitSet at FromFirstOct#1{%
+ \ifx#1!%
+ \else
+ \ifcase#1 \BitSet at AfterFiFi\BitSet at FromFirstOct
+ \or 1%
+ \or 10%
+ \or 11%
+ \or 100%
+ \or 101%
+ \or 110%
+ \or 111%
+ \else \BitSetError:WrongOctalDigit%
+ \fi
+ \expandafter\BitSet at FromOct
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at FromOct}
+% \begin{macrocode}
+\def\BitSet at FromOct#1{%
+ \ifx#1!%
+ \else
+ \ifcase#1 000%
+ \or 001%
+ \or 010%
+ \or 011%
+ \or 100%
+ \or 101%
+ \or 110%
+ \or 111%
+ \else \BitSetError:WrongOctalDigit%
+ \fi
+ \expandafter\BitSet at FromOct
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\BitSet at FromFirstHex}
+% \begin{macrocode}
+\def\BitSet at FromFirstHex#1{%
+ \ifx#1!%
+ \else
+ \ifx#10%
+ \BitSet at AfterFiFi\BitSet at FromFirstHex
+ \fi
+ \expandafter\ifx\csname BitSet at Hex#1\endcsname\relax
+ \BitSetError:InvalidHexDigit%
+ \else
+ \expandafter\expandafter\expandafter\BitSet at KillZeros
+ \csname BitSet at Hex#1\endcsname
+ \fi
+ \expandafter\BitSet at FromHex
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at FromHex}
+% \begin{macrocode}
+\def\BitSet at FromHex#1{%
+ \ifx#1!%
+ \else
+ \expandafter\ifx\csname BitSet at Hex#1\endcsname\relax
+ \BitSetError:InvalidHexDigit%
+ \else
+ \csname BitSet at Hex#1\endcsname
+ \fi
+ \expandafter\BitSet at FromHex
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Hex[0..F]}
+% \begin{macrocode}
+\def\BitSet at Temp#1{%
+ \expandafter\def\csname BitSet at Hex#1\endcsname
+}
+\BitSet at Temp 0{0000}%
+\BitSet at Temp 1{0001}%
+\BitSet at Temp 2{0010}%
+\BitSet at Temp 3{0011}%
+\BitSet at Temp 4{0100}%
+\BitSet at Temp 5{0101}%
+\BitSet at Temp 6{0110}%
+\BitSet at Temp 7{0111}%
+\BitSet at Temp 8{1000}%
+\BitSet at Temp 9{1001}%
+\BitSet at Temp A{1010}%
+\BitSet at Temp B{1011}%
+\BitSet at Temp C{1100}%
+\BitSet at Temp D{1101}%
+\BitSet at Temp E{1110}%
+\BitSet at Temp F{1111}%
+\BitSet at Temp a{1010}%
+\BitSet at Temp b{1011}%
+\BitSet at Temp c{1100}%
+\BitSet at Temp d{1101}%
+\BitSet at Temp e{1110}%
+\BitSet at Temp f{1111}%
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{From decimal number}
+%
+% \begin{macro}{\bitsetSetDec}
+% \begin{macrocode}
+\def\bitsetSetDec#1#2{%
+ \edef\BitSet at Temp{#2}%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet at ZapSpace
+ \expandafter\BitSet at Temp\BitSet at Space\BitSet at Empty
+ }%
+ \edef\BitSet at Temp{%
+ \expandafter\BitSet at KillZeros\BitSet at Temp\BitSet at Empty
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#1\endcsname\BitSet at Zero
+ \else
+ \ifcase\bigintcalcSgn{\BitSet at Temp} %
+ \expandafter\let\csname BS@#1\endcsname\BitSet at Zero
+ \or
+ \ifnum\bigintcalcCmp\BitSet at Temp\BitSet at MaxSize>0 %
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\BitSet at SetDecBig\BitSet at Temp!%
+ }%
+ \else
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\BitSet at SetDec\BitSet at Temp!%
+ }%
+ \fi
+ \else
+ \@PackageError{bitset}{%
+ Bit sets cannot be negative%
+ }\@ehc
+ \fi
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at SetDecBig}
+% \begin{macrocode}
+\def\BitSet at SetDecBig#1#2#3#4#5#6#7#8#9!{%
+ \ifx\\#9\\%
+ \BitSet at SetDec#1#2#3#4#5#6#7#8!%
+ \else
+ \ifcase\BigIntCalcOdd#1#2#4#5#6#7#8#9! %
+ 0%
+ \or
+ 1%
+? \else\BitSetError:ThisCannotHappen%
+ \fi
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at SetDecBig
+ \BigIntCalcShr#1#2#3#4#5#6#7#8#9!!%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at SetDec}
+% \begin{macrocode}
+\def\BitSet at SetDec#1!{%
+ \ifcase#1 %
+ \or 1%
+ \else
+ \ifodd#1 %
+ 1%
+ \else
+ 0%
+ \fi
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at SetDec
+ \IntCalcShr#1!!%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Export}\label{src:export}
+%
+% \subsubsection{To binary number}
+%
+% \begin{macro}{\bitsetGetBin}
+% \begin{macrocode}
+\def\bitsetGetBin#1#2{%
+ \romannumeral0%
+ \expandafter\expandafter\expandafter\BitSet@@GetBin
+ \intcalcNum{#2}!{#1}%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@GetBin}
+% \begin{macrocode}
+\def\BitSet@@GetBin#1!#2{%
+ \BitSet at IfUndefined{#2}{%
+ \ifnum#1>1 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \IntCalcDec#1!!0%
+ }%
+ \else
+ \BitSet at AfterFi{ 0}%
+ \BitSet at Fi
+ }{%
+ \expandafter\expandafter\expandafter\BitSet at NumBinRev
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!#1!%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Fill}
+% |#1|: number of leading digits |0|\\
+% |#2|: result
+% \begin{macrocode}
+\def\BitSet at Fill#1!{%
+ \ifnum#1>0 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \IntCalcDec#1!!0%
+ }%
+ \else
+ \BitSet at AfterFi{ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\BitSet at NumBinRev}
+% |#1|: bit counter (including |#2|)\\
+% |#2#3|: reverted number\\
+% |#4|: result\\
+% |#5|: min size
+% \begin{macrocode}
+\def\BitSet at NumBinRev#1!#2#3!{%
+ \ifx\\#3\\%
+ \BitSet at AfterFi{%
+ \BitSet at NumBinFill#1!#2%
+ }%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at NumBinRev
+ \IntCalcInc#1!!#3!#2%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at NumBinFill}
+% \begin{macrocode}
+\def\BitSet at NumBinFill#1!#2!#3!{%
+ \ifnum#3>#1 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \IntCalcSub#3!#1!!#2%
+ }%
+ \else
+ \BitSet at AfterFi{ #2}%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{To octal/hexadecimal number}
+%
+% \begin{macro}{\bitsetGetOct}
+% \begin{macrocode}
+\def\bitsetGetOct#1#2{%
+ \romannumeral0%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOctHex
+ \intcalcNum{#2}!3!230%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOct
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname00%
+ \BitSet at Empty\BitSet at Empty\BitSet at Empty!{#2}%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetGetHex}
+% \begin{macrocode}
+\def\bitsetGetHex#1#2{%
+ \romannumeral0%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOctHex
+ \intcalcNum{#2}!4!340%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet@@GetHex
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname000%
+ \BitSet at Empty\BitSet at Empty\BitSet at Empty\BitSet at Empty!{#2}%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@GetOct}
+% |#1|: number of digits\\
+% |#2|: result\\
+% |#3#4#5|: bits
+% \begin{macrocode}
+\def\BitSet@@GetOct#1!#2!#3#4#5{%
+ \ifx#5\BitSet at Empty
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at GetOctHex
+ \IntCalcDec#1!!#2!23%
+ }%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOct
+ \number\IntCalcInc#1!\expandafter\expandafter\expandafter!%
+ \csname BitSet at Oct#5#4#3\endcsname#2!%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Oct[000..111]}
+% \begin{macrocode}
+\def\BitSet at Temp#1#2#3#4{%
+ \expandafter\def\csname BitSet at Oct#1#2#3\endcsname{#4}%
+}
+\BitSet at Temp0000%
+\BitSet at Temp0011%
+\BitSet at Temp0102%
+\BitSet at Temp0113%
+\BitSet at Temp1004%
+\BitSet at Temp1015%
+\BitSet at Temp1106%
+\BitSet at Temp1117%
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@GetHex}
+% |#1|: number of digits\\
+% |#2|: result\\
+% |#3#4#5#6|: bits
+% \begin{macrocode}
+\def\BitSet@@GetHex#1!#2!#3#4#5#6{%
+ \ifx#6\BitSet at Empty
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at GetOctHex
+ \IntCalcDec#1!!#2!34%
+ }%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet@@GetHex
+ \number\IntCalcInc#1!\expandafter\expandafter\expandafter!%
+ \csname BitSet at Hex#6#5#4#3\endcsname#2!%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Hex[0000..1111]}
+% \begin{macrocode}
+\def\BitSet at Temp#1#2#3#4#5{%
+ \expandafter\def\csname BitSet at Hex#1#2#3#4\endcsname{#5}%
+}
+\BitSet at Temp00000%
+\BitSet at Temp00011%
+\BitSet at Temp00102%
+\BitSet at Temp00113%
+\BitSet at Temp01004%
+\BitSet at Temp01015%
+\BitSet at Temp01106%
+\BitSet at Temp01117%
+\BitSet at Temp10008%
+\BitSet at Temp10019%
+\BitSet at Temp1010A%
+\BitSet at Temp1011B%
+\BitSet at Temp1100C%
+\BitSet at Temp1101D%
+\BitSet at Temp1110E%
+\BitSet at Temp1111F%
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at GetOctHex}
+% Leading zeros $ (|#4| - |#1| * 3 + 2)/3 $ if $ |#4| > |#1| * 3$\\
+% |#1|: digit size\\
+% |#2|: result\\
+% |#3|: bits per digit - 1\\
+% |#4|: bits per digit
+% |#5|: garbage\\
+% |#6|: min size
+% \begin{macrocode}
+\def\BitSet at GetOctHex#1!#2!#3#4#5!#6{%
+ \expandafter\BitSet@@GetOctHex
+ \number\intcalcNum{#6}\expandafter\expandafter\expandafter!%
+ \IntCalcMul#1!#4!!#3#4#2%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@GetOctHex}
+% |#1|: plain min size\\
+% |#2|: digits * (bits per digit)\\
+% |#3|: bits per digit - 1\\
+% |#4|: bits per digit
+% \begin{macrocode}
+\def\BitSet@@GetOctHex#1!#2!#3#4{%
+ \ifnum#1>#2 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\expandafter
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \expandafter\IntCalcDiv\number
+ \expandafter\expandafter\expandafter\IntCalcAdd
+ \IntCalcSub#1!#2!!#3!!#4!!%
+ }%
+ \else
+ \BitSet at AfterFi{ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{To decimal number}
+%
+% \begin{macro}{\bitsetGetDec}
+% \begin{macrocode}
+\def\bitsetGetDec#1{%
+ \romannumeral0%
+ \BitSet at IfUndefined{#1}{ 0}{%
+ \expandafter\expandafter\expandafter\BitSet at GetDec
+ \csname BS@#1\endcsname!%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at GetDec}
+% \begin{macrocode}
+\def\BitSet at GetDec#1#2!{%
+ \ifx\\#2\\%
+ \BitSet at AfterFi{ #1}%
+ \else
+ \BitSet at AfterFi{%
+ \BitSet@@GetDec2!#1!#2!%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@GetDec}
+% |#1|: power of two\\
+% |#2|: result\\
+% |#3#4|: number
+% \begin{macrocode}
+\def\BitSet@@GetDec#1!#2!#3#4!{%
+ \ifx\\#4\\%
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Space
+ \IntCalcAdd#1!#2!%
+ }%
+ \else
+ \BitSet at AfterFiFi{ #2}%
+ \fi
+ \else
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \csname BitSet at N#1%
+ \expandafter\expandafter\expandafter\endcsname
+ \IntCalcAdd#1!#2!!#4!%
+ }%
+ \else
+ \BitSet at AfterFiFi{%
+ \csname BitSet at N#1\endcsname#2!#4!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at N[1,2,4,...]}
+% \begin{macrocode}
+\def\BitSet at Temp#1#2{%
+ \expandafter\def\csname BitSet at N#1\endcsname{%
+ \BitSet@@GetDec#2!%
+ }%
+}
+\BitSet at Temp{1}{2}
+\BitSet at Temp{2}{4}
+\BitSet at Temp{4}{8}
+\BitSet at Temp{8}{16}
+\BitSet at Temp{16}{32}
+\BitSet at Temp{32}{64}
+\BitSet at Temp{64}{128}
+\BitSet at Temp{128}{256}
+\BitSet at Temp{256}{512}
+\BitSet at Temp{512}{1024}
+\BitSet at Temp{1024}{2048}
+\BitSet at Temp{2048}{4096}
+\BitSet at Temp{4096}{8192}
+\BitSet at Temp{8192}{16384}
+\BitSet at Temp{16384}{32768}
+\BitSet at Temp{32768}{65536}
+\BitSet at Temp{65536}{131072}
+\BitSet at Temp{131072}{262144}
+\BitSet at Temp{262144}{524288}
+\BitSet at Temp{524288}{1048576}
+\BitSet at Temp{1048576}{2097152}
+\BitSet at Temp{2097152}{4194304}
+\BitSet at Temp{4194304}{8388608}
+\BitSet at Temp{8388608}{16777216}
+\BitSet at Temp{16777216}{33554432}
+\BitSet at Temp{33554432}{67108864}
+\BitSet at Temp{67108864}{134217728}
+\BitSet at Temp{134217728}{268435456}
+\BitSet at Temp{268435456}{536870912}
+\BitSet at Temp{536870912}{1073741824}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at N1073741824}
+% \begin{macrocode}
+\expandafter\def\csname BitSet at N1073741824\endcsname{%
+ \BitSet at GetDecBig2147483648!%
+}%
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\BitSet at GetDecBig}
+% |#1|: current power of two\\
+% |#2|: result\\
+% |#3#4|: number
+% \begin{macrocode}
+\def\BitSet at GetDecBig#1!#2!#3#4!{%
+ \ifx\\#4\\%
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Space
+ \BigIntCalcAdd#1!#2!%
+ }%
+ \else
+ \BitSet at AfterFiFi{ #2}%
+ \fi
+ \else
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet@@GetDecBig
+ \BigIntCalcAdd#1!#2!!#1!#4!%
+ }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at GetDecBig
+ \BigIntCalcShl#1!!#2!#4!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@GetDecBig}
+% |#1|: result\\
+% |#2|: power of two\\
+% |#3#4|: number
+% \begin{macrocode}
+\def\BitSet@@GetDecBig#1!#2!{%
+ \expandafter\expandafter\expandafter\BitSet at GetDecBig
+ \BigIntCalcShl#2!!#1!%
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Logical operators}\label{src:log}
+%
+% \subsubsection{\cs{bitsetAnd}}
+%
+% \begin{macro}{\bitsetAnd}
+% Decision table for \cs{bitsetAnd}:
+% \begin{quote}
+% \begin{tabular}{l|l|l|l|}
+% & undef(B) & empty(B) & cardinality(B)$>$0\\
+% \hline
+% undef(A) & A := empty & A := empty & A := empty\\
+% \hline
+% empty(A) & & &\\
+% \hline
+% cardinality(A)$>$0 & A := empty & A := empty & A \&= B\\
+% \hline
+% \end{tabular}
+% \end{quote}
+% \begin{macrocode}
+\def\bitsetAnd#1#2{%
+ \bitsetIsEmpty{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#2}{%
+ \bitsetReset{#1}%
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at And
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!%
+ }%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Empty
+ \bitsetReset{#1}%
+ \fi
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at And}
+% \begin{macrocode}
+\def\BitSet at And#1#2!#3#4!#5!{%
+ \ifx\\#2\\%
+ \ifnum#1#3=11 #51\fi
+ \else
+ \ifx\\#4\\%
+ \ifnum#1#3=11 #51\fi
+ \else
+ \ifnum#1#3=11 %
+ #51%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at And#2!#4!!%
+ }%
+ \else
+ \BitSet at AfterFiFiFi{%
+ \BitSet at And#2!#4!#50!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{\cs{bitsetAndNot}}
+%
+% \begin{macro}{\bitsetAndNot}
+% Decision table for \cs{bitsetAndNot}:
+% \begin{quote}
+% \begin{tabular}{l|l|l|l|}
+% & undef(B) & empty(B) & cardinality(B)$>$0\\
+% \hline
+% undef(A) & A := empty & A := empty & A := empty\\
+% \hline
+% empty(A) & & &\\
+% \hline
+% cardinality(A)$>$0 & & & A \&= !B\\
+% \hline
+% \end{tabular}
+% \end{quote}
+% \begin{macrocode}
+\def\bitsetAndNot#1#2{%
+ \bitsetIsEmpty{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#2}{%
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at AndNot
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!%
+ }%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Empty
+ \bitsetReset{#1}%
+ \fi
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at AndNot}
+% \begin{macrocode}
+\def\BitSet at AndNot#1#2!#3#4!#5!{%
+ \ifx\\#2\\%
+ \ifnum#1#3=10 #51\fi
+ \else
+ \ifx\\#4\\%
+ #5%
+ \ifnum#1#3=10 1\else 0\fi
+ #2%
+ \else
+ \ifnum#1#3=10 %
+ #51%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at AndNot#2!#4!!%
+ }%
+ \else
+ \BitSet at AfterFiFiFi{%
+ \BitSet at AndNot#2!#4!#50!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{\cs{bitsetOr}}
+%
+% \begin{macro}{\bitsetOr}
+% Decision table for \cs{bitsetOr}:
+% \begin{quote}
+% \begin{tabular}{l|l|l|l|}
+% & undef(B) & empty(B) & cardinality(B)$>$0\\
+% \hline
+% undef(A) & A := empty & A := empty & A := B\\
+% \hline
+% empty(A) & & & A := B\\
+% \hline
+% cardinality(A)$>$0 & & & A \string|= B\\
+% \hline
+% \end{tabular}
+% \end{quote}
+% \begin{macrocode}
+\def\bitsetOr#1#2{%
+ \bitsetIsEmpty{#2}{%
+ \BitSet at IfUndefined{#1}{\bitsetReset{#1}}{}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at Or
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!%
+ }%
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Or}
+% \begin{macrocode}
+\def\BitSet at Or#1#2!#3#4!{%
+ \ifnum#1#3>0 1\else 0\fi
+ \ifx\\#2\\%
+ #4%
+ \else
+ \ifx\\#4\\%
+ #2%
+ \else
+ \BitSet at AfterFiFi{%
+ \BitSet at Or#2!#4!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{\cs{bitsetXor}}
+%
+% \begin{macro}{\bitsetXor}
+% Decision table for \cs{bitsetXor}:
+% \begin{quote}
+% \begin{tabular}{l|l|l|l|}
+% & undef(B) & empty(B) & cardinality(B)$>$0\\
+% \hline
+% undef(A) & A := empty & A := empty & A := B\\
+% \hline
+% empty(A) & & & A := B\\
+% \hline
+% cardinality(A)$>$0 & & & A \string^= B\\
+% \hline
+% \end{tabular}
+% \end{quote}
+% \begin{macrocode}
+\def\bitsetXor#1#2{%
+ \bitsetIsEmpty{#2}{%
+ \BitSet at IfUndefined{#1}{\bitsetReset{#1}}{}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at Xor
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!%
+ }%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Empty
+ \bitsetReset{#1}%
+ \fi
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Xor}
+% \begin{macrocode}
+\def\BitSet at Xor#1#2!#3#4!#5!{%
+ \ifx\\#2\\%
+ \ifx#1#3%
+ \ifx\\#4\\%
+ \else
+ #50#4%
+ \fi
+ \else
+ #51#4%
+ \fi
+ \else
+ \ifx\\#4\\%
+ #5%
+ \ifx#1#30\else 1\fi
+ #2%
+ \else
+ \ifx#1#3%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at Xor#2!#4!#50!%
+ }%
+ \else
+ #51%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at Xor#2!#4!!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{Shifting}\label{src:shift}
+%
+% \subsubsection{\cs{bitsetShiftLeft}}
+%
+% \begin{macro}{\bitsetShiftLeft}
+% \begin{macrocode}
+\def\bitsetShiftLeft#1#2{%
+ \BitSet at IfUndefined{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet at ShiftLeft
+ \intcalcNum{#2}!{#1}%
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at ShiftLeft}
+% \begin{macrocode}
+\def\BitSet at ShiftLeft#1!#2{%
+ \ifcase\intcalcSgn{#1} %
+ \or
+ \begingroup
+ \uccode`m=`0 %
+ \uppercase\expandafter{\expandafter\endgroup
+ \expandafter\edef\csname BS@#2\expandafter\endcsname
+ \expandafter{%
+ \romannumeral#1000\expandafter\BitSet at Space
+ \csname BS@#2\endcsname
+ }%
+ }%
+ \else
+ \expandafter\BitSet at ShiftRight\BitSet at Gobble#1!{#2}%
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{\cs{bitsetShiftRight}}
+%
+% \begin{macro}{\bitsetShiftRight}
+% \begin{macrocode}
+\def\bitsetShiftRight#1#2{%
+ \BitSet at IfUndefined{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet at ShiftRight
+ \intcalcNum{#2}!{#1}%
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at ShiftRight}
+% \begin{macrocode}
+\def\BitSet at ShiftRight#1!#2{%
+ \ifcase\intcalcSgn{#1} %
+ \or
+ \expandafter\edef\csname BS@#2\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at Kill
+ \csname BS@#2\expandafter\endcsname\expandafter\BitSet at Empty
+ \expandafter=%
+ \expandafter{\expandafter}\expandafter{\expandafter}%
+ \romannumeral#1000!%
+ }%
+ \else
+ \expandafter\BitSet at ShiftLeft\BitSet at Gobble#1!{#2}%
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Kill}
+% \begin{macrocode}
+\def\BitSet at Kill#1#2=#3#4#5{%
+ #3#4%
+ \ifx#5!%
+ \ifx#1\BitSet at Empty
+ 0%
+ \else
+ #1#2%
+ \fi
+ \else
+ \ifx#1\BitSet at Empty
+ 0%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet at Kill#2=%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Bit manipulation}\label{src:bitman}
+%
+% \begin{macro}{\bitsetClear}
+% \begin{macrocode}
+\def\bitsetClear{%
+ \BitSet at CheckIndex\BitSet at Clear
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetSet}
+% \begin{macrocode}
+\def\bitsetSet{%
+ \BitSet at CheckIndex\BitSet at Set
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetFlip}
+% \begin{macrocode}
+\def\bitsetFlip{%
+ \BitSet at CheckIndex\BitSet at Flip
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetSetValue}
+% \begin{macrocode}
+\def\bitsetSetValue#1#2#3{%
+ \expandafter\expandafter\expandafter\BitSet at SetValue
+ \intcalcNum{#3}!{#1}{#2}%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at SetValue}
+% |#1|: plain value\\
+% |#2|: BitSet\\
+% |#3|: Index
+% \begin{macrocode}
+\def\BitSet at SetValue#1!{%
+ \BitSet at CheckIndex{%
+ \ifcase#1 %
+ \expandafter\BitSet at Clear
+ \or
+ \expandafter\BitSet at Set
+ \else
+ \BitSet at ErrorInvalidBitValue{#1}%
+ \expandafter\expandafter\expandafter\BitSet at Gobble
+ \expandafter\BitSet at Gobble
+ \fi
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at ErrorInvalidBitValue}
+% |#1|: Wrong bit value
+% \begin{macrocode}
+\def\BitSet at ErrorInvalidBitValue#1{%
+ \@PackageError{bitset}{%
+ Invalid bit value (#1) not in range 0..1%
+ }\@ehc
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{Clear operation}
+%
+% \begin{macro}{\BitSet at Clear}
+% |#1|: BitSet\\
+% |#2|: plain and checked index
+% \begin{macrocode}
+\def\BitSet at Clear#1#2{%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet@@Clear
+ \csname BS@#1\expandafter\endcsname
+ \expandafter\BitSet at Empty\expandafter=\expandafter!%
+ \romannumeral#2000!%
+ }%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \ifx\BitSet at Temp\BitSet at Empty
+ \BitSet at Zero
+ \else
+ \BitSet at Temp
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@Clear}
+% \begin{macrocode}
+\def\BitSet@@Clear#1#2=#3!#4{%
+ \ifx#4!%
+ \ifx#1\BitSet at Empty
+ \else
+ \ifx\BitSet at Empty#2%
+ \else
+ #30#2%
+ \fi
+ \fi
+ \else
+ \ifx#1\BitSet at Empty
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \ifx#10%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Clear#2=#30!%
+ }%
+ \else
+ #31%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Clear#2=!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{Set operation}
+%
+% \begin{macro}{\BitSet at Set}
+% |#1|: BitSet\\
+% |#2|: plain and checked Index
+% \begin{macrocode}
+\def\BitSet at Set#1#2{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet@@Set
+ \csname BS@#1\expandafter\endcsname
+ \expandafter\BitSet at Empty\expandafter=%
+ \expandafter{\expandafter}\expandafter{\expandafter}%
+ \romannumeral#2000!%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@Set}
+% \begin{macrocode}
+\def\BitSet@@Set#1#2=#3#4#5{%
+ #3#4%
+ \ifx#5!%
+ 1#2%
+ \else
+ \ifx#1\BitSet at Empty
+ 0%
+ \BitSet at AfterFiFi\BitSet@@@Set
+ \else
+ #1%
+ \BitSet@@Set#2=%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@@Set}
+% \begin{macrocode}
+\def\BitSet@@@Set#1{%
+ \ifx#1!%
+ 1%
+ \else
+ 0%
+ \expandafter\BitSet@@@Set
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{Flip operation}
+%
+% \begin{macro}{\BitSet at Flip}
+% |#1|: BitSet\\
+% |#2|: plain and checked Index
+% \begin{macrocode}
+\def\BitSet at Flip#1#2{%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet@@Flip
+ \csname BS@#1\expandafter\endcsname
+ \expandafter\BitSet at Empty\expandafter=\expandafter!%
+ \romannumeral#2000!%
+ }%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \ifx\BitSet at Temp\BitSet at Empty
+ \BitSet at Zero
+ \else
+ \BitSet at Temp
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@Flip}
+% \begin{macrocode}
+\def\BitSet@@Flip#1#2=#3!#4{%
+ \ifx#4!%
+ \ifx#11%
+ \ifx\BitSet at Empty#2%
+ \else
+ #30#2%
+ \fi
+ \else
+ #31#2%
+ \fi
+ \else
+ \ifx#1\BitSet at Empty
+ #30%
+ \BitSet at AfterFiFi\BitSet@@@Set
+ \else
+ \ifx#10%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Flip#2=#30!%
+ }%
+ \else
+ #31%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Flip#2=!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{Range operators}
+%
+% \begin{macro}{\bitsetClearRange}
+% \begin{macrocode}
+\def\bitsetClearRange{%
+ \BitSet at Range\BitSet at Clear
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetSetRange}
+% \begin{macrocode}
+\def\bitsetSetRange{%
+ \BitSet at Range\BitSet at Set
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetFlipRange}
+% \begin{macrocode}
+\def\bitsetFlipRange{%
+ \BitSet at Range\BitSet at Flip
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetSetValueRange}
+% \begin{macrocode}
+\def\bitsetSetValueRange#1#2#3#4{%
+ \expandafter\expandafter\expandafter\BitSet at SetValueRange
+ \intcalcNum{#4}!{#1}{#2}{#3}%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at SetValueRange}
+% \begin{macrocode}
+\def\BitSet at SetValueRange#1!#2#3#4{%
+ \ifcase#1 %
+ \BitSet at Range\BitSet at Clear{#2}{#3}{#4}%
+ \or
+ \BitSet at Range\BitSet at Set{#2}{#3}{#4}%
+ \else
+ \BitSet at ErrorInvalidBitValue{#1}%
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\BitSet at Range}
+% |#1|: clear/set/flip macro\\
+% |#2|: BitSet\\
+% |#3|: Index from\\
+% |#4|: Index to
+% \begin{macrocode}
+\def\BitSet at Range#1#2#3#4{%
+ \edef\BitSet at Temp{%
+ \noexpand\BitSet@@Range\noexpand#1{#2}%
+ \intcalcNum{#3}!\intcalcNum{#4}!%
+ }%
+ \BitSet at Temp
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@Range}
+% |#1|: clear/set/flip macro\\
+% |#2|: BitSet\\
+% |#3|: Index from\\
+% |#4|: Index to
+% \begin{macrocode}
+\def\BitSet@@Range#1#2#3!#4!{%
+ \ifnum#3<0 %
+ \BitSet at NegativeIndex#1{#2}#3!#4!0!#4!%
+ \else
+ \ifnum#4<0 %
+ \BitSet at NegativeIndex#1{#2}#3!#4!#3!0!%
+ \else
+ \ifcase\intcalcCmp{#3}{#4} %
+ \or
+ \@PackageError{bitset}{%
+ Wrong index numbers in range [#3..#4]\MessageBreak% hash-ok
+ for clear/set/flip on bit set `#2'.\MessageBreak
+ The lower index exceeds the upper index.\MessageBreak
+ Canceling the operation as error recovery%
+ }\@ehc
+ \else
+ \BitSet@@@Range#3!#4!#1{#2}%
+ \fi
+ \fi
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at NegativeIndex}
+% \begin{macrocode}
+\def\BitSet at NegativeIndex#1#2#3!#4!#5!#6!{%
+ \@PackageError{bitset}{%
+ Negative index in range [#3..#4]\MessageBreak % hash-ok
+ for \string\bitset
+ \ifx#1\BitSet at Clear
+ Clear%
+ \else
+ \ifx#1\BitSet at Set
+ Set%
+ \else
+ Flip%
+ \fi
+ \fi
+ Range on bit set `#2'.\MessageBreak
+ Using [#5..#6] as error recovery% hash-ok
+ }\@ehc
+ \BitSet@@Range#1{#2}#5!#6!%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@Range}
+% \begin{macrocode}
+\def\BitSet@@@Range#1!#2!#3#4{%
+ \ifnum#1<#2 %
+ #3{#4}{#1}%
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet@@@Range
+ \IntCalcInc#1!!#2!#3{#4}%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Bit retrieval}\label{src:bitret}
+%
+% \subsubsection{\cs{bitsetGet}}
+%
+% \begin{macro}{\bitsetGet}
+% \begin{macrocode}
+\def\bitsetGet#1#2{%
+ \number
+ \expandafter\expandafter\expandafter\BitSet at Get
+ \intcalcNum{#2}!{#1}%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Get}
+% |#1|: plain index\\
+% |#2|: BitSet
+% \begin{macrocode}
+\def\BitSet at Get#1!#2{%
+ \ifnum#1<0 %
+ \BitSet at AfterFi{%
+ 0 \BitSetError:NegativeIndex%
+ }%
+ \else
+ \BitSet at IfUndefined{#2}{0}{%
+ \expandafter\expandafter\expandafter\BitSet@@Get
+ \csname BS@#2\expandafter\endcsname
+ \expandafter!\expandafter=%
+ \expandafter{\expandafter}\expandafter{\expandafter}%
+ \romannumeral\intcalcNum{#1}000!%
+ }%
+ \expandafter\BitSet at Space
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@Get}
+% \begin{macrocode}
+\def\BitSet@@Get#1#2=#3#4#5{%
+ #3#4%
+ \ifx#5!%
+ \ifx#1!%
+ 0%
+ \else
+ #1%
+ \fi
+ \else
+ \ifx#1!%
+ 0%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet@@Get#2=%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{\cs{bitsetNextClearBit}, \cs{bitsetNextSetBit}}
+%
+% \begin{macro}{\bitsetNextClearBit}
+% \begin{macrocode}
+\def\bitsetNextClearBit#1#2{%
+ \number
+ \expandafter\expandafter\expandafter\BitSet at NextClearBit
+ \intcalcNum{#2}!{#1} %
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at NextClearBit}
+% |#1|: Index\\
+% |#2|: BitSet
+% \begin{macrocode}
+\def\BitSet at NextClearBit#1!#2{%
+ \ifnum#1<0 %
+ \BitSet at NextClearBit0!{#2}%
+ \BitSet at AfterFi{%
+ \expandafter\BitSet at Space
+ \expandafter\BitSetError:NegativeIndex\romannumeral0%
+ }%
+ \else
+ \bitsetIsEmpty{#2}{#1}{%
+ \expandafter\BitSet at Skip
+ \number#1\expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!!!!!!!!=%
+ {\BitSet@@NextClearBit#1!}%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@NextClearBit}
+% |#1|: index for next bit in |#2|\\
+% |#2|: next bit
+% \begin{macrocode}
+\def\BitSet@@NextClearBit#1!#2{%
+ \ifx#2!%
+ #1%
+ \else
+ \ifx#20%
+ #1%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet@@NextClearBit
+ \IntCalcInc#1!!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\bitsetNextSetBit}
+% \begin{macrocode}
+\def\bitsetNextSetBit#1#2{%
+ \number
+ \expandafter\expandafter\expandafter\BitSet at NextSetBit
+ \intcalcNum{#2}!{#1} %
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at NextSetBit}
+% |#1|: Index\\
+% |#2|: BitSet
+% \begin{macrocode}
+\def\BitSet at NextSetBit#1!#2{%
+ \ifnum#1<0 %
+ \BitSet at NextSetBit0!{#2}%
+ \BitSet at AfterFi{%
+ \expandafter\BitSet at Space
+ \expandafter\BitSetError:NegativeIndex\romannumeral0%
+ }%
+ \else
+ \bitsetIsEmpty{#2}{-1}{%
+ \expandafter\BitSet at Skip
+ \number#1\expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!!!!!!!!=%
+ {\BitSet@@NextSetBit#1!}%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet@@NextSetBit}
+% |#1|: index for next bit in |#2|\\
+% |#2|: next bit
+% \begin{macrocode}
+\def\BitSet@@NextSetBit#1!#2{%
+ \ifx#2!%
+ -1%
+ \else
+ \ifx#21%
+ #1%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet@@NextSetBit
+ \IntCalcInc#1!!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Cleanup}
+% \begin{macrocode}
+\def\BitSet at Cleanup#1!{}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\BitSet at Skip}
+% |#1|: number of bits to skip\\
+% |#2|: bits\\
+% |#3|: continuation code
+% \begin{macrocode}
+\def\BitSet at Skip#1!#2{%
+ \ifx#2!%
+ \BitSet at AfterFi{%
+ \BitSet at SkipContinue%
+ }%
+ \else
+ \ifcase#1 %
+ \BitSet at AfterFiFi{%
+ \BitSet at SkipContinue#2%
+ }%
+ \or
+ \BitSet at AfterFiFi\BitSet at SkipContinue
+ \or
+ \BitSet at AfterFiFi{%
+ \expandafter\BitSet at SkipContinue\BitSet at Gobble
+ }%
+ \else
+ \ifnum#1>8 %
+ \BitSet at AfterFiFiFi{%
+ \expandafter\BitSet at Skip
+ \number\IntCalcSub#1!8!\expandafter!%
+ \BitSet at GobbleSeven
+ }%
+ \else
+ \BitSet at AfterFiFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Skip
+ \IntCalcDec#1!!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at SkipContinue}
+% |#1|: remaining bits\\
+% |#2|: continuation code
+% \begin{macrocode}
+\def\BitSet at SkipContinue#1!#2=#3{%
+ #3#1!%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at GobbleSeven}
+% \begin{macrocode}
+\def\BitSet at GobbleSeven#1#2#3#4#5#6#7{}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsubsection{\cs{bitsetGetSetBitList}}
+%
+% \begin{macro}{\bitsetGetSetBitList}
+% It's just a wrapper for \cs{bitsetNextSetBit}.
+% \begin{macrocode}
+\def\bitsetGetSetBitList#1{%
+ \romannumeral0%
+ \bitsetIsEmpty{#1}{ }{%
+ \expandafter\BitSet at GetSetBitList
+ \number\BitSet at NextSetBit0!{#1}!{#1}{}!%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at GetSetBitList}
+% |#1|: found index\\
+% |#2|: BitSet\\
+% |#3|: comma
+% |#4|: result
+% \begin{macrocode}
+\def\BitSet at GetSetBitList#1!#2#3#4!{%
+ \ifnum#1<0 %
+ \BitSet at AfterFi{ #4}%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\BitSet at GetSetBitList\number
+ \expandafter\expandafter\expandafter\BitSet at NextSetBit
+ \IntCalcInc#1!!{#2}!{#2},#4#3#1!%
+ }%
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Bit set properties}\label{src:prop}
+%
+% \begin{macro}{\bitsetSize}
+% \begin{macrocode}
+\def\bitsetSize#1{%
+ \number
+ \BitSet at IfUndefined{#1}{0 }{%
+ \expandafter\expandafter\expandafter\BitSet at Size
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname!0!%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Size}
+% |#1|: counter\\
+% |#2#3|: bits\\
+% |#4|: result
+% \begin{macrocode}
+\def\BitSet at Size#1!#2#3!#4!{%
+ \ifx#21%
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{#1 }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Size
+ \IntCalcInc#1!!#3!#1!%
+ }%
+ \fi
+ \else
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{#4 }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Size
+ \IntCalcInc#1!!#3!#4!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\bitsetCardinality}
+% \begin{macrocode}
+\def\bitsetCardinality#1{%
+ \number
+ \BitSet at IfUndefined{#1}{0 }{%
+ \expandafter\expandafter\expandafter\BitSet at Cardinality
+ \expandafter\expandafter\expandafter0%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname!%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Cardinality}
+% |#1|: result\\
+% |#2#3|: bits
+% \begin{macrocode}
+\def\BitSet at Cardinality#1!#2#3!{%
+ \ifx#21%
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{\IntCalcInc#1! }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Cardinality
+ \IntCalcInc#1!!#3!%
+ }%
+ \fi
+ \else
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{#1 }%
+ \else
+ \BitSet at AfterFiFi{%
+ \BitSet at Cardinality#1!#3!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \subsection{Queries}\label{src:query}
+%
+% \begin{macro}{\bitsetIsDefined}
+% \begin{macrocode}
+\def\bitsetIsDefined#1{%
+ \BitSet at IfUndefined{#1}%
+ \BitSet at SecondOfTwo
+ \BitSet at FirstOfTwo
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\bitsetIsEmpty}
+% \begin{macrocode}
+\def\bitsetIsEmpty#1{%
+ \BitSet at IfUndefined{#1}\BitSet at FirstOfTwo{%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Zero
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Zero}
+% \begin{macrocode}
+\def\BitSet at Zero{0}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\bitsetQuery}
+% \begin{macrocode}
+\def\bitsetQuery#1#2{%
+ \ifnum\bitsetGet{#1}{#2}=1 %
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\bitsetEquals}
+% \begin{macrocode}
+\def\bitsetEquals#1#2{%
+ \BitSet at IfUndefined{#1}{%
+ \BitSet at IfUndefined{#2}\BitSet at FirstOfTwo\BitSet at SecondOfTwo
+ }{%
+ \BitSet at IfUndefined{#2}\BitSet at SecondOfTwo{%
+ \expandafter\ifx\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\bitsetIntersects}
+% \begin{macrocode}
+\def\bitsetIntersects#1#2{%
+ \bitsetIsEmpty{#1}\BitSet at SecondOfTwo{%
+ \bitsetIsEmpty{#2}\BitSet at SecondOfTwo{%
+ \expandafter\expandafter\expandafter\BitSet at Intersects
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!%
+ }%
+ }%
+}
+% \end{macrocode}
+% \end{macro}
+% \begin{macro}{\BitSet at Intersects}
+% \begin{macrocode}
+\def\BitSet at Intersects#1#2!#3#4!{%
+ \ifnum#1#3=11 %
+ \BitSet at AfterFi\BitSet at FirstOfTwo
+ \else
+ \ifx\\#2\\%
+ \BitSet at AfterFiFi\BitSet at SecondOfTwo
+ \else
+ \ifx\\#4\\%
+ \BitSet at AfterFiFiFi\BitSet at SecondOfTwo
+ \else
+ \BitSet at AfterFiFiFi{%
+ \BitSet at Intersects#2!#4!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+% \end{macrocode}
+% \end{macro}
+%
+% \begin{macrocode}
+\BitSet at AtEnd%
+%</package>
+% \end{macrocode}
+%% \section{Installation}
+%
+% \subsection{Download}
+%
+% \paragraph{Package.} This package is available on
+% CTAN\footnote{\CTANpkg{bitset}}:
+% \begin{description}
+% \item[\CTAN{macros/latex/contrib/bitset/bitset.dtx}] The source file.
+% \item[\CTAN{macros/latex/contrib/bitset/bitset.pdf}] Documentation.
+% \end{description}
+%
+%
+% \paragraph{Bundle.} All the packages of the bundle `bitset'
+% are also available in a TDS compliant ZIP archive. There
+% the packages are already unpacked and the documentation files
+% are generated. The files and directories obey the TDS standard.
+% \begin{description}
+% \item[\CTANinstall{install/macros/latex/contrib/bitset.tds.zip}]
+% \end{description}
+% \emph{TDS} refers to the standard ``A Directory Structure
+% for \TeX\ Files'' (\CTANpkg{tds}). Directories
+% with \xfile{texmf} in their name are usually organized this way.
+%
+% \subsection{Bundle installation}
+%
+% \paragraph{Unpacking.} Unpack the \xfile{bitset.tds.zip} in the
+% TDS tree (also known as \xfile{texmf} tree) of your choice.
+% Example (linux):
+% \begin{quote}
+% |unzip bitset.tds.zip -d ~/texmf|
+% \end{quote}
+%
+% \subsection{Package installation}
+%
+% \paragraph{Unpacking.} The \xfile{.dtx} file is a self-extracting
+% \docstrip\ archive. The files are extracted by running the
+% \xfile{.dtx} through \plainTeX:
+% \begin{quote}
+% \verb|tex bitset.dtx|
+% \end{quote}
+%
+% \paragraph{TDS.} Now the different files must be moved into
+% the different directories in your installation TDS tree
+% (also known as \xfile{texmf} tree):
+% \begin{quote}
+% \def\t{^^A
+% \begin{tabular}{@{}>{\ttfamily}l@{ $\rightarrow$ }>{\ttfamily}l@{}}
+% bitset.sty & tex/generic/bitset/bitset.sty\\
+% bitset.pdf & doc/latex/bitset/bitset.pdf\\
+% bitset.dtx & source/latex/bitset/bitset.dtx\\
+% \end{tabular}^^A
+% }^^A
+% \sbox0{\t}^^A
+% \ifdim\wd0>\linewidth
+% \begingroup
+% \advance\linewidth by\leftmargin
+% \advance\linewidth by\rightmargin
+% \edef\x{\endgroup
+% \def\noexpand\lw{\the\linewidth}^^A
+% }\x
+% \def\lwbox{^^A
+% \leavevmode
+% \hbox to \linewidth{^^A
+% \kern-\leftmargin\relax
+% \hss
+% \usebox0
+% \hss
+% \kern-\rightmargin\relax
+% }^^A
+% }^^A
+% \ifdim\wd0>\lw
+% \sbox0{\small\t}^^A
+% \ifdim\wd0>\linewidth
+% \ifdim\wd0>\lw
+% \sbox0{\footnotesize\t}^^A
+% \ifdim\wd0>\linewidth
+% \ifdim\wd0>\lw
+% \sbox0{\scriptsize\t}^^A
+% \ifdim\wd0>\linewidth
+% \ifdim\wd0>\lw
+% \sbox0{\tiny\t}^^A
+% \ifdim\wd0>\linewidth
+% \lwbox
+% \else
+% \usebox0
+% \fi
+% \else
+% \lwbox
+% \fi
+% \else
+% \usebox0
+% \fi
+% \else
+% \lwbox
+% \fi
+% \else
+% \usebox0
+% \fi
+% \else
+% \lwbox
+% \fi
+% \else
+% \usebox0
+% \fi
+% \else
+% \lwbox
+% \fi
+% \else
+% \usebox0
+% \fi
+% \end{quote}
+% If you have a \xfile{docstrip.cfg} that configures and enables \docstrip's
+% TDS installing feature, then some files can already be in the right
+% place, see the documentation of \docstrip.
+%
+% \subsection{Refresh file name databases}
+%
+% If your \TeX~distribution
+% (\TeX\,Live, \mikTeX, \dots) relies on file name databases, you must refresh
+% these. For example, \TeX\,Live\ users run \verb|texhash| or
+% \verb|mktexlsr|.
+%
+% \subsection{Some details for the interested}
+%
+% \paragraph{Unpacking with \LaTeX.}
+% The \xfile{.dtx} chooses its action depending on the format:
+% \begin{description}
+% \item[\plainTeX:] Run \docstrip\ and extract the files.
+% \item[\LaTeX:] Generate the documentation.
+% \end{description}
+% If you insist on using \LaTeX\ for \docstrip\ (really,
+% \docstrip\ does not need \LaTeX), then inform the autodetect routine
+% about your intention:
+% \begin{quote}
+% \verb|latex \let\install=y\input{bitset.dtx}|
+% \end{quote}
+% Do not forget to quote the argument according to the demands
+% of your shell.
+%
+% \paragraph{Generating the documentation.}
+% You can use both the \xfile{.dtx} or the \xfile{.drv} to generate
+% the documentation. The process can be configured by the
+% configuration file \xfile{ltxdoc.cfg}. For instance, put this
+% line into this file, if you want to have A4 as paper format:
+% \begin{quote}
+% \verb|\PassOptionsToClass{a4paper}{article}|
+% \end{quote}
+% An example follows how to generate the
+% documentation with pdf\LaTeX:
+% \begin{quote}
+%\begin{verbatim}
+%pdflatex bitset.dtx
+%makeindex -s gind.ist bitset.idx
+%pdflatex bitset.dtx
+%makeindex -s gind.ist bitset.idx
+%pdflatex bitset.dtx
+%\end{verbatim}
+% \end{quote}
+%
+% \begin{History}
+% \begin{Version}{2007/09/28 v1.0}
+% \item
+% First version.
+% \end{Version}
+% \begin{Version}{2011/01/30 v1.1}
+% \item
+% Already loaded package files are not input in \hologo{plainTeX}.
+% \end{Version}
+% \begin{Version}{2016/05/16 v1.2}
+% \item
+% Documentation updates.
+% \end{Version}
+% \begin{Version}{2019/12/09 v1.3}
+% \item
+% Documentation updates.
+% \end{Version}
+% \end{History}
+%
+% \PrintIndex
+%
+% \Finale
+\endinput
Property changes on: trunk/Master/texmf-dist/source/latex/bitset/bitset.dtx
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/Master/texmf-dist/tex/generic/bitset/bitset.sty
===================================================================
--- trunk/Master/texmf-dist/tex/generic/bitset/bitset.sty (rev 0)
+++ trunk/Master/texmf-dist/tex/generic/bitset/bitset.sty 2019-12-10 22:14:10 UTC (rev 53085)
@@ -0,0 +1,1452 @@
+%%
+%% This is file `bitset.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% bitset.dtx (with options: `package')
+%%
+%% This is a generated file.
+%%
+%% Project: bitset
+%% Version: 2019/12/09 v1.3
+%%
+%% Copyright (C)
+%% 2007, 2011 Heiko Oberdiek
+%% 2016-2019 Oberdiek Package Support Group
+%%
+%% This work may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either
+%% version 1.3c of this license or (at your option) any later
+%% version. This version of this license is in
+%% https://www.latex-project.org/lppl/lppl-1-3c.txt
+%% and the latest version of this license is in
+%% https://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of
+%% LaTeX version 2005/12/01 or later.
+%%
+%% This work has the LPPL maintenance status "maintained".
+%%
+%% The Current Maintainers of this work are
+%% Heiko Oberdiek and the Oberdiek Package Support Group
+%% https://github.com/ho-tex/bitset/issues
+%%
+%%
+%% The Base Interpreter refers to any `TeX-Format',
+%% because some files are installed in TDS:tex/generic//.
+%%
+%% This work consists of the main source file bitset.dtx
+%% and the derived files
+%% bitset.sty, bitset.pdf, bitset.ins, bitset.drv, bitset-test1.tex,
+%% bitset-test2.tex, bitset-test3.tex.
+%%
+\begingroup\catcode61\catcode48\catcode32=10\relax%
+ \catcode13=5 % ^^M
+ \endlinechar=13 %
+ \catcode35=6 % #
+ \catcode39=12 % '
+ \catcode44=12 % ,
+ \catcode45=12 % -
+ \catcode46=12 % .
+ \catcode58=12 % :
+ \catcode64=11 % @
+ \catcode123=1 % {
+ \catcode125=2 % }
+ \expandafter\let\expandafter\x\csname ver at bitset.sty\endcsname
+ \ifx\x\relax % plain-TeX, first loading
+ \else
+ \def\empty{}%
+ \ifx\x\empty % LaTeX, first loading,
+ % variable is initialized, but \ProvidesPackage not yet seen
+ \else
+ \expandafter\ifx\csname PackageInfo\endcsname\relax
+ \def\x#1#2{%
+ \immediate\write-1{Package #1 Info: #2.}%
+ }%
+ \else
+ \def\x#1#2{\PackageInfo{#1}{#2, stopped}}%
+ \fi
+ \x{bitset}{The package is already loaded}%
+ \aftergroup\endinput
+ \fi
+ \fi
+\endgroup%
+\begingroup\catcode61\catcode48\catcode32=10\relax%
+ \catcode13=5 % ^^M
+ \endlinechar=13 %
+ \catcode35=6 % #
+ \catcode39=12 % '
+ \catcode40=12 % (
+ \catcode41=12 % )
+ \catcode44=12 % ,
+ \catcode45=12 % -
+ \catcode46=12 % .
+ \catcode47=12 % /
+ \catcode58=12 % :
+ \catcode64=11 % @
+ \catcode91=12 % [
+ \catcode93=12 % ]
+ \catcode123=1 % {
+ \catcode125=2 % }
+ \expandafter\ifx\csname ProvidesPackage\endcsname\relax
+ \def\x#1#2#3[#4]{\endgroup
+ \immediate\write-1{Package: #3 #4}%
+ \xdef#1{#4}%
+ }%
+ \else
+ \def\x#1#2[#3]{\endgroup
+ #2[{#3}]%
+ \ifx#1\@undefined
+ \xdef#1{#3}%
+ \fi
+ \ifx#1\relax
+ \xdef#1{#3}%
+ \fi
+ }%
+ \fi
+\expandafter\x\csname ver at bitset.sty\endcsname
+\ProvidesPackage{bitset}%
+ [2019/12/09 v1.3 Handle bit-vector datatype (HO)]%
+\begingroup\catcode61\catcode48\catcode32=10\relax%
+ \catcode13=5 % ^^M
+ \endlinechar=13 %
+ \catcode123=1 % {
+ \catcode125=2 % }
+ \catcode64=11 % @
+ \def\x{\endgroup
+ \expandafter\edef\csname BitSet at AtEnd\endcsname{%
+ \endlinechar=\the\endlinechar\relax
+ \catcode13=\the\catcode13\relax
+ \catcode32=\the\catcode32\relax
+ \catcode35=\the\catcode35\relax
+ \catcode61=\the\catcode61\relax
+ \catcode64=\the\catcode64\relax
+ \catcode123=\the\catcode123\relax
+ \catcode125=\the\catcode125\relax
+ }%
+ }%
+\x\catcode61\catcode48\catcode32=10\relax%
+\catcode13=5 % ^^M
+\endlinechar=13 %
+\catcode35=6 % #
+\catcode64=11 % @
+\catcode123=1 % {
+\catcode125=2 % }
+\def\TMP at EnsureCode#1#2{%
+ \edef\BitSet at AtEnd{%
+ \BitSet at AtEnd
+ \catcode#1=\the\catcode#1\relax
+ }%
+ \catcode#1=#2\relax
+}
+\TMP at EnsureCode{33}{12}% !
+\TMP at EnsureCode{39}{12}% '
+\TMP at EnsureCode{40}{12}% (
+\TMP at EnsureCode{41}{12}% )
+\TMP at EnsureCode{42}{12}% *
+\TMP at EnsureCode{43}{12}% +
+\TMP at EnsureCode{44}{12}% ,
+\TMP at EnsureCode{45}{12}% -
+\TMP at EnsureCode{46}{12}% .
+\TMP at EnsureCode{47}{12}% /
+\TMP at EnsureCode{58}{11}% : (letter!)
+\TMP at EnsureCode{60}{12}% <
+\TMP at EnsureCode{62}{12}% >
+\TMP at EnsureCode{63}{14}% ? (comment!)
+\TMP at EnsureCode{91}{12}% [
+\TMP at EnsureCode{93}{12}% ]
+\TMP at EnsureCode{96}{12}% `
+\edef\BitSet at AtEnd{\BitSet at AtEnd\noexpand\endinput}
+\begingroup\expandafter\expandafter\expandafter\endgroup
+\expandafter\ifx\csname BitSet at TestMode\endcsname\relax
+\else
+ \catcode63=9 % ? (ignore)
+\fi
+? \let\BitSet@@TestMode\BitSet at TestMode
+\begingroup\expandafter\expandafter\expandafter\endgroup
+\expandafter\ifx\csname RequirePackage\endcsname\relax
+ \def\TMP at RequirePackage#1[#2]{%
+ \begingroup\expandafter\expandafter\expandafter\endgroup
+ \expandafter\ifx\csname ver@#1.sty\endcsname\relax
+ \input #1.sty\relax
+ \fi
+ }%
+ \TMP at RequirePackage{infwarerr}[2007/09/09]%
+ \TMP at RequirePackage{intcalc}[2007/09/27]%
+ \TMP at RequirePackage{bigintcalc}[2007/09/27]%
+\else
+ \RequirePackage{infwarerr}[2007/09/09]%
+ \RequirePackage{intcalc}[2007/09/27]%
+ \RequirePackage{bigintcalc}[2007/09/27]%
+\fi
+\def\BitSet at MaxSize{2147483647}%
+\def\BitSet at Empty{}
+\def\BitSet at FirstOfOne#1{#1}
+\def\BitSet at Gobble#1{}
+\def\BitSet at FirstOfTwo#1#2{#1}
+\def\BitSet at SecondOfTwo#1#2{#2}
+\def\BitSet at Space{ }
+\def\BitSet at ZapSpace#1 #2{%
+ #1%
+ \ifx\BitSet at Empty#2%
+ \else
+ \expandafter\BitSet at ZapSpace
+ \fi
+ #2%
+}
+\let\BitSet at Fi\fi
+\def\BitSet at AfterFi#1#2\BitSet at Fi{\fi#1}
+\def\BitSet at AfterFiFi#1#2\BitSet at Fi{\fi\fi#1}%
+\def\BitSet at AfterFiFiFi#1#2\BitSet at Fi{\fi\fi\fi#1}%
+\def\BitSet at IfUndefined#1{%
+ \expandafter\ifx\csname BS@#1\endcsname\relax
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+}
+\def\BitSet at CheckIndex#1#2#3{%
+ \BitSet at IfUndefined{#2}{\bitsetReset{#2}}{}%
+ \expandafter\expandafter\expandafter\BitSet@@CheckIndex
+ \intcalcNum{#3}!%
+ {#2}{#1}%
+}
+\def\BitSet@@CheckIndex#1!#2#3{%
+ \ifnum#1<0 %
+ \BitSet at AfterFi{%
+ \@PackageError{bitset}{%
+ Invalid negative index (#1)%
+ }\@ehc
+ }%
+ \else
+ \BitSet at AfterFi{%
+ #3{#2}{#1}%
+ }%
+ \BitSet at Fi
+}
+\def\bitsetReset#1{%
+ \expandafter\def\csname BS@#1\endcsname{0}%
+}
+\def\bitsetLet#1#2{%
+ \BitSet at IfUndefined{#2}{%
+ \bitsetReset{#1}%
+ }{%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ }%
+}
+\def\bitsetSetBin#1#2{%
+ \edef\BitSet at Temp{#2}%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet at ZapSpace
+ \expandafter\BitSet at Temp\BitSet at Space\BitSet at Empty
+ }%
+ \edef\BitSet at Temp{%
+ \expandafter\BitSet at KillZeros\BitSet at Temp\BitSet at Empty
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#1\endcsname\BitSet at Zero
+ \else
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\BitSet at Reverse\BitSet at Temp!%
+ }%
+ \fi
+}
+\def\BitSet at KillZeros#1{%
+ \ifx#10%
+ \expandafter\BitSet at KillZeros
+ \else
+ #1%
+ \fi
+}
+\def\BitSet at Reverse#1#2!{%
+ \ifx\\#2\\%
+ #1%
+ \else
+ \BitSet at AfterFi{%
+ \BitSet at Reverse#2!#1%
+ }%
+ \BitSet at Fi
+}
+\def\bitsetSetOct{%
+ \BitSet at SetOctHex\BitSet at FromFirstOct
+}
+\def\bitsetSetHex{%
+ \BitSet at SetOctHex\BitSet at FromFirstHex
+}
+\def\BitSet at SetOctHex#1#2#3{%
+ \edef\BitSet at Temp{#3}%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet at ZapSpace
+ \expandafter\BitSet at Temp\BitSet at Space\BitSet at Empty
+ }%
+ \edef\BitSet at Temp{%
+ \expandafter\BitSet at KillZeros\BitSet at Temp\BitSet at Empty
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#2\endcsname\BitSet at Zero
+ \else
+ \edef\BitSet at Temp{%
+ \expandafter#1\BitSet at Temp!%
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#2\endcsname\BitSet at Zero
+ \else
+ \expandafter\edef\csname BS@#2\endcsname{%
+ \expandafter\BitSet at Reverse\BitSet at Temp!%
+ }%
+ \fi
+ \fi
+}
+\def\BitSet at FromFirstOct#1{%
+ \ifx#1!%
+ \else
+ \ifcase#1 \BitSet at AfterFiFi\BitSet at FromFirstOct
+ \or 1%
+ \or 10%
+ \or 11%
+ \or 100%
+ \or 101%
+ \or 110%
+ \or 111%
+ \else \BitSetError:WrongOctalDigit%
+ \fi
+ \expandafter\BitSet at FromOct
+ \BitSet at Fi
+}
+\def\BitSet at FromOct#1{%
+ \ifx#1!%
+ \else
+ \ifcase#1 000%
+ \or 001%
+ \or 010%
+ \or 011%
+ \or 100%
+ \or 101%
+ \or 110%
+ \or 111%
+ \else \BitSetError:WrongOctalDigit%
+ \fi
+ \expandafter\BitSet at FromOct
+ \fi
+}
+\def\BitSet at FromFirstHex#1{%
+ \ifx#1!%
+ \else
+ \ifx#10%
+ \BitSet at AfterFiFi\BitSet at FromFirstHex
+ \fi
+ \expandafter\ifx\csname BitSet at Hex#1\endcsname\relax
+ \BitSetError:InvalidHexDigit%
+ \else
+ \expandafter\expandafter\expandafter\BitSet at KillZeros
+ \csname BitSet at Hex#1\endcsname
+ \fi
+ \expandafter\BitSet at FromHex
+ \BitSet at Fi
+}
+\def\BitSet at FromHex#1{%
+ \ifx#1!%
+ \else
+ \expandafter\ifx\csname BitSet at Hex#1\endcsname\relax
+ \BitSetError:InvalidHexDigit%
+ \else
+ \csname BitSet at Hex#1\endcsname
+ \fi
+ \expandafter\BitSet at FromHex
+ \fi
+}
+\def\BitSet at Temp#1{%
+ \expandafter\def\csname BitSet at Hex#1\endcsname
+}
+\BitSet at Temp 0{0000}%
+\BitSet at Temp 1{0001}%
+\BitSet at Temp 2{0010}%
+\BitSet at Temp 3{0011}%
+\BitSet at Temp 4{0100}%
+\BitSet at Temp 5{0101}%
+\BitSet at Temp 6{0110}%
+\BitSet at Temp 7{0111}%
+\BitSet at Temp 8{1000}%
+\BitSet at Temp 9{1001}%
+\BitSet at Temp A{1010}%
+\BitSet at Temp B{1011}%
+\BitSet at Temp C{1100}%
+\BitSet at Temp D{1101}%
+\BitSet at Temp E{1110}%
+\BitSet at Temp F{1111}%
+\BitSet at Temp a{1010}%
+\BitSet at Temp b{1011}%
+\BitSet at Temp c{1100}%
+\BitSet at Temp d{1101}%
+\BitSet at Temp e{1110}%
+\BitSet at Temp f{1111}%
+\def\bitsetSetDec#1#2{%
+ \edef\BitSet at Temp{#2}%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet at ZapSpace
+ \expandafter\BitSet at Temp\BitSet at Space\BitSet at Empty
+ }%
+ \edef\BitSet at Temp{%
+ \expandafter\BitSet at KillZeros\BitSet at Temp\BitSet at Empty
+ }%
+ \ifx\BitSet at Temp\BitSet at Empty
+ \expandafter\let\csname BS@#1\endcsname\BitSet at Zero
+ \else
+ \ifcase\bigintcalcSgn{\BitSet at Temp} %
+ \expandafter\let\csname BS@#1\endcsname\BitSet at Zero
+ \or
+ \ifnum\bigintcalcCmp\BitSet at Temp\BitSet at MaxSize>0 %
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\BitSet at SetDecBig\BitSet at Temp!%
+ }%
+ \else
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\BitSet at SetDec\BitSet at Temp!%
+ }%
+ \fi
+ \else
+ \@PackageError{bitset}{%
+ Bit sets cannot be negative%
+ }\@ehc
+ \fi
+ \fi
+}
+\def\BitSet at SetDecBig#1#2#3#4#5#6#7#8#9!{%
+ \ifx\\#9\\%
+ \BitSet at SetDec#1#2#3#4#5#6#7#8!%
+ \else
+ \ifcase\BigIntCalcOdd#1#2#4#5#6#7#8#9! %
+ 0%
+ \or
+ 1%
+? \else\BitSetError:ThisCannotHappen%
+ \fi
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at SetDecBig
+ \BigIntCalcShr#1#2#3#4#5#6#7#8#9!!%
+ }%
+ \BitSet at Fi
+}
+\def\BitSet at SetDec#1!{%
+ \ifcase#1 %
+ \or 1%
+ \else
+ \ifodd#1 %
+ 1%
+ \else
+ 0%
+ \fi
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at SetDec
+ \IntCalcShr#1!!%
+ }%
+ \BitSet at Fi
+}
+\def\bitsetGetBin#1#2{%
+ \romannumeral0%
+ \expandafter\expandafter\expandafter\BitSet@@GetBin
+ \intcalcNum{#2}!{#1}%
+}
+\def\BitSet@@GetBin#1!#2{%
+ \BitSet at IfUndefined{#2}{%
+ \ifnum#1>1 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \IntCalcDec#1!!0%
+ }%
+ \else
+ \BitSet at AfterFi{ 0}%
+ \BitSet at Fi
+ }{%
+ \expandafter\expandafter\expandafter\BitSet at NumBinRev
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!#1!%
+ }%
+}
+\def\BitSet at Fill#1!{%
+ \ifnum#1>0 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \IntCalcDec#1!!0%
+ }%
+ \else
+ \BitSet at AfterFi{ }%
+ \BitSet at Fi
+}
+\def\BitSet at NumBinRev#1!#2#3!{%
+ \ifx\\#3\\%
+ \BitSet at AfterFi{%
+ \BitSet at NumBinFill#1!#2%
+ }%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at NumBinRev
+ \IntCalcInc#1!!#3!#2%
+ }%
+ \BitSet at Fi
+}
+\def\BitSet at NumBinFill#1!#2!#3!{%
+ \ifnum#3>#1 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \IntCalcSub#3!#1!!#2%
+ }%
+ \else
+ \BitSet at AfterFi{ #2}%
+ \BitSet at Fi
+}
+\def\bitsetGetOct#1#2{%
+ \romannumeral0%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOctHex
+ \intcalcNum{#2}!3!230%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOct
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname00%
+ \BitSet at Empty\BitSet at Empty\BitSet at Empty!{#2}%
+ }%
+}
+\def\bitsetGetHex#1#2{%
+ \romannumeral0%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOctHex
+ \intcalcNum{#2}!4!340%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet@@GetHex
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname000%
+ \BitSet at Empty\BitSet at Empty\BitSet at Empty\BitSet at Empty!{#2}%
+ }%
+}
+\def\BitSet@@GetOct#1!#2!#3#4#5{%
+ \ifx#5\BitSet at Empty
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at GetOctHex
+ \IntCalcDec#1!!#2!23%
+ }%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet@@GetOct
+ \number\IntCalcInc#1!\expandafter\expandafter\expandafter!%
+ \csname BitSet at Oct#5#4#3\endcsname#2!%
+ }%
+ \BitSet at Fi
+}
+\def\BitSet at Temp#1#2#3#4{%
+ \expandafter\def\csname BitSet at Oct#1#2#3\endcsname{#4}%
+}
+\BitSet at Temp0000%
+\BitSet at Temp0011%
+\BitSet at Temp0102%
+\BitSet at Temp0113%
+\BitSet at Temp1004%
+\BitSet at Temp1015%
+\BitSet at Temp1106%
+\BitSet at Temp1117%
+\def\BitSet@@GetHex#1!#2!#3#4#5#6{%
+ \ifx#6\BitSet at Empty
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet at GetOctHex
+ \IntCalcDec#1!!#2!34%
+ }%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet@@GetHex
+ \number\IntCalcInc#1!\expandafter\expandafter\expandafter!%
+ \csname BitSet at Hex#6#5#4#3\endcsname#2!%
+ }%
+ \BitSet at Fi
+}
+\def\BitSet at Temp#1#2#3#4#5{%
+ \expandafter\def\csname BitSet at Hex#1#2#3#4\endcsname{#5}%
+}
+\BitSet at Temp00000%
+\BitSet at Temp00011%
+\BitSet at Temp00102%
+\BitSet at Temp00113%
+\BitSet at Temp01004%
+\BitSet at Temp01015%
+\BitSet at Temp01106%
+\BitSet at Temp01117%
+\BitSet at Temp10008%
+\BitSet at Temp10019%
+\BitSet at Temp1010A%
+\BitSet at Temp1011B%
+\BitSet at Temp1100C%
+\BitSet at Temp1101D%
+\BitSet at Temp1110E%
+\BitSet at Temp1111F%
+\def\BitSet at GetOctHex#1!#2!#3#4#5!#6{%
+ \expandafter\BitSet@@GetOctHex
+ \number\intcalcNum{#6}\expandafter\expandafter\expandafter!%
+ \IntCalcMul#1!#4!!#3#4#2%
+}
+\def\BitSet@@GetOctHex#1!#2!#3#4{%
+ \ifnum#1>#2 %
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\expandafter
+ \expandafter\expandafter\expandafter\BitSet at Fill
+ \expandafter\IntCalcDiv\number
+ \expandafter\expandafter\expandafter\IntCalcAdd
+ \IntCalcSub#1!#2!!#3!!#4!!%
+ }%
+ \else
+ \BitSet at AfterFi{ }%
+ \BitSet at Fi
+}
+\def\bitsetGetDec#1{%
+ \romannumeral0%
+ \BitSet at IfUndefined{#1}{ 0}{%
+ \expandafter\expandafter\expandafter\BitSet at GetDec
+ \csname BS@#1\endcsname!%
+ }%
+}
+\def\BitSet at GetDec#1#2!{%
+ \ifx\\#2\\%
+ \BitSet at AfterFi{ #1}%
+ \else
+ \BitSet at AfterFi{%
+ \BitSet@@GetDec2!#1!#2!%
+ }%
+ \BitSet at Fi
+}
+\def\BitSet@@GetDec#1!#2!#3#4!{%
+ \ifx\\#4\\%
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Space
+ \IntCalcAdd#1!#2!%
+ }%
+ \else
+ \BitSet at AfterFiFi{ #2}%
+ \fi
+ \else
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \csname BitSet at N#1%
+ \expandafter\expandafter\expandafter\endcsname
+ \IntCalcAdd#1!#2!!#4!%
+ }%
+ \else
+ \BitSet at AfterFiFi{%
+ \csname BitSet at N#1\endcsname#2!#4!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+\def\BitSet at Temp#1#2{%
+ \expandafter\def\csname BitSet at N#1\endcsname{%
+ \BitSet@@GetDec#2!%
+ }%
+}
+\BitSet at Temp{1}{2}
+\BitSet at Temp{2}{4}
+\BitSet at Temp{4}{8}
+\BitSet at Temp{8}{16}
+\BitSet at Temp{16}{32}
+\BitSet at Temp{32}{64}
+\BitSet at Temp{64}{128}
+\BitSet at Temp{128}{256}
+\BitSet at Temp{256}{512}
+\BitSet at Temp{512}{1024}
+\BitSet at Temp{1024}{2048}
+\BitSet at Temp{2048}{4096}
+\BitSet at Temp{4096}{8192}
+\BitSet at Temp{8192}{16384}
+\BitSet at Temp{16384}{32768}
+\BitSet at Temp{32768}{65536}
+\BitSet at Temp{65536}{131072}
+\BitSet at Temp{131072}{262144}
+\BitSet at Temp{262144}{524288}
+\BitSet at Temp{524288}{1048576}
+\BitSet at Temp{1048576}{2097152}
+\BitSet at Temp{2097152}{4194304}
+\BitSet at Temp{4194304}{8388608}
+\BitSet at Temp{8388608}{16777216}
+\BitSet at Temp{16777216}{33554432}
+\BitSet at Temp{33554432}{67108864}
+\BitSet at Temp{67108864}{134217728}
+\BitSet at Temp{134217728}{268435456}
+\BitSet at Temp{268435456}{536870912}
+\BitSet at Temp{536870912}{1073741824}
+\expandafter\def\csname BitSet at N1073741824\endcsname{%
+ \BitSet at GetDecBig2147483648!%
+}%
+\def\BitSet at GetDecBig#1!#2!#3#4!{%
+ \ifx\\#4\\%
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Space
+ \BigIntCalcAdd#1!#2!%
+ }%
+ \else
+ \BitSet at AfterFiFi{ #2}%
+ \fi
+ \else
+ \ifx#31%
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet@@GetDecBig
+ \BigIntCalcAdd#1!#2!!#1!#4!%
+ }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at GetDecBig
+ \BigIntCalcShl#1!!#2!#4!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+\def\BitSet@@GetDecBig#1!#2!{%
+ \expandafter\expandafter\expandafter\BitSet at GetDecBig
+ \BigIntCalcShl#2!!#1!%
+}
+\def\bitsetAnd#1#2{%
+ \bitsetIsEmpty{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#2}{%
+ \bitsetReset{#1}%
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at And
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!%
+ }%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Empty
+ \bitsetReset{#1}%
+ \fi
+ }%
+ }%
+}
+\def\BitSet at And#1#2!#3#4!#5!{%
+ \ifx\\#2\\%
+ \ifnum#1#3=11 #51\fi
+ \else
+ \ifx\\#4\\%
+ \ifnum#1#3=11 #51\fi
+ \else
+ \ifnum#1#3=11 %
+ #51%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at And#2!#4!!%
+ }%
+ \else
+ \BitSet at AfterFiFiFi{%
+ \BitSet at And#2!#4!#50!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetAndNot#1#2{%
+ \bitsetIsEmpty{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#2}{%
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at AndNot
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!%
+ }%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Empty
+ \bitsetReset{#1}%
+ \fi
+ }%
+ }%
+}
+\def\BitSet at AndNot#1#2!#3#4!#5!{%
+ \ifx\\#2\\%
+ \ifnum#1#3=10 #51\fi
+ \else
+ \ifx\\#4\\%
+ #5%
+ \ifnum#1#3=10 1\else 0\fi
+ #2%
+ \else
+ \ifnum#1#3=10 %
+ #51%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at AndNot#2!#4!!%
+ }%
+ \else
+ \BitSet at AfterFiFiFi{%
+ \BitSet at AndNot#2!#4!#50!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetOr#1#2{%
+ \bitsetIsEmpty{#2}{%
+ \BitSet at IfUndefined{#1}{\bitsetReset{#1}}{}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at Or
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!%
+ }%
+ }%
+ }%
+}
+\def\BitSet at Or#1#2!#3#4!{%
+ \ifnum#1#3>0 1\else 0\fi
+ \ifx\\#2\\%
+ #4%
+ \else
+ \ifx\\#4\\%
+ #2%
+ \else
+ \BitSet at AfterFiFi{%
+ \BitSet at Or#2!#4!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetXor#1#2{%
+ \bitsetIsEmpty{#2}{%
+ \BitSet at IfUndefined{#1}{\bitsetReset{#1}}{}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ }{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at Xor
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!%
+ }%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Empty
+ \bitsetReset{#1}%
+ \fi
+ }%
+ }%
+}
+\def\BitSet at Xor#1#2!#3#4!#5!{%
+ \ifx\\#2\\%
+ \ifx#1#3%
+ \ifx\\#4\\%
+ \else
+ #50#4%
+ \fi
+ \else
+ #51#4%
+ \fi
+ \else
+ \ifx\\#4\\%
+ #5%
+ \ifx#1#30\else 1\fi
+ #2%
+ \else
+ \ifx#1#3%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at Xor#2!#4!#50!%
+ }%
+ \else
+ #51%
+ \BitSet at AfterFiFiFi{%
+ \BitSet at Xor#2!#4!!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetShiftLeft#1#2{%
+ \BitSet at IfUndefined{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet at ShiftLeft
+ \intcalcNum{#2}!{#1}%
+ }%
+ }%
+}
+\def\BitSet at ShiftLeft#1!#2{%
+ \ifcase\intcalcSgn{#1} %
+ \or
+ \begingroup
+ \uccode`m=`0 %
+ \uppercase\expandafter{\expandafter\endgroup
+ \expandafter\edef\csname BS@#2\expandafter\endcsname
+ \expandafter{%
+ \romannumeral#1000\expandafter\BitSet at Space
+ \csname BS@#2\endcsname
+ }%
+ }%
+ \else
+ \expandafter\BitSet at ShiftRight\BitSet at Gobble#1!{#2}%
+ \fi
+}
+\def\bitsetShiftRight#1#2{%
+ \BitSet at IfUndefined{#1}{%
+ \bitsetReset{#1}%
+ }{%
+ \bitsetIsEmpty{#1}{%
+ }{%
+ \expandafter\expandafter\expandafter\BitSet at ShiftRight
+ \intcalcNum{#2}!{#1}%
+ }%
+ }%
+}
+\def\BitSet at ShiftRight#1!#2{%
+ \ifcase\intcalcSgn{#1} %
+ \or
+ \expandafter\edef\csname BS@#2\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet at Kill
+ \csname BS@#2\expandafter\endcsname\expandafter\BitSet at Empty
+ \expandafter=%
+ \expandafter{\expandafter}\expandafter{\expandafter}%
+ \romannumeral#1000!%
+ }%
+ \else
+ \expandafter\BitSet at ShiftLeft\BitSet at Gobble#1!{#2}%
+ \fi
+}
+\def\BitSet at Kill#1#2=#3#4#5{%
+ #3#4%
+ \ifx#5!%
+ \ifx#1\BitSet at Empty
+ 0%
+ \else
+ #1#2%
+ \fi
+ \else
+ \ifx#1\BitSet at Empty
+ 0%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet at Kill#2=%
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetClear{%
+ \BitSet at CheckIndex\BitSet at Clear
+}
+\def\bitsetSet{%
+ \BitSet at CheckIndex\BitSet at Set
+}
+\def\bitsetFlip{%
+ \BitSet at CheckIndex\BitSet at Flip
+}
+\def\bitsetSetValue#1#2#3{%
+ \expandafter\expandafter\expandafter\BitSet at SetValue
+ \intcalcNum{#3}!{#1}{#2}%
+}
+\def\BitSet at SetValue#1!{%
+ \BitSet at CheckIndex{%
+ \ifcase#1 %
+ \expandafter\BitSet at Clear
+ \or
+ \expandafter\BitSet at Set
+ \else
+ \BitSet at ErrorInvalidBitValue{#1}%
+ \expandafter\expandafter\expandafter\BitSet at Gobble
+ \expandafter\BitSet at Gobble
+ \fi
+ }%
+}
+\def\BitSet at ErrorInvalidBitValue#1{%
+ \@PackageError{bitset}{%
+ Invalid bit value (#1) not in range 0..1%
+ }\@ehc
+}
+\def\BitSet at Clear#1#2{%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet@@Clear
+ \csname BS@#1\expandafter\endcsname
+ \expandafter\BitSet at Empty\expandafter=\expandafter!%
+ \romannumeral#2000!%
+ }%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \ifx\BitSet at Temp\BitSet at Empty
+ \BitSet at Zero
+ \else
+ \BitSet at Temp
+ \fi
+}
+\def\BitSet@@Clear#1#2=#3!#4{%
+ \ifx#4!%
+ \ifx#1\BitSet at Empty
+ \else
+ \ifx\BitSet at Empty#2%
+ \else
+ #30#2%
+ \fi
+ \fi
+ \else
+ \ifx#1\BitSet at Empty
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \ifx#10%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Clear#2=#30!%
+ }%
+ \else
+ #31%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Clear#2=!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\BitSet at Set#1#2{%
+ \expandafter\edef\csname BS@#1\endcsname{%
+ \expandafter\expandafter\expandafter\BitSet@@Set
+ \csname BS@#1\expandafter\endcsname
+ \expandafter\BitSet at Empty\expandafter=%
+ \expandafter{\expandafter}\expandafter{\expandafter}%
+ \romannumeral#2000!%
+ }%
+}
+\def\BitSet@@Set#1#2=#3#4#5{%
+ #3#4%
+ \ifx#5!%
+ 1#2%
+ \else
+ \ifx#1\BitSet at Empty
+ 0%
+ \BitSet at AfterFiFi\BitSet@@@Set
+ \else
+ #1%
+ \BitSet@@Set#2=%
+ \fi
+ \BitSet at Fi
+}
+\def\BitSet@@@Set#1{%
+ \ifx#1!%
+ 1%
+ \else
+ 0%
+ \expandafter\BitSet@@@Set
+ \fi
+}
+\def\BitSet at Flip#1#2{%
+ \edef\BitSet at Temp{%
+ \expandafter\expandafter\expandafter\BitSet@@Flip
+ \csname BS@#1\expandafter\endcsname
+ \expandafter\BitSet at Empty\expandafter=\expandafter!%
+ \romannumeral#2000!%
+ }%
+ \expandafter\let\csname BS@#1\expandafter\endcsname
+ \ifx\BitSet at Temp\BitSet at Empty
+ \BitSet at Zero
+ \else
+ \BitSet at Temp
+ \fi
+}
+\def\BitSet@@Flip#1#2=#3!#4{%
+ \ifx#4!%
+ \ifx#11%
+ \ifx\BitSet at Empty#2%
+ \else
+ #30#2%
+ \fi
+ \else
+ #31#2%
+ \fi
+ \else
+ \ifx#1\BitSet at Empty
+ #30%
+ \BitSet at AfterFiFi\BitSet@@@Set
+ \else
+ \ifx#10%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Flip#2=#30!%
+ }%
+ \else
+ #31%
+ \BitSet at AfterFiFiFi{%
+ \BitSet@@Flip#2=!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetClearRange{%
+ \BitSet at Range\BitSet at Clear
+}
+\def\bitsetSetRange{%
+ \BitSet at Range\BitSet at Set
+}
+\def\bitsetFlipRange{%
+ \BitSet at Range\BitSet at Flip
+}
+\def\bitsetSetValueRange#1#2#3#4{%
+ \expandafter\expandafter\expandafter\BitSet at SetValueRange
+ \intcalcNum{#4}!{#1}{#2}{#3}%
+}
+\def\BitSet at SetValueRange#1!#2#3#4{%
+ \ifcase#1 %
+ \BitSet at Range\BitSet at Clear{#2}{#3}{#4}%
+ \or
+ \BitSet at Range\BitSet at Set{#2}{#3}{#4}%
+ \else
+ \BitSet at ErrorInvalidBitValue{#1}%
+ \fi
+}
+\def\BitSet at Range#1#2#3#4{%
+ \edef\BitSet at Temp{%
+ \noexpand\BitSet@@Range\noexpand#1{#2}%
+ \intcalcNum{#3}!\intcalcNum{#4}!%
+ }%
+ \BitSet at Temp
+}
+\def\BitSet@@Range#1#2#3!#4!{%
+ \ifnum#3<0 %
+ \BitSet at NegativeIndex#1{#2}#3!#4!0!#4!%
+ \else
+ \ifnum#4<0 %
+ \BitSet at NegativeIndex#1{#2}#3!#4!#3!0!%
+ \else
+ \ifcase\intcalcCmp{#3}{#4} %
+ \or
+ \@PackageError{bitset}{%
+ Wrong index numbers in range [#3..#4]\MessageBreak% hash-ok
+ for clear/set/flip on bit set `#2'.\MessageBreak
+ The lower index exceeds the upper index.\MessageBreak
+ Canceling the operation as error recovery%
+ }\@ehc
+ \else
+ \BitSet@@@Range#3!#4!#1{#2}%
+ \fi
+ \fi
+ \fi
+}
+\def\BitSet at NegativeIndex#1#2#3!#4!#5!#6!{%
+ \@PackageError{bitset}{%
+ Negative index in range [#3..#4]\MessageBreak % hash-ok
+ for \string\bitset
+ \ifx#1\BitSet at Clear
+ Clear%
+ \else
+ \ifx#1\BitSet at Set
+ Set%
+ \else
+ Flip%
+ \fi
+ \fi
+ Range on bit set `#2'.\MessageBreak
+ Using [#5..#6] as error recovery% hash-ok
+ }\@ehc
+ \BitSet@@Range#1{#2}#5!#6!%
+}
+\def\BitSet@@@Range#1!#2!#3#4{%
+ \ifnum#1<#2 %
+ #3{#4}{#1}%
+ \BitSet at AfterFi{%
+ \expandafter\expandafter\expandafter\BitSet@@@Range
+ \IntCalcInc#1!!#2!#3{#4}%
+ }%
+ \BitSet at Fi
+}
+\def\bitsetGet#1#2{%
+ \number
+ \expandafter\expandafter\expandafter\BitSet at Get
+ \intcalcNum{#2}!{#1}%
+}
+\def\BitSet at Get#1!#2{%
+ \ifnum#1<0 %
+ \BitSet at AfterFi{%
+ 0 \BitSetError:NegativeIndex%
+ }%
+ \else
+ \BitSet at IfUndefined{#2}{0}{%
+ \expandafter\expandafter\expandafter\BitSet@@Get
+ \csname BS@#2\expandafter\endcsname
+ \expandafter!\expandafter=%
+ \expandafter{\expandafter}\expandafter{\expandafter}%
+ \romannumeral\intcalcNum{#1}000!%
+ }%
+ \expandafter\BitSet at Space
+ \BitSet at Fi
+}
+\def\BitSet@@Get#1#2=#3#4#5{%
+ #3#4%
+ \ifx#5!%
+ \ifx#1!%
+ 0%
+ \else
+ #1%
+ \fi
+ \else
+ \ifx#1!%
+ 0%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet@@Get#2=%
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetNextClearBit#1#2{%
+ \number
+ \expandafter\expandafter\expandafter\BitSet at NextClearBit
+ \intcalcNum{#2}!{#1} %
+}
+\def\BitSet at NextClearBit#1!#2{%
+ \ifnum#1<0 %
+ \BitSet at NextClearBit0!{#2}%
+ \BitSet at AfterFi{%
+ \expandafter\BitSet at Space
+ \expandafter\BitSetError:NegativeIndex\romannumeral0%
+ }%
+ \else
+ \bitsetIsEmpty{#2}{#1}{%
+ \expandafter\BitSet at Skip
+ \number#1\expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!!!!!!!!=%
+ {\BitSet@@NextClearBit#1!}%
+ }%
+ \BitSet at Fi
+}
+\def\BitSet@@NextClearBit#1!#2{%
+ \ifx#2!%
+ #1%
+ \else
+ \ifx#20%
+ #1%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet@@NextClearBit
+ \IntCalcInc#1!!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetNextSetBit#1#2{%
+ \number
+ \expandafter\expandafter\expandafter\BitSet at NextSetBit
+ \intcalcNum{#2}!{#1} %
+}
+\def\BitSet at NextSetBit#1!#2{%
+ \ifnum#1<0 %
+ \BitSet at NextSetBit0!{#2}%
+ \BitSet at AfterFi{%
+ \expandafter\BitSet at Space
+ \expandafter\BitSetError:NegativeIndex\romannumeral0%
+ }%
+ \else
+ \bitsetIsEmpty{#2}{-1}{%
+ \expandafter\BitSet at Skip
+ \number#1\expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!!!!!!!!!=%
+ {\BitSet@@NextSetBit#1!}%
+ }%
+ \BitSet at Fi
+}
+\def\BitSet@@NextSetBit#1!#2{%
+ \ifx#2!%
+ -1%
+ \else
+ \ifx#21%
+ #1%
+ \BitSet at AfterFiFi\BitSet at Cleanup
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet@@NextSetBit
+ \IntCalcInc#1!!%
+ }%
+ \fi
+ \BitSet at Fi
+}
+\def\BitSet at Cleanup#1!{}
+\def\BitSet at Skip#1!#2{%
+ \ifx#2!%
+ \BitSet at AfterFi{%
+ \BitSet at SkipContinue%
+ }%
+ \else
+ \ifcase#1 %
+ \BitSet at AfterFiFi{%
+ \BitSet at SkipContinue#2%
+ }%
+ \or
+ \BitSet at AfterFiFi\BitSet at SkipContinue
+ \or
+ \BitSet at AfterFiFi{%
+ \expandafter\BitSet at SkipContinue\BitSet at Gobble
+ }%
+ \else
+ \ifnum#1>8 %
+ \BitSet at AfterFiFiFi{%
+ \expandafter\BitSet at Skip
+ \number\IntCalcSub#1!8!\expandafter!%
+ \BitSet at GobbleSeven
+ }%
+ \else
+ \BitSet at AfterFiFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Skip
+ \IntCalcDec#1!!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\BitSet at SkipContinue#1!#2=#3{%
+ #3#1!%
+}
+\def\BitSet at GobbleSeven#1#2#3#4#5#6#7{}
+\def\bitsetGetSetBitList#1{%
+ \romannumeral0%
+ \bitsetIsEmpty{#1}{ }{%
+ \expandafter\BitSet at GetSetBitList
+ \number\BitSet at NextSetBit0!{#1}!{#1}{}!%
+ }%
+}
+\def\BitSet at GetSetBitList#1!#2#3#4!{%
+ \ifnum#1<0 %
+ \BitSet at AfterFi{ #4}%
+ \else
+ \BitSet at AfterFi{%
+ \expandafter\BitSet at GetSetBitList\number
+ \expandafter\expandafter\expandafter\BitSet at NextSetBit
+ \IntCalcInc#1!!{#2}!{#2},#4#3#1!%
+ }%
+ \BitSet at Fi
+}
+\def\bitsetSize#1{%
+ \number
+ \BitSet at IfUndefined{#1}{0 }{%
+ \expandafter\expandafter\expandafter\BitSet at Size
+ \expandafter\expandafter\expandafter1%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname!0!%
+ }%
+}
+\def\BitSet at Size#1!#2#3!#4!{%
+ \ifx#21%
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{#1 }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Size
+ \IntCalcInc#1!!#3!#1!%
+ }%
+ \fi
+ \else
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{#4 }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Size
+ \IntCalcInc#1!!#3!#4!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetCardinality#1{%
+ \number
+ \BitSet at IfUndefined{#1}{0 }{%
+ \expandafter\expandafter\expandafter\BitSet at Cardinality
+ \expandafter\expandafter\expandafter0%
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#1\endcsname!%
+ }%
+}
+\def\BitSet at Cardinality#1!#2#3!{%
+ \ifx#21%
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{\IntCalcInc#1! }%
+ \else
+ \BitSet at AfterFiFi{%
+ \expandafter\expandafter\expandafter\BitSet at Cardinality
+ \IntCalcInc#1!!#3!%
+ }%
+ \fi
+ \else
+ \ifx\\#3\\%
+ \BitSet at AfterFiFi{#1 }%
+ \else
+ \BitSet at AfterFiFi{%
+ \BitSet at Cardinality#1!#3!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\def\bitsetIsDefined#1{%
+ \BitSet at IfUndefined{#1}%
+ \BitSet at SecondOfTwo
+ \BitSet at FirstOfTwo
+}
+\def\bitsetIsEmpty#1{%
+ \BitSet at IfUndefined{#1}\BitSet at FirstOfTwo{%
+ \expandafter\ifx\csname BS@#1\endcsname\BitSet at Zero
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+ }%
+}
+\def\BitSet at Zero{0}
+\def\bitsetQuery#1#2{%
+ \ifnum\bitsetGet{#1}{#2}=1 %
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+}
+\def\bitsetEquals#1#2{%
+ \BitSet at IfUndefined{#1}{%
+ \BitSet at IfUndefined{#2}\BitSet at FirstOfTwo\BitSet at SecondOfTwo
+ }{%
+ \BitSet at IfUndefined{#2}\BitSet at SecondOfTwo{%
+ \expandafter\ifx\csname BS@#1\expandafter\endcsname
+ \csname BS@#2\endcsname
+ \expandafter\BitSet at FirstOfTwo
+ \else
+ \expandafter\BitSet at SecondOfTwo
+ \fi
+ }%
+ }%
+}
+\def\bitsetIntersects#1#2{%
+ \bitsetIsEmpty{#1}\BitSet at SecondOfTwo{%
+ \bitsetIsEmpty{#2}\BitSet at SecondOfTwo{%
+ \expandafter\expandafter\expandafter\BitSet at Intersects
+ \csname BS@#1\expandafter\expandafter\expandafter\endcsname
+ \expandafter\expandafter\expandafter!%
+ \csname BS@#2\endcsname!%
+ }%
+ }%
+}
+\def\BitSet at Intersects#1#2!#3#4!{%
+ \ifnum#1#3=11 %
+ \BitSet at AfterFi\BitSet at FirstOfTwo
+ \else
+ \ifx\\#2\\%
+ \BitSet at AfterFiFi\BitSet at SecondOfTwo
+ \else
+ \ifx\\#4\\%
+ \BitSet at AfterFiFiFi\BitSet at SecondOfTwo
+ \else
+ \BitSet at AfterFiFiFi{%
+ \BitSet at Intersects#2!#4!%
+ }%
+ \fi
+ \fi
+ \BitSet at Fi
+}
+\BitSet at AtEnd%
+%% \section{Installation}
+\endinput
+%%
+%% End of file `bitset.sty'.
Property changes on: trunk/Master/texmf-dist/tex/generic/bitset/bitset.sty
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Modified: trunk/Master/tlpkg/bin/tlpkg-ctan-check
===================================================================
--- trunk/Master/tlpkg/bin/tlpkg-ctan-check 2019-12-10 22:13:27 UTC (rev 53084)
+++ trunk/Master/tlpkg/bin/tlpkg-ctan-check 2019-12-10 22:14:10 UTC (rev 53085)
@@ -121,7 +121,7 @@
bidi bidi-atbegshi bidicontour bidihl
bidipagegrid bidipresentation bidishadowtext
bigfoot bigints binarytree binomexp biochemistry-colors biocon biolett-bst
- bitelist bitpattern bitter bizcard
+ bitelist bitpattern bitset bitter bizcard
blacklettert1 blindtext blkarray
blochsphere block blockdraw_mp bloques blowup blox
bnumexpr bodegraph bohr boisik bold-extra
Added: trunk/Master/tlpkg/tlpsrc/bitset.tlpsrc
===================================================================
Modified: trunk/Master/tlpkg/tlpsrc/collection-latexrecommended.tlpsrc
===================================================================
--- trunk/Master/tlpkg/tlpsrc/collection-latexrecommended.tlpsrc 2019-12-10 22:13:27 UTC (rev 53084)
+++ trunk/Master/tlpkg/tlpsrc/collection-latexrecommended.tlpsrc 2019-12-10 22:14:10 UTC (rev 53085)
@@ -10,6 +10,7 @@
depend anysize
depend attachfile2
depend beamer
+depend bitset
depend booktabs
depend breqn
depend caption
More information about the tex-live-commits
mailing list