%!TEX root = manual.tex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%%  manual.tex            IRREDSOL documentation            Burkhard Höfling
%%
%%  Copyright © Burkhard Höfling (burkhard@hoefling.name)
%%


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

% input GAP macro file
\input ../../../doc/gapmacro.tex

\citebookstrue
\biblitemtrue
\bibindent 4em

% declare some package names
\Package{IRREDSOL}
\Package{CRISP}

% allow manual line breaks in long function names
\gdef\\{\discretionary{\char92}{}{}} 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\BeginningOfBook{irredsol}
  \UseReferences{../../../doc/ref}
  \UseReferences{../../crisp/doc}

  \TitlePage{\unskip{
    % \def\centerline#1{\hbox to \hsize{\hfill #1\hskip 1 cm}}
    \baselineskip 72 pt
    \centerline{\subtitlefont Burkhard H{\accent 127 o}f{}ling}
    \vfill
    \centerline{\titlefont IRREDSOL}
    \baselineskip 36 pt
    \centerline{\subtitlefont Version 1.2}
    \centerline{}
    \centerline{\subtitlefont A library}
    \centerline{\subtitlefont of irreducible soluble matrix groups}
    \centerline{\subtitlefont over finite fields}
    \centerline{\subtitlefont and of primitive soluble groups}
 }}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \TableOfContents
  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \FrontMatter
  
\immediate\write\citeout{\bs bibdata{manual}} 
   \def\thechapter{}
    \input copyright

%    \Input{preface}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Chapters
  
 \Input{overview}
 \Input{access}
 \Input{recognition}
 \Input{matgroups}
 \Input{primitive}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Appendices     % don't uncomment - this is needed for the online manual
  
    \Bibliography
    \Index

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\EndOfBook

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%E
%%
