%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% 4ti2 User Guide
%
% $Id: 4ti2_manual.tex 464 2013-09-02 22:51:14Z mkoeppe $
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[12pt,a4]{book}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{rotating}
\usepackage{myfancyheadings}
\usepackage{color}
\usepackage{verbatim}
\usepackage{epic}
\usepackage{enumerate}
\usepackage{booktabs}
\usepackage{hyperref}
\usepackage{graphicx}
\usepackage{url}

\textwidth15cm
\textheight21cm
\oddsidemargin0.7cm
\evensidemargin0.7cm
\parindent0cm
\linespread{1.2}\normalsize

\frenchspacing
\parskip=1ex plus .25ex minus .25ex

\pagestyle{fancy} \rhead{\rm\thepage} \cfoot{}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{prop}[theorem]{Proposition}
\newtheorem{cor}[theorem]{Corollary}
\newtheorem{Call}{Call}
\newtheorem{Result}{Result}
\newtheorem{note}{Note}

\newcommand{\boprob}{\noindent {\bf Problem. }}
\newcommand{\boremark}{\noindent {\bf Remark. }}
\newcommand{\boexample}{\noindent {\bf Example. }}
\newcommand{\boproof}{\noindent {\bf Proof. }}
\newcommand{\eoproof}{\hspace*{\fill} $\square$ \vspace{5pt}}
\newcommand{\red}{\sqsubseteq}
\newcommand{\rhs}{right-hand side}
\newcommand{\nred}{\sqsubseteq \hspace{-8pt} | \hspace{5pt}}
\newcommand{\framewidth}{15.5cm}
\newcommand{\psp}{{positive sum property} }
\newcommand{\pspwrt}{{positive sum property with respect to} }
\newcommand{\C}{\mathbb C}
\newcommand{\R}{\mathbb R}
\newcommand{\Q}{\mathbb Q}
\newcommand{\Z}{\mathbb Z}
\newcommand{\N}{\mathbb N}
\newcommand{\X}{\mathbb X}
\newcommand{\E}{\mathbb E}
%\def \E { {\bbold E} }
\newcommand{\1}{{\bf 1}}
\newcommand{\Orthant}{\mathbb O}
\newcommand{\PP}{{({\text{P}})}}
\newcommand{\LP}{{({\text{LP}})}}
\newcommand{\IP}{{({\text{IP}})}}
\newcommand{\AIP}{{({\text{AIP}})}}
\newcommand{\MOD}{{({\text{MOD}})}}
\newcommand{\CPP}{{({\text{CIP}})}}
\newcommand{\GLP}{{{\cal G}_{\text{LP}}}}
\newcommand{\GIP}{{{\cal G}_{\text{IP}}}}
\newcommand{\GCPP}{{{\cal H}_{\text{CIP}}}}
\newcommand{\hilbert}{{\cal H}}
\newcommand{\ind}{\mbox{ind}}
\newcommand{\co}{\mbox{cone}}
\newcommand{\SA}{{{\cal S}_\Lattice}}
\newcommand{\symGIP}{{\cal G}^{\text{sym}}}
\newcommand{\diag}{\mbox{diag}}
\newcommand{\sigmabar}{{\bar{\sigma}}}
\newcommand{\taubar}{{\bar{\tau}}}
\newcommand{\Lattice}{\mathcal{L}}
\newcommand{\Feasible}{\mathcal{F}}
\newcommand{\ExtFeasible}{\mathcal{E}}
\newcommand{\Graph}{\mathcal{G}}
\newcommand{\st}{\mathrm{s.t.}}

\newcommand{\Kw}[1]{\underline{#1}}
\newcommand{\keyw}[1]{{\bf #1}}
\newcommand{\FourTiTwo}{{\tt 4ti2}}
\newcommand{\important}{\textbf}

\newcommand{\File}[1]{{\tt #1}}

%-- Create a verbatim environment which indents itself.
\newenvironment{myverbatim}%
  {\quote\verbatim}%
  {\endverbatim\endquote}

\DeclareMathOperator{\supp}{supp} \DeclareMathOperator{\conv}{conv}
\DeclareMathOperator{\cost}{cost} \DeclareMathOperator{\cone}{cone}
\DeclareMathOperator{\linspan}{span}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\monoid}{monoid}

\begin{document}

\thispagestyle{empty}

\title{User's Guide for \FourTiTwo{} version 1.6}

\author{A software package\\ for algebraic,
geometric and combinatorial problems on linear spaces}
\date{September 2, 2013}
%\date{\today}

\maketitle

\newpage
\thispagestyle{empty}

%\frontmatter

\tableofcontents

%\mainmatter

\input{4ti2_manual_beginner}
\input{4ti2_manual_advanced}

\chapter{README: Instructions on configuring and building 4ti2}

{\small
\verbatiminput{../README}
}

\chapter{NEWS: Changes to 4ti2 since version 1.2}

{\small
\verbatiminput{../NEWS}
}

\clearpage
\addcontentsline{toc}{chapter}{The 4ti2 team}
\chapter*{AUTHORS: The 4ti2 team}

\verbatiminput{../AUTHORS}

\clearpage
\addcontentsline{toc}{chapter}{Bibliography}
\bibliographystyle{plain}
\bibliography{4ti2_manual}

\clearpage
\input{deloera-hemmecke-koeppe-book.tex}

\end{document}
