%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%A  gapmacro.tex                GAP manual                       Frank Celler
%A                                                             Heiko Theissen
%A                                                           Alexander Hulpke
%A                                                           Burkhard Höfling
%%
%%
%%  DO NOT RELY ON MACRO DEFINITIONS IN THIS FILE!
%%  The official definition of the manual style is to be found in the file
%%  `gapmacrodoc.tex'.
%%
%%  The following macros are defined in this file.
%%
%%  `text'   set text in typewriter style (use `\<' instead of `<')
%%  <text>   set text in italics (use $\<$ instead of $<$ for less than)
%%  *text*   set text in emphasized style (i.e. slanted)
%%  $a.b$    same as $a \cdot b$ (use $\.$ instead of $.$ for full stop)
%%  "ref"    refer to a label (like "function!for category")
%%  \pif     sets a single '
%%  \cite{.} make a citation
%%  \index{.} \indextt{.} make index entry (\indextt in typewriter style)
%%
%%  \beginitems         produce itemized texts with 3pc hanging indentation
%%    item & text
%%
%%    item & text ...
%%  \enditems
%%
%%  \begintt            verbatim text in typewriter style
%%    verbatim material
%%  \endtt
%%  \beginexample     verbatim text in typewriter style
%%    verbatim material
%%  \endexample
%%
%%  \Input{file}  includes file `file.tex'
%%  \Chapter{title} followed by a blank line
%%  \Section{title} followed by a blank line
%%      make  chapter  or section   title. Automatically  generates  table of
%%      contents. \null after \Section{...} inhibits indexing.
%%  \>function( arguments )!{ index subentry }
%%  \>`a binop b'{binary operation}!{ index subentry }
%%      make a  heading for a subsection   explaining a function  or a binary
%%      operation. This automatically generates   a label and an  index entry
%%      (with optional subentry).
%%  \){\fmark ...}
%%      the same without label and index entry
%%
%%  \URL{url}
%%  \Mailto{}
%%
%%  \BeginningOfBook
%%  \FrontMatter, \Chapters, \Appendices, \EndMatter     parts of the book
%%  \Bibliography, \Index, \TableOfContents  make these chapters (w/o head)
%%  \EndOfBook
%%
%%  The following macros can be used just after inputting gapmacro.tex to control
%%  the layout.
%%    \casesensitivetrue makes labels case sensitive (this is still experimental
%%     and not currently supported by the html converter)
%%  \casesensitivefalse & (default) labels are case insensitive
%%
%%  \addlinks (default) This inserts pdf links within the document, so
%%    that you can click on a reference or citation. This will only work
%%    with pdftex, otherwise this has no effect.
%%
%%  \nolinks This switches off additional pdf links within the document.
%%
%%  \citebookstrue References to external books will be
%%     "GAP Reference Manual, 2.7.12" instead of just "2.7.12", similarly
%%     for the GAP tutorial. If you cite other books, you have to define
%%     macros \xxxManual which must expand to the text which you want to
%%     be inserted before the number for package xxx (lower case).
%%  \citebooksfalse (default) just print the number
%%
%%  \usepsfonts (default) use the standard Postscript fonts for typesetting
%%  \usecmfonts use the TeX standard fonts
%%
%%  \biblitemfalse (default) In the bibliography, print abbreviations for
%%    papers right-aligned (as in gapmacro.tex)
%%  \biblitemtrue print abbreviations left-aligned
%%  \bibindent (default: 3 pc) indentation used in the bibliography -
%%    depending
%%    on the abbreviations you use, you may need more (this is not very
%%    obvious if you use \biblitemfalse because long abbreviations will
%%    protrude into the left margin only, but will cause overfull hboxes
%%    when using \biblitemtrue

\input amssym.tex

\catcode`@=11

% Page dimensions and double column output.
\hsize 39pc
\vsize 52pc

\gdef\nolinks{
    \gdef\nameddest##1{}%
    \gdef\startlink##1{}%
    \gdef\endlink{}%
}

\gdef\addlinks{
    \gdef\nameddest##1{%
      \ifx\debuglabels\undefined\else\immediate\write16{nameddest ##1 defined}\fi
       \ifvmode \pdfdest name{##1} xyz%
      \else\vbox to 0pt{\vss\pdfdest name{##1} xyz%
      \vskip\baselineskip}\fi}%
    \gdef\startlink##1{\begingroup{%
      \ifx\debuglabels\undefined\else\immediate\write16{link ##1 inserted}\fi
      \pdfstartlink attr{/Border [0 0 0]} goto name{##1}}\pdfliteral{\linkcolor}}%
    \gdef\endlink{\pdfliteral{0 0 0 rg}\pdfendlink\endgroup}%
}

% do we run pdftex?
\ifx\pdfdest\undefined
    \immediate\write16{Running TeX}
    % no: define dummy bookmarking functions
    \global\def\setbookmarkind#1#2{}
    \global\def\setbookmark#1#2{}
    \global\def\indexbookmark#1#2{}
    \nolinks
    \let\addlinks\relax
\else
    \def\linkcolor{0 0.1 0.6 rg}
    \immediate\write16{Running PDFTeX}
    % yes: define macros to do pdf stuff and set some parameters
    \global\def\setbookmarkind#1#2{%
      \setindent{\chapterlen{\the\chapno}}
      \pdfoutline goto name{#1} count -\indentno {#2}}
    \global\def\setbookmark#1#2{%
      \setindent{\chapterlen{\the\chapno}}
      \pdfoutline goto name{#1} count 0 {#2}}
    % special treatment for the index to get proper indentation
    \global\def\indexbookmark#1#2{%
      \pdfoutline goto name{#1} count -27 {#2}}
    \addlinks
    \pdfinfo{
    /Subject (GAP Manual)
    /Author (The GAP Group)
    }
    \pdfcatalog{
    /URI (https://www.gap-system.org)
%    /PageMode /UseOutlines}
    /PageMode /UseNone}
    \pdfcompresslevel 9
\fi

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  Generic double column output.
%
%    Modified from a routine written by Donald Knuth (The TeXBook, App. E)
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  The user may modify the following to his tastes:
%
%      \pagewidth     vertical length of page.
%      \pageheight    horizontal width of page.
%      \colwidth      column width
%      \separator     macro to generate column separator. Default is nothing.
%                     \rulesep sets it to \vrule. \norulesep doesn't.
%      \makepage      default is what is contained in plain.
% Create and initialize new dimensions.
\newdimen\pagewidth  \newdimen\pageheight  \newdimen\colwidth
\pagewidth=\hsize    \pageheight=\vsize    \colwidth=3.2truein

\def\draft{\hsize 42pc\vsize 63pc\pagewidth=\hsize \pageheight=\vsize}

\def\pif{\char39}

\def\tron{\tracingmacros 1\tracingcommands 1\tracingonline 1}

% This routine is used by \output ; this is different from
%   the one found in App. E.
\def\onepageout#1{{\setbox255=\vbox{#1}
  \hsize=\pagewidth \vsize=\pageheight \plainoutput}}
\def\normaloutput{\onepageout{\unvbox255}}
\maxdeadcycles=100 % \output is called quite often

\output={\normaloutput}
\newbox\partialpage \newdimen\origvsize \newif\ifrigid
\def\begindoublecolumns{\global\origvsize=\vsize \begingroup
  \output={\global\setbox\partialpage=\vbox{\unvbox255\kern0pt}}\eject
  \output={\doublecolumnout} \hsize=\colwidth \dimen@=\pageheight
  \advance\dimen@ by-\ht\partialpage \multiply\dimen@ by2
  \ifdim\dimen@<2\baselineskip \dimen@=2\baselineskip\fi
  \vsize=\dimen@}
\def\enddoublecolumns{\output={\balancecolumns}\eject
  \endgroup \global\vsize=\origvsize \pagegoal=\vsize}
\def\doublecolumnout{\splittopskip=\topskip \splitmaxdepth=\maxdepth
  \setbox0=\vsplit255 to.46\vsize \setbox2=\vsplit255 to.46\vsize
  %\setbox0=\vbox{A\unvbox0B\vfill}\setbox2=\vbox{C\unvbox2D\vfill}%
  \onepageout\pagesofar \global\vsize=2\pageheight
  \unvbox255 \penalty\outputpenalty}
\def\pagesofar{\unvbox\partialpage
  \wd0=\hsize \wd2=\hsize
  %\hbox to\pagewidth{\box0\hfil\separator\hfil\box2}}
  \hbox to\pagewidth{\valign{##\vfill\cr%
  \vbox{\unvbox0}\cr\noalign{\hfil\separator\hfil}\vbox{\unvbox2}\cr}}}
\def\norulesep{\let\separator=\relax}
\def\rulesep{\let\separator=\vrule}
\let\separator=\relax
\def\balancecolumns{\setbox0=\vbox{\unvbox255} \dimen@=\ht0
  \advance\dimen@ by\topskip \advance\dimen@ by-\baselineskip
  \divide\dimen@ by2 \splittopskip=\topskip
  {\vbadness=10000 \loop \global\setbox3=\copy0
    \global\setbox1=\vsplit3 to\dimen@
    \ifdim\ht3>\dimen@ \global\advance\dimen@ by1pt \repeat}
  \ifrigid
    \setbox0=\vtop{\unvbox1}
    \setbox2=\vtop{\unvbox3}
  \else
    \setbox0=\vbox to\dimen@{\unvbox1}
    \setbox2=\vbox to\dimen@{\dimen2=\dp3 \unvbox3\kern-\dimen2 \vfil}
  \fi
  \global\vsize=\origvsize \pagesofar}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\colwidth 19pc
\newdimen\manindent      \manindent 3pc
\newdimen\smallmanindent \smallmanindent 1pc
\parskip 1ex plus 0.5ex minus 0.5ex
\parindent 0pt

\outer\def\usepsfonts{%
    % change standard TeX fonts, from plain.tex
    \font\tenrm=ptmr7t at 10pt % roman text
    \font\sevenrm=ptmr7t at 7pt
    \font\fiverm=ptmr7t at 5pt
    \font\tenr=zptmcm7t at 10pt % math roman
    \font\sevenr=zptmcm7t at 7pt
    \font\fiver=zptmcm7t at 5pt
    \font\teni=zptmcm7m at 10pt % math italic
    \font\seveni=zptmcm7m at 7pt
    \font\fivei=zptmcm7m at 5pt
    \font\tensy=zptmcm7y at 10pt % math symbols
    \font\sevensy=zptmcm7y at 7pt
    \font\fivesy=zptmcm7y at 5pt
    \font\tenex=zptmcm7v at 10pt % math extension
    \font\tenbf=ptmb7t at 10pt % boldface extended
    \font\sevenbf=ptmb7t at 7pt
    \font\fivebf=ptmb7t at 5pt
    % additional fonts needed by gapmacro.tex
    \font\tentt=cmtt10 % typewriter
    \font\tensl=ptmro7t at 10pt
    \font\tenit=ptmri7t at 10pt % text italic
    % Additional fonts needed by gapmacro.tex
    \font\inchhigh=phvb7t at 96pt
    \font\titlefont=phvb7t at 36pt
    \font\subtitlefont=phvb7t at 20pt
    \font\secfont=phvb7t at 13pt
    \font\sf=phvr7t at 10 pt
    \font\bsf=phvb7t at 10 pt
    \font\smallrom=ptmr7t at 8pt
    \font\sevenit=ptmri7t at 7pt
    \font\fiveit=ptmri7t at 5pt
    \inst@allfonts
}
\outer\def\usecmfonts{
    % standard TeX fonts, from plain.tex
    \font\tenrm=cmr10 % roman text
    \font\sevenrm=cmr7
    \font\fiverm=cmr5
    \font\tenr=cmr10 % math roman
    \font\sevenr=cmr7
    \font\fiver=cmr5
    \font\teni=cmmi10 % math italic
    \font\seveni=cmmi7
    \font\fivei=cmmi5
    \font\tensy=cmsy10 % math symbols
    \font\sevensy=cmsy7
    \font\fivesy=cmsy5
    \font\tenex=cmex10 % math extension
    \font\tenbf=cmbx10 % boldface extended
    \font\sevenbf=cmbx7
    \font\fivebf=cmbx5
    \font\tentt=cmtt10 % typewriter
    \font\tensl=cmsl10 % slanted roman
    \font\tenit=cmti10 % text italic
    % Additional fonts needed by gapmacro.tex
    \font\inchhigh=cminch
    \font\titlefont=cmssdc10 at 40pt
    \font\subtitlefont=cmssdc10 at 24pt
    \font\secfont=cmssdc10 at 14pt
    \font\sf=cmss10
    \font\bsf=cmssdc10
    \font\smallrom=cmr8
    \font\sevenit=cmti10 at 7pt
    \font\fiveit=cmti10 at 5pt
    \inst@allfonts
}

\def\inst@allfonts{
    \skewchar\teni='177 \skewchar\seveni='177 \skewchar\fivei='177
    \skewchar\tensy='60 \skewchar\sevensy='60 \skewchar\fivesy='60

    \textfont0=\tenr \scriptfont0=\sevenr \scriptscriptfont0=\fiver
    \textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei
    \textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy
    \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
    \textfont\itfam=\tenit \scriptfont\itfam=\sevenit \scriptscriptfont\itfam=\fiveit
    \textfont\slfam=\tensl
    \textfont\bffam=\tenbf \scriptfont\bffam=\sevenbf
    \scriptscriptfont\bffam=\fivebf
    \textfont\ttfam=\tentt
    \tenrm
}
\def\rm{\fam0\tenrm}
\def\mit{\fam1} \def\oldstyle{\fam\@ne\teni}
\def\cal{\fam2}
% fam 3 contains the large symbols, cannot be used for ordinary math
\newfam\itfam \def\it{\fam\itfam\tenit} % \it is family 4
\newfam\slfam \def\sl{\fam\slfam\tensl} % \sl is family 5
\newfam\bffam \def\bf{\fam\bffam\tenbf} % \bf is family 6
\newfam\ttfam \def\tt{\fam\ttfam\tentt} % \tt is family 7

% If you don't have `msb' fonts, replace the next 4 lines by `\let\Bbb=\bf'.
\newfam\msbfam \def\Bbb{\fam\msbfam}
\font\tenmsb=msbm10         \textfont\msbfam=\tenmsb
\font\sevenmsb=msbm7        \scriptfont\msbfam=\sevenmsb
\font\fivemsb=msbm5         \scriptscriptfont\msbfam=\fivemsb
\font\sevenmsa=msam7

% the dark triangle
\def\darktriangleright{\raise.4ex\hbox{\sevenmsa\char"49}}

% Math mode should use text italic.
{\count0=\itfam \advance\count0 by-1 \multiply\count0 by"100
 \count1=`A
 \loop \count2=\mathcode\count1 \advance\count2 by\count0
       \global\mathcode\count1=\count2
      {\advance\count1 by'040
       \count2=\mathcode\count1 \advance\count2 by\count0
       \global\mathcode\count1=\count2}
 \ifnum\count1<`Z \advance\count1 by1\repeat}

\usepsfonts

% macros for verbatim scanning (almost copied from `The TeXbook')
\chardef\other=12
\def\undocatcodespecials{\catcode`\\=\other     \catcode`\{=\other
  \catcode`\}=\other     \catcode`\<=\other     \catcode`\$=\other
  \catcode`\%=\other     \catcode`\~=\other     \catcode`\^=\other
  \catcode`\_=\other     \catcode`\*=\other     \catcode`\`=\other
  \catcode`\!=\other     \catcode`\"=\other     \catcode`\&=\other
  \catcode`\#=\other     \catcode`\|=\other}
\newdimen\ttindent \ttindent=5mm % indentation amount of verbatim examples
\def\kernttindent{\hskip\ttindent\relax} % for use in %\begintt
{\obeyspaces\global\let =\ }
{\obeylines\gdef\obeylines{\catcode`^^M=\active}\gdef^^M{\par}%
\catcode`#=\active \catcode`&=6 \gdef#{\char35}%
%\catcode`#=\active \catcode`&=6 \gdef#&1^^M{\hbox{\char35 &1}^^M}%
 \gdef\ttverbatim{\begingroup\undocatcodespecials \catcode`\#=\active%
   \parindent 0pt \def\_^^M{\allowbreak}\def\${$}\def\`{`}%
   \def\par{\ifvmode\allowbreak\vskip 1pc plus 1pt\else\endgraf\penalty100\relax\fi}%
   \obeyspaces \obeylines \tt}}
\outer\def\begintt{\par
  \begingroup\advance\leftskip by \ttindent
  \ttverbatim \parskip=0pt \catcode`\|=0 \rightskip-5pc \ttfinish}
{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character
  |obeylines % end of line is active
  |gdef||{|char124} %
  |gdef|ttfinish^^M#1\endtt{|medskip{#1}|endgroup %
  |endgroup%
  |vskip-|parskip|medskip|noindent|ignorespaces}}
\def\unstableoutput{}
\outer\def\beginexample{\par
  \begingroup\advance\leftskip by \ttindent
  \ttverbatim \parskip=0pt \catcode`\|=0 \rightskip-5pc \catcode`\#=\other\examplefinish}
{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character
  |obeylines % end of line is active
  |gdef||{|char124} %
  |gdef|examplefinish^^M#1^^M\endexample{%
      |iftestexample%
         |ifexamplefileopen%
         |else|immediate|openout|exampleout=|jobname.example-|the|chapno.tst%
         |global|examplefileopentrue%
         |fi%
        {|def^^M{^^J}|immediate|write|exampleout{#1}}%
      |fi%
      |global|testexampletrue%
      |medskip{#1}|endgroup%
  |vskip-|parskip|medskip|endgroup%
  |noindent|ignorespaces}}

% Input/output streams. Chapter and section counters.
\newwrite\labelout \newwrite\indexout \newwrite\secindout
\newwrite\tocout   \newwrite\citeout  \newwrite\ans
\newwrite\exampleout
\newif\ifexamplefileopen
\newif\iftestexample\global\testexampletrue
\newread \labelin  \newread \indexin  \newread \tocin  \newread \citein
\countdef\chapno=1 \newcount\secno    \newcount\subsecno \newcount\exno
\newcount\indentno
\newcount\chapnum  %GG \chapnum is a numerical \chapno for the .six file
\def\chapterno{{\edef\tempa{\thechapter}\tempa}}
%\def\folio{\ifnum\pageno<0 \romannumeral-\pageno \else
%  \chapterno\ifx\thechapter\emptychapter\else--\fi \number\pageno\fi}
%\def\doindex#1#2#3{\write\indexout{\noexpand\indexentry{#1#2#3}%
%  {\ifnum\pageno<0 \romannumeral-\pageno \else
%   \thechapter\ifx\thechapter\emptychapter\else--\fi \number\pageno\fi}}%
%  \ifvmode\nobreak\fi}

%AH
\def\folio{\ifnum\pageno<0 \romannumeral-\pageno \else
  \number\pageno\fi}

%\def\doindex#1#2#3{\protectedwrite\indexout{\noexpand\indexentry{#1#2#3}%
%  {\ifnum\pageno<0\romannumeral-\pageno\else%
%   \number\pageno\fi}}%
%  \ifvmode\nobreak\else\unskip\fi}

{\catcode`<=\active \catcode`_=\active \catcode`!=\active \catcode`*=\active
\catcode``=\active

\global\let\n@exp\noexpand

\gdef\doindex#1#2#3{\begingroup
  %\let_\underscore\let`\lq\let<\<\let!\excl
  \def\noexpand{}% this kills noexpands from some index entries
  \def\protect{\n@exp\n@exp\n@exp}%
  \def_{\protect_}\def*{\protect*}\def`{\protect `}\def<{\protect <}\def!{\protect!}%
  \edef\tmp{\n@exp\n@exp\n@exp\indexentry{#1#2#3}}%
  \expandafter\write\expandafter\indexout\expandafter{\tmp{\folio}}%
  %{\scrollmode\errorcontextlines 1\show\tmp\errorstopmode}%
  \ifvmode\nobreak\else\unskip\fi\endgroup}%
}

% Additional active characters and their default meanings.
\mathcode`.="2201 \mathchardef\.="702E
\def\undoquotes{\catcode`'=12 \catcode``=12 \def\"##1{{\accent127 ##1}}}
\def\excl{!} \chardef\lqq=`\\ \let\underscore=\_
\chardef\<=`<
\catcode`!=\active \let!=\excl
\catcode`^=\active \def^{\ifmmode\sp\else{\char`\^}\fi}
\catcode`_=\active \def\activeusc{\ifmmode\sb\else\_\fi}
                   \let_=\activeusc                     \let\_=\underscore
\catcode`*=\active \def*{\ifmmode\let\next=\*\else\let\next=\bold\fi\next}
                   \def\bold#1*{{\bf #1\/}}             \chardef\*=`*
\catcode`<=\active \def<#1>{{\chardef*=`*\let_=\_\it#1\/}}

\catcode`"=\active \def"{\begingroup\undoquotes\doref}  \chardef\"=`"
                                                        \chardef\\=`\\

\def\refManual{{\GAP} Reference Manual}
\def\tutManual{{\GAP} Tutorial}

{\catcode`|=0 \catcode`\\=12 |gdef|bs{\}}
% Labels (which are automatically generated by ``\Section'' and ``\>'').
%\newif\iflabmultdef
\newif\iflabundef
\newif\iflabchanged
\newif\ifcasesensitive
\newif\ifcitebooks

\def\doref#1"{\bookref#1:"}
\def\bookref#1:#2"{\def\tempa{#2}\ifx\tempa\empty\printref{\book:#1}\else
  \printbookref#1:#2"\fi}
\def\printbookref#1:#2:"{\printref{#1:#2}}

% Macros which write labels, citations and index entries on auxiliary files.
%
% 1. Some code was moved around so that all the labels and indexing stuff
%    would be together.
% 2. Modified \makelabel, \printref and \label to be more like the LaTeX
%    commands \newlabel, \ref and \label, respectively. The commands:
%    \@xp, \@firstoftwo, \@secondoftwo, \namedef, \@ifundefined
%    \protectedwrite are adapted pieces of LaTeX code (\@xp is actually
%    AmSLaTeX's abbreviation of \expandafter).
% 3. The upshot of 2. is that now underscore is allowed in labels and
%    index-entries and that the \makelabel commands written to the
%    manual.lab files have arguments that are no longer put in lowercase.
%    The labels formed inside TeX from the \makelabel commands maps
%    underscores to | (needed to be a non-active character) and then
%    converts to lowercase.
% 4. Since GapDoc uses < and > in some of its labels a temporary re-defintion
%    of <#1> was necessary, inside \@xplowr.
% - GG 2001/06/11, 2001/09/02

\let\@xp\expandafter
\long\def\@firstoftwo#1#2{#1}
\long\def\@secondoftwo#1#2{#2}
\def\namedef#1{\expandafter\def\csname #1\endcsname}
\def\@ifundefined#1{\@xplowr{#1}%
  \@xp\ifx\csname \xpandlowr\endcsname\relax%
    \@xp\@firstoftwo%
  \else%
    \@xp\@secondoftwo%
  \fi}
\def\protectedwrite#1#2{\begingroup\let_\relax\immediate\write#1{#2}\endgroup}
\def\@xplowr#1{\begingroup\def_{|}\def<##1>{|##1|}\let\next=\relax%
  \expandafter\edef\next{\gdef\noexpand\xpandlowr{#1}}%
  \ifcasesensitive\next\else\lowercase\expandafter{\next}\fi\endgroup}
\def\m@kelabel#1#2#3{\@xplowr{r@#1}%
  \@ifundefined{\xpandlowr}%
    \relax%
    {\let_\activeusc}%\protectedwrite{16}{Label `#1' multiply defined.}}%
  \let_\activeusc%\protectedwrite{16}{Defined label `#1'.}%
  \begingroup\edef_{|}\global\namedef{\xpandlowr}{#2}\endgroup}
\let\makelabel\undefined
\gdef\printref#1{\@xplowr{#1}%
  \@xp\ifx\csname r@\xpandlowr\endcsname\relax\lqq\xpandlowr''%
  \protectedwrite{16}{Label `#1' undefined.}\global\labundeftrue%
  \else\expandafter\printpdflink\xpandlowr\relax\fi\endgroup\let_\activeusc}
\gdef\printpdflink#1:#2\relax{\edef\next{#1}\ifx\next\book
       \startlink{#2}\csname r@\xpandlowr\endcsname\endlink\else
       \ifcitebooks\expandafter\csname\next Manual\endcsname,\space\fi
       \csname r@\xpandlowr\endcsname\fi}

\newif\ifnewlab

% Macros which write labels, citations and index entries on auxiliary files.
\gdef\label#1{\@xplowr{#1}%
  \ifnum\secno=0 \edef\@currentlabel{\thechapter}\else
  \ifnum\subsecno=0 \edef\@currentlabel{\thechapter.\the\secno}\else
  \edef\@currentlabel{\thechapter.\the\secno.\the\subsecno}\fi\fi
  \@xp\ifx\csname r@\book:\xpandlowr\endcsname\@currentlabel\else%
  \immediate\write16{Label `\book:#1' has changed.}%
  \global\labchangedtrue\fi%
  \expandafter\ifx\csname pdfdest@\xpandlowr\endcsname\relax
  \nameddest{\xpandlowr}%
  \expandafter\gdef\csname pdfdest@\xpandlowr\endcsname{#1}%
  \fi%
  \ifnewlab\def\next{{\xpandlowr}}%
  \else
  \def\next{}%
  \fi
  \protectedwrite\labelout{\string\makelabel{\book:#1}{\@currentlabel}\next}%
  \let_\activeusc}

\def\litem#1{% left aligned item
 \par\hang\noindent\hbox to \parindent{#1\enspace\hfill}}

\newif\ifbiblitem

 \gdef\sigel#1{[\expandafter\ifx\csname c@#1\endcsname\relax
  \immediate\write16{Reference `#1' undefined.}\global\labundeftrue
  #1\else \csname c@#1\endcsname\fi]}
 \gdef\bibitem[#1]#2{\expandafter\gdef\csname c@#2\endcsname{#1}%
  \nameddest{citation@#2}\ifbiblitem\litem{\sigel{#2}}\else\item{\sigel{#2}}\fi
  \immediate\write\labelout{\noexpand\setcitlab{#2}\noexpand{#1}}\ignorespaces}
 \gdef\setcitlab#1#2{\expandafter\gdef\csname c@#1\endcsname{#2}}

\def\cite#1{\write\citeout{\bs citation{#1}}\startlink{citation@#1}\sigel{#1}\endlink}
\def\dosecindex#1#2#3{\ifchapter{\let\ =\space%
   \protectedwrite\secindout{#1 \the\chapno.\the\secno. #2#3}}\fi}
\def\bothindex#1#2#3#4{\doindex{#2}{#3}{#4}\dosecindex{#1}{#2}{#4}}
\def\index#1{\bothindex I{#1}{}{}}
\def\atindex#1#2{\doindex{\scrubafterexcl#1!\end}{#2}{}\dosecindex I{#1}{}}
{\catcode64=12
\gdef\indextt#1{\doindex{\scrubafterexcl#1!\end}%
   {@`\scrubafterexcl#1!\end'\scrubbeforeexcl#1!\end}{}\dosecindex I{#1}{}}
}
%\def\indextt#1{\atindex{#1}{@`#1'}}
\def\indexit#1{{\it #1}}

% Macros for generating the table of contents.
\newif\iffirstsec \firstsectrue
\def\dotsfill{\leaders\hbox to12pt{\hss.\hss}\hfill}

\def\appcontents#1#2#3{}

\def\chapcontents#1#2#3{%
   %\iffirstsec\firstsecfalse\else\line{}\fi% empty line
   \par\penalty-5\medskip
   \line{\@xplowr{#2}\startlink{\xpandlowr}\bf\kern\manindent\vbox{\advance\hsize by-\manindent
   \advance\hsize by-1.5em
   \rightskip 0pt plus1fil \emergencystretch 3em
   \noindent\llap{\hbox to\manindent{\hss #1\kern\smallmanindent}}\strut
   #2~\hfill \strut\rlap{\hbox to1.5em{\hss #3}}}\hfil\endlink}}

\def\seccontents#1#2#3{
   \par\penalty-5\medskip
   \setchapterlen#1.
   \line{\@xplowr{#2}\startlink{\xpandlowr}\kern\manindent\vbox{\advance\hsize by-\manindent
   \advance\hsize by-1.5em
   \rightskip 0pt plus1fil \emergencystretch 3em
   \noindent\llap{\hbox to\manindent{\hss #1\kern\smallmanindent}}\strut
   #2~\dotsfill \strut\rlap{\hbox to1.5em{\hss #3}}}\hfil\endlink}}

% GG ... the idea of \ors is to put the right no. of \or s in the \appno
%        macro so that for an appendix:
%         1. \the\chapno gives the number needed in the .six file, and
%         2. \appno\chapno gives the right letter A, B, ... for the .lab file
\newtoks\ortoks
\long\def\addor{\begingroup\ortoks\expandafter{\ors\or}
   \xdef\ors{\the\ortoks}\endgroup}
\def\setors{{\xdef\ors{} \count0=\chapno
   \loop\ifnum\count0>0 \addor \advance\count0 by -1\repeat}}
\def\appno#1{\expandafter\ifcase\expandafter#1\ors\or A\or B\or C\or D\or E\or
   F\or G\or H\or I\or J\or K\or L\or M\or N\or O\or P\or Q\or R\or S\or T\or
   U\or V\or W\or X\or Y\or Z\else\immediate\write16{Counter too large} \fi}

% Macros for chapter and section headings.
\def\filename{appendix}
\def\tocstrut{{\setbox0=\hbox{1}\vrule width 0pt height\ht0}}
\outer\def\Input#1{\def\filename{#1.tex}\input #1}
\def\emptychapter{\noexpand\tocstrut}
\def\normalchapter{\the\chapno}
% GG
\def\appendixchapter{\appno\chapno} % \appno behaves like LaTeX's \Alph
\newif\ifchapter           % set to true when \thechapter = \normalchapter
                           % ... or ...  when \thechapter = \appendixchapter

{
%
\gdef\setchapterlen#1.#2.{\expandafter\gdef\csname ch@#1\endcsname{#2}}
\gdef\chapterlen#1{%
\ifchapter
\expandafter\ifx\csname ch@#1\endcsname\relax%
0%
\else\csname ch@#1\endcsname\fi
\else 0\fi}%
}
\def\setindent#1{\indentno=#1}

\outer\def\Chapter#1 \par{\doChapter{#1}{}}

\def\doChapter#1#2{\vfill\supereject \headlinefalse
%  \ifodd\pageno\else\null\vfill\eject\headlinefalse\fi
  \ifexamplefileopen\immediate\closeout\exampleout\examplefileopenfalse\fi
  \advance\chapno by1 \secno=0\subsecno=0\exno=0%\ifnum\pageno>0 \pageno=1 \fi
  \def\chapname{#1#2}\label{#1}\ifx\relax#2\relax\else\label{#1#2}\fi%
  \immediate\write16{Chapter `#1' .}%
  \write\tocout{\noexpand\chapcontents{\thechapter}{#1#2}{\the\pageno}}%
  \ifchapter
    \immediate\write\secindout{C \filename\space\the\chapno. \chapname}\fi
  \@xplowr{#1}\setbookmarkind{\xpandlowr}{#1#2}%
  \setbox0=\hbox{\inchhigh\kern-.075em \chapterno}%
  \setbox1=\vbox{\titlefont \advance\hsize by-\wd0 \advance\hsize by-1em
%    \hyphenpenalty=10000 \linepenalty=10000
    \leftskip 0pt plus\hsize \parfillskip 0pt \baselineskip 44pt\relax #1#2}%
  \line{\box0\hfil\box1}\nobreak \mark{}\vskip 40pt}

% start hack added by TB
\outer\def\PreliminaryChapter#1 \par{\doChapter{#1}{ (preliminary)}}

\outer\def\Section#1#2\par{\bigbreak \advance\secno by1
  \subsecno=0
  \ifx\thechapter\emptychapter
    \edef\tempa{\the\secno}
  \else
    \edef\tempa{\thechapter.\the\secno}%
  \fi%
  \@xplowr{#1}\setbookmark{\xpandlowr}{#1}
  \expandafter\writesecline\tempa\\{#1}
  \dosecindex S{#1}{}
  \ifx#2\nolabel\nameddest{\xpandlowr}\else{\let\ =\space\label{#1}}\fi
  \ifx#2\null\else \edef\tempb{{#1@#1}}
    \expandafter\doindex\tempb{|indexit}{}\fi
  \noindent{\baselineskip 18pt\let!=\space \mark{Section \the\secno. #1}%
  \secfont \tempa \enspace #1}\par\nobreak\medskip}

\def\writesecline#1\\#2{\write\tocout{\noexpand\seccontents{#1}{#2}
  {\the\pageno}}}
\def\letter#1{%
  \edef\tempa{LeTtEr#1}%
  \nameddest{\tempa}%
  \setbookmark{\tempa}{#1}%
  \medskip{\secfont #1}\endgraf\nobreak}

% Macros for generating paragraph headings (e.g., function descriptions).
\def\fmark{\noindent\llap{\darktriangleright\rm\enspace}}
\def\moveup#1{\leavevmode \raise.16ex\hbox{\rm #1}}
\def\fpar{\endgraf\endgroup\nobreak\smallskip\noindent\ignorespaces}
\def\>{\begingroup\undoquotes\obeylines\angle}
\def\){\begingroup\obeylines\cloparen}
{\obeylines\catcode64=12
\gdef\angle#1
  {\endgroup \ifx\par\fpar \global\def\susemarker{\fmark}\else%
  \global\advance\subsecno by1%
  \global\def\susemarker{\noindent\llap{\smallrom\the\subsecno\kern.5ex%
  \darktriangleright\rm\enspace}}%
    \ifvmode \vskip -\lastskip \fi \medskip%
    \begingroup\let\par=\fpar \parskip 0pt \fi%
  \endgraf\nobreak\oporfunc#1\end}%
\gdef\cloparen#1
  {\endgroup \ifx\par\fpar \else%
    \ifvmode \vskip -\lastskip \fi \medskip%
    \begingroup\let\par=\fpar \parskip 0pt \fi%
  \endgraf{\def\[{\moveup\lbrack}\def\]{\moveup\rbrack}\def\|{\vrule\relax}%
  \noindent\typewriter#1'}}%
\gdef\scanparen#1(#2\end{\def\tempa{#2}\ifx\tempa\empty%
  \def\next{\begingroup\cloparen\susemarker#1%
  \label{#1}\bothindex F{#1}{@`#1'}{}}%
  \else\def\next{\delparen#1(#2\end}\fi \next}%
\gdef\delparen#1(\end{\function#1}%
\gdef\oporfunc#1#2\end{\ifx#1`\def\next{\oporvalue#1#2}\else%
                             \def\next{\scanparen#1#2(\end}\fi \next}%
\long\gdef\oporvalue`#1'#2{\ifx#2V\def\next{\operation`#1'{#1}@{`#1'} V}\else%
                                 \def\next{\operation`#1'{#2}}\fi \next}%
\long\gdef\operation`#1'#2#3{{\def\[{\moveup\lbrack}\def\]{\moveup\rbrack}%
  \def\|{\vrule\relax}}%
  \susemarker\typewriter#1'%
  \ifx#3!\def\next{\suboperation{#2}}%
    \else\ifx#3@\def\next{\subatoperation{#2}}%
    \else\endheaderline \label{#2}%
    \bothindex F{#2}{}{}\let\next=#3\fi\fi\next}%
\long\gdef\function#1(#2)#3{{\def\[{\moveup\lbrack}\def\]{\moveup\rbrack}%
  \def\|{\vrule\relax}%
  \susemarker\typewriter#1(#2)'}%
  \ifx#3!\def\next{\subfunction{#1}}\else%
    \endheaderline\label{#1}\bothindex F{#1}{@`#1'}{}%
    \let\next=#3\fi\next}%
\gdef\subfunction#1#2{\endheaderline\label{#1!#2}%
  \bothindex F{#1}{@`#1'}{!#2}}%
\gdef\suboperation#1#2{\endheaderline\label{#1!#2}%
  \bothindex F{#1}{}{!#2}}%
\gdef\subatoperation#1#2{\endheaderline\label{#1}%
  \doindex{\scrubafterexcl#1!\end}{@#2}{}%
  \dosecindex F{#1}{}}%
\gdef\scrubafterexcl#1!#2\end{#1}%
\gdef\scrubbeforeexcl#1!#2\end{\if\relax#2\else!\removeendexcl#2\fi}%
\gdef\removeendexcl#1!{#1}%
\gdef\endheaderline{\hskip 0pt plus 1filll}%
}

% Macro for item lists.
\catcode`&=\active
\def\beginitems{%
  \smallskip
  \begingroup
    \advance\ttindent\manindent
    \def&{\par \nobreak \hangindent\manindent \hangafter 0
      {\parskip 0pt\noindent}\ignorespaces}
    \parindent 0pt
    \catcode`&=\active
}
\def\enditems{\par \endgroup \smallskip \noindent \ignorespaces}

% Macro for item lists.
\def\beginlist{%
  \smallskip
  \begingroup
    \parindent=2em
}
\def\endlist{\par \endgroup \smallskip \noindent \ignorespaces}
\catcode`&=4

% Macros for exercises.
\outer\def\exercise{\advance\exno by1\begingroup
  \def\par{\endgraf\endgroup\medskip\noindent}
  \medskip\noindent{\bf Exercise \chapterno.\the\exno.}\quad}
\outer\def\answer{\immediate\write\ans{}%
  \immediate\write\ans{\noexpand\answerto{\thechapter.\the\exno.}}%
  \copytoblankline}
\def\answerto#1{{\noindent\bf #1}}
\def\copytoblankline{\begingroup\setupcopy\copyans}
{\undoquotes
\gdef\setupcopy{\undocatcodespecials \obeylines \obeyspaces}
\obeylines \gdef\copyans#1
  {\def\next{#1}%
  \ifx\next\empty\let\next=\endgroup %
  \else\immediate\write\ans{\next}\let\next=\copyans\fi\next}}

% Macros for the active backquote character (`).
{\catcode`.=\active \gdef.{\char'056 \penalty0}}
\def\writetyper{\catcode`.=\active \chardef\{ =`{ \chardef\}=`}
                      \chardef*=`* \chardef"=`"   \chardef~=`~}
\catcode``=\active
\def`{\futurelet\next\backquote}
\def\typewriter#1'{\leavevmode{\writetyper \chardef`=96 \tt #1}}
\def\backquote{\ifx\next`\let\next=\doublebackquote
                    \else\let\next=\typewriter \fi \next}
\def\doublebackquote`{\lqq}

% The \Package command for argument <pkg> defines a macro \<pkg> that
% sets the text <pkg> in sans-serif i.e. a share package author should
% put a \Package{<pkg>} in their manual.tex file and then use {\<pkg>}
% when they refer to package <pkg>.

\def\Package#1{\namedef{#1}{{\sf #1}}}
\Package{GAP}
\Package{MOC}
\Package{ATLAS}

% For one-off references to a share package there is the following:

\def\package#1{{\sf #1}}

% The day

\def\Day{\number\day}

% The month in words

\def\Month{\ifcase\month\or January\or February\or March\or April\or May\or
  June\or July\or August\or September\or October\or November\or December\fi}

% The year

\def\Year{\number\year}

% The date

\def\Today{{\Day} {\Month} {\Year}}

% Miscellaneous macros.
\def\N{{\Bbb N}} \def\Z{{\Bbb Z}} \def\Q{{\Bbb Q}} \def\R{{\Bbb R}}
\def\C{{\Bbb C}} \def\F{{\Bbb F}} \def\calR{{\cal R}}

%T do we want these
%\def\stars{\bigskip\centerline{\*\qquad\*\qquad\*}\bigskip}

% Page numbers and running heads.
\newif\ifheadline
\nopagenumbers
\def\makeheadline{\vbox to0pt{\vskip-22.5pt\hbox to\pagewidth{\vbox to8.5pt
  {}\the\headline}\vss}\nointerlineskip}
\headline={\ifheadline\ifodd\pageno \righthead\hfil{\rm\folio}\else
                                    {\rm\folio}\hfil\lefthead \fi
  \else\global\headlinetrue \hfil\fi}

% Macro for inputting an auxiliary file.
\def\inputaux#1#2{\immediate\openin#1=#2
  \ifeof#1\immediate\write16{No file #2.}\else
  \immediate\closein#1 \input#2\fi}

% Macros for the parts of the manual.
\outer\def\FrontMatter{%
  \let\thechapter=\emptychapter
  \def\lefthead{\it\chapname} \let\righthead=\lefthead

  \begingroup
  \def\makelabel##1##2{\m@kelabel{##1}{##2}{}}%
  \undoquotes
  \inputaux\labelin{\jobname.lab}
  %\setbox0=\vbox{\Bibliography}
  \endgroup
  \labchangedfalse

  % Open the auxiliary files for output.
  \immediate\openout\tocout   =\jobname.toc
  \immediate\openout\labelout =\jobname.lab
  \immediate\openout\indexout =\jobname.idx
  \immediate\openout\secindout=\jobname.six
  \immediate\openout\citeout  =\jobname.aux
%  \immediate\openout\ans=answers
  \immediate\write\citeout{\bs bibstyle{alpha}}

  \ifodd\pageno\else\headlinefalse\null\vfill\eject\fi
%  \pageno=1
}

\outer\def\Chapters{\vfill\eject
  \chapno=0 \let\thechapter=\normalchapter \chaptertrue
  \def\lefthead{{\it Chapter \the\chapno. \chapname}}
  \def\righthead{\ifx\botmark\empty\lefthead\else{\it \botmark}\fi}}

% GG
% Rather than reset \chapno in \Appendices, for the .six file (which GAP's
% help uses), we number appendices as if they were chapters (via \the\chapno)
% i.e. if the last chapter was numbered 7 then for the .six file the first
% appendix would be numbered 8.
% The \setors macro puts (\number\chapno - 1) \or s in the \ors macro so that
% \appno\chapno (= \appendixchapter) numbers the appendices sequentially from A
% for the .lab file (which TeX uses).
\outer\def\Appendices{\vfill\eject
  \ifexamplefileopen\immediate\closeout\exampleout\examplefileopenfalse\fi
  \setors \let\thechapter=\appendixchapter \chaptertrue
  \def\lefthead{{\it Appendix \thechapter. \chapname}}
  \def\righthead{\ifx\botmark\empty\lefthead\else{\it \botmark}\fi}}

\def\EndMatter{\vfill\eject
  \def\thechapter{} \chapterfalse
  \def\lefthead{{\it \chapname}}
  \let\righthead=\lefthead
  \hbadness=5000\relax
  \gdef\EndMatter{}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \BeginningOfBook  . . . . . . . . . . . . . . . . . . . .  start the book
%%
\outer\def\BeginningOfBook#1{%
  \def\book{#1}%
  \pageno=-1%
  \pageno=1%
  \headlinefalse%
  \let\thechapter=\emptychapter%
  \def\lefthead{\it\chapname}%
  \let\righthead=\lefthead%
}
%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \UseReferences{<book-path>}	. . . use references from book in <book-path>
%%

%% /usr/share/gap/pkg/GAPDoc/doc/:
%% Added by Bill Allombert to absorb ../../.. from caller. Any pkg/*/* would do.

\outer\def\UseReferences#1{\begingroup\def\makelabel##1##2{\m@kelabel{##1}{##2}{}}\undoquotes
    \inputaux\labelin{/usr/share/gap/pkg/GAPDoc/doc/#1/manual.lab}\endgroup
}
\outer\def\UseGapDocReferences#1{\begingroup\def\makelabel##1##2##3{\m@kelabel{##1}{##2}{##3}}\undoquotes
    \inputaux\labelin{/usr/share/gap/pkg/GAPDoc/doc/#1/manual.lab}\endgroup
}
\outer\def\GAPDocLabFile#1{\def\makelabel##1##2##3{\m@kelabel{##1}{##2}{##3}}}
%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \EndOfBook	. . . . . . . . . . . . . . . . . . . . . . . .  end the book
%%
\outer\def\EndOfBook{\vfill\supereject
  \immediate\write16{##}
  \immediate\closeout\citeout
  \immediate\write16{## Citations for BibTeX written on \jobname.aux.}
  \immediate\closeout\indexout
  \immediate\write16{## Index entries for makeindex written on \jobname.idx.}
  \immediate\closeout\secindout
  \immediate\write16{## Section index entries written on \jobname.six.}
  \immediate\closeout\labelout
  \immediate\write16{## Label definitions written on \jobname.lab.}
  \immediate\closeout\tocout
  \immediate\write16{## Table of contents written on \jobname.toc.}
  \immediate\write16{## Examples written to \jobname.example-XX.tst.}
  %\iflabmultdef\immediate\write16{## There were multiply-defined labels.}\fi
  \iflabundef\immediate\write16{## There were undefined labels or
  references.}\fi
  \iflabchanged\immediate\write16{## Labels have changed, run again. (Or
  they were multiply defined.)}\fi
  \immediate\write16{##}
  \end
}
%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \TableOfContents  . . . . . . . . . . . . . . produce a table of contents
%%
% name of the chapter containing the table of contents
\def\TOCHeader{Contents}

% explanation at the beginning of the table of contents
\def\TOCMatter{%
}

% macros for generating the table of contents
%\newif\iffirstsec\firstsectrue
\def\dotsfill{\leaders\hbox to12pt{\hss.\hss}\hfill}

% produce the chapter "Contents"
\outer\def\TableOfContents{\doChapter\TOCHeader{}%
\TOCMatter
\vskip 20pt
\begingroup
\rigidfalse
\let!=\space
\begindoublecolumns
\inputaux\tocin{\jobname.toc}\vfill\eject
\enddoublecolumns
\endgroup
}

% a one column version of \TableOfContents for short manuals
\outer\def\OneColumnTableOfContents{\doChapter\TOCHeader{}%
\TOCMatter
\vskip 20pt
\begingroup
\rigidfalse
\let!=\space
\inputaux\tocin{\jobname.toc}\vfill\eject
\endgroup
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \TitlePage{<text>}	. . . . . . . . . . . . . . . . generate a title page
%%
\outer\long\def\TitlePage#1{%
  \null\vfill#1\null\vfill\eject
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \Colophon{<text>}	. . . . . . . . . . . . . . generate a colophon page
%%
\outer\long\def\Colophon#1{\doChapter{}{}%
#1\null\vfill\eject
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \Answers  . . . . . . . . . . . . .  produce the answers to the exercises
%%
% header for the answers
\def\AnswersHeader{Answers to the Exercises}
%
% produce the chapter "Answers"
\outer\def\Answers{\doChapter\AnswersHeader{}%
  \parindent\manindent
  \parskip 1ex plus 0.5ex minus 0.5ex
  \immediate\closeout\ans
  \input answers
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \Bibliography . . . . . . . . . . . .  produce the chapter "Bibliography"
%%
% header for the bibliography
\def\BibHeader{Bibliography}
\newdimen\bibindent \bibindent=\manindent

% produce the chapter bibliography
\outer\def\Bibliography{\EndMatter\doChapter\BibHeader{}%
  \begingroup\undoquotes\frenchspacing
  \parindent\bibindent
  \pretolerance=5000 %badness allowed for hypenation
  \tolerance=5000    %badness allowed before overfull boxes appear
  \parskip 1ex plus 0.5ex minus 0.5ex
  \def\begin##1##2{} \def\end##1{}
  \let\newblock=\relax \let\em=\sl
  \inputaux\citein{\jobname.bbl}
  \endgroup
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%F  \Index  . . . . . . . . . . . . . . . . . .   produce the chapter "Index"
%%
% header for the index
\def\IndexHeader{Index}

% explanation at the beginning of the index
\def\IndexMatter{%
This index covers only this manual.
A page number in {\it italics} refers to a whole section which is devoted to
the indexed subject.  Keywords are sorted with case and spaces ignored,
e.g., ```PermutationCharacter''' comes before ``permutation group''.%
}

% kerning in full index after letter
\def\idxkern{\kern.3em}

% produce the chapter index
\outer\def\Index{\EndMatter%
  % get the proper bookmarking function
  \global\let\setbookmarkind=\indexbookmark%
  \doChapter\IndexHeader{}%
  \IndexMatter
  \bigskip
  \begindoublecolumns
  \pretolerance=5000 %badness allowed for hypenation
  \tolerance=5000    %badness allowed before overfull boxes appear
  \parindent 0pt \parskip 0pt \rightskip 0pt plus2em \emergencystretch 2em
  \everypar{\hangindent\smallmanindent}
  \def\par{\endgraf\leftskip 0pt}
  \def\sub{\advance\leftskip by\smallmanindent}
  \def\subsub{\advance\leftskip by2\smallmanindent}
  \obeylines
  \inputaux\indexin{\jobname.ind}
  \enddoublecolumns
}

% pseudo chapters used for authors, preface, copyright &c.
\def\PseudoInput#1#2#3{%
\vfill\eject% to ensure the pseudo-chapter no. doesn't get into headline
\advance\chapno by1\secno=0\subsecno=0
\immediate\write\secindout{C #1.tex \thechapter. #2}
\label{#2}\label{#3}} % we do this for the benefit of the HTML manuals

% some often-used LaTeX functions
\def\frac#1#2{{{#1}\over{#2}}}

% as the etalchar gets written out in manual.lab, better make it nonfancy
% (otherwise something breaks).
\def\etalchar#1{$^{#1}$}
\def\etalchar#1{#1}

% nasty trick to cope with the `newcommand' created by bibtex
\def\newcommand#1#2#3#4#5{}

% URL stuff
\def\URL#1{\par\kernttindent\hbox{`#1'}\ifx\EndMatter\empty\else\qquad\fi}
\def\Mailto#1{\penalty-1000\hskip 0pt plus10cm\hbox{`#1'}}

% ragged bottom will avoid large blank spaces
\raggedbottom
\frenchspacing
\vfuzz=2pt

\catcode64=12% catcode of @
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%E
%%