\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Preliminaries}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}Starting a {\bf  bergman} session}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.2}Ending a {\bf  bergman} session}{10}}
\newlabel{exquit}{{1}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.3}What you need to know about Lisp syntax}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Simplest calculations in {\bf  bergman}}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.1}Selecting alternatives}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.2}Commutative algebras}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.3}Non-commutative algebras}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.4}Normal form and reduction}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.5}Starting a new calculation: the procedure {\bf  clearideal}}{20}}
\@setckpt{forbegin}{
\setcounter{page}{25}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{1}
\setcounter{section}{2}
\setcounter{subsection}{5}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{exm}{3}
}
