\relax 
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Introduction}{28}}
\newlabel{sec:intr}{{2.1}{28}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}{\bf  Bergman}: philosophy and approach}{28}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}{\bf  Bergman}: main restrictions}{28}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}The polynomial ring set up}{29}}
\newlabel{modes}{{2.4}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}Variable names and the flag {\bf  raise} }{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}Ordering}{31}}
\newlabel{ord}{{2.4.2}{31}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.3}Using eliminating ordering}{33}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.4}Matrix Ordering}{35}}
\newlabel{matrixordering}{{2.4.4}{35}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.5}Coefficients: background}{37}}
\newlabel{field}{{2.4.5}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.6}Coefficients: choices}{38}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.7}Weights handling}{40}}
\newlabel{weights}{{2.4.7}{40}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.8}Rings exchange}{42}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Homogenisation}{44}}
\newlabel{homog}{{2.5}{44}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Choosing a strategy}{46}}
\@writefile{toc}{\contentsline {section}{\numberline {2.7}Input--output modes for the polynomials}{47}}
\newlabel{inputform}{{2.7}{47}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7.1}Commutative case}{47}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7.2}Non--commutative case}{48}}
\@writefile{toc}{\contentsline {section}{\numberline {2.8}Calculating and using series}{49}}
\newlabel{add}{{2.8}{49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8.1}Hilbert series computation}{49}}
\newlabel{Hilbertseries}{{2.8.1}{49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8.2}Computation of Gr\"{o}bner basis using known\\ Hilbert series}{56}}
\newlabel{limHS}{{2.8.2}{56}}
\@writefile{toc}{\contentsline {section}{\numberline {2.9}The jumping  rabbit}{59}}
\newlabel{rabbit}{{2.9}{59}}
\@writefile{toc}{\contentsline {section}{\numberline {2.10}Stability and Non-graded Algebras}{61}}
\newlabel{stability}{{2.10}{61}}
\@writefile{toc}{\contentsline {section}{\numberline {2.11}Some bricks to build your own procedures}{63}}
\newlabel{bricks}{{2.11}{63}}
\@writefile{toc}{\contentsline {section}{\numberline {2.12}Modules over non-commutative algebras}{66}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.1}Gr\"{o}bner basis for modules over\\ non-commutative algebras}{68}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.2}Hilbert series for modules over\\ non-commutative algebras}{69}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.3}The Anick resolution and Betti numbers for the tri\discretionary {-}{}{}vi\discretionary {-}{}{}al module}{75}}
\citation{Anick-theory}
\citation{Ufn98}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.4}Writing own procedures}{79}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.5}The Anick resolution and Betti numbers for a right module}{82}}
\newlabel{onemodbetti}{{2.12.5}{82}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.6}The minimal resolution and Betti numbers for a right module}{87}}
\newlabel{minres}{{2.12.6}{87}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.7}The Anick resolution and Betti numbers for right, two-sided ideals, and factor-algebras, considered as right modules}{92}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.8}Working with the left modules}{98}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.9}Betti numbers for two modules}{104}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.12.10}Calculating Hochschild homology of an algebra}{109}}
\@writefile{toc}{\contentsline {section}{\numberline {2.13}Bergman under Reduce}{116}}
\newlabel{reduce}{{2.13}{116}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.13.1}Working in the Reduce syntax}{116}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.13.2}Parametric coefficients}{118}}
\@writefile{toc}{\contentsline {section}{\numberline {2.14}Debugging in {\bf  bergman}}{119}}
\newlabel{debugg}{{2.14}{119}}
\@writefile{toc}{\contentsline {section}{\numberline {2.15}Customising bergman}{127}}
\newlabel{cust}{{2.15}{127}}
\citation{CA-interfaces}
\citation{CA-Handbook}
\@writefile{toc}{\contentsline {section}{\numberline {2.16}Computations in bergman under shell}{131}}
\newlabel{sec:shell}{{2.16}{131}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.16.1}Problems of interface to {\bf  bergman}}{131}}
\newlabel{sec-interface-problems}{{2.16.1}{131}}
\newlabel{loc-interface-problems}{{2.16.1}{131}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.16.2}Shell overview}{133}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.16.3}Shell description}{134}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces {\bf  bergman} shell: sessions panel}}{136}}
\newlabel{fig-sessions-panel}{{2.1}{136}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces {\bf  bergman} shell: calculations menu, variables and relations input areas}}{137}}
\newlabel{fig-calculations-menu-plus}{{2.2}{137}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces {\bf  bergman} shell: coefficients menu}}{137}}
\newlabel{fig-coefficients-menu}{{2.3}{137}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.4}{\ignorespaces {\bf  bergman} shell: object menu}}{138}}
\newlabel{fig-object-menu}{{2.4}{138}}
\@setckpt{Comput}{
\setcounter{page}{139}
\setcounter{equation}{0}
\setcounter{enumi}{11}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{16}
\setcounter{subsection}{3}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{4}
\setcounter{table}{0}
\setcounter{parentequation}{0}
}
