% from 20.3.1989 hk, version 0.03
% revised 5.11.1989 hk, version 0.30
% added language and list proc. jan 90
% added arithmetic part feb 90
% corrections by haible 25.9.90
% added definition modules and cross refs 6.11.90
% added ALDES and polynomial systems feb 91
% revised for version 0.60, 21.2.91 
% added non-comm + arbitrary domain 18.3.92 
% started adding packages 4.92
% index mit makeindex
% preparation for version 1.0, 11.95

\documentstyle[twoside]{report}

%\nofiles 
\makeindex

\pagestyle{headings}
\raggedbottom

\addtolength{\textwidth}{1.6cm}
\addtolength{\textheight}{2.0cm}
%\addtolength{\oddsidemargin}{-0.5cm}
\addtolength{\evensidemargin}{-2.1cm}

\addtolength{\parskip}{3pt}
\setlength{\parindent}{0cm}

\tolerance=1000 %default = 200

%special list formats
\newcommand{\deflabel}[1]{\mbox{ }\bf #1\hfill}
\newenvironment{deflist}[1]%
{\begin{list}{}{\settowidth{\labelwidth}{\mbox{  }\bf #1}%
\setlength{\leftmargin}{\labelwidth}%
\addtolength{\leftmargin}{\labelsep}%
\renewcommand{\makelabel}{\deflabel}%
}}%
{\end{list}}%

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newcommand{\proof}{\par{\bf Proof: }}
\def\endproof{\mbox{$\Box$}}

%fixed notations
\def\Z{\mbox{\bf Z}} % math objects
\def\N{\mbox{\bf N}}
\def\Q{\mbox{\bf Q}}
\def\K{\mbox{\bf K}}
\def\HT{\mbox{\rm HT}}
\def\I{{\cal I}} % computer objects
\def\R{{\cal R}}
\def\A{{\cal A}}
\def\L{{\cal L}}
\def\O{{\cal O}}
\def\B{{\cal B}}
\def\Po{{\cal P}}
\def\IP{{\cal IP}}
\def\DI{{\cal D}}
\def\DIR{{\cal DR}}
\def\tmi{t^{-}} %time and space
\def\tma{t^{+}}
\def\ta{t^{*}}
\def\cmi{c^{-}}
\def\cma{c^{+}}
\def\ca{c^{*}}


\begin{document}

% title and preface
\input mastut0.tex

\tableofcontents
\listoftables
%\listoffigures

% introductional tutorial
\input mastut1.tex

%language 
\input mastut2.tex
\input mastut21.tex

%list processing
\input mastut3.tex

%arithmetic 
\input mastut4.tex
\input mastut41.tex
\input mastut42.tex
\input mastut43.tex
\input mastut44.tex
\input mastut45.tex
%
\input mastut46.tex
\input mastut47.tex

%packages
\input mastut5.tex

%aldes, lisp, m2, etc.
\input mastut22.tex
\input mastut6.tex

%appendix, distribution + references
\input mastutr.tex

\addcontentsline{toc}{chapter}{Index}

\input mastut.ind

\end{document}
