\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}The Gr\"obner Basis package}{1}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *grobner$-$debug*}}{1}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *buchberger$-$merge$-$pairs*}}{1}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *gebauer$-$moeller$-$merge$-$pairs*}}{1}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *grobner$-$function*}}{1}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  select$-$grobner$-$algorithm}}{2}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner}}{2}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  debug$-$cgb}}{2}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  spoly}}{2}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$primitive$-$part}}{2}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$content}}{2}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  normal$-$form}}{2}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$op}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$sort$-$pairs}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  mock$-$spoly}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$merge$-$pairs$-$use$-$mock$-$spoly}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$merge$-$pairs$-$smallest$-$lcm}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$merge$-$pairs$-$use$-$smallest$-$degree}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$merge$-$pairs$-$use$-$smallest$-$length}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}}{3}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$set$-$pair$-$heuristic}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  criterion$-$1}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  criterion$-$2}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  normalize$-$poly}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  normalize$-$basis}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  reduction}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  reduced$-$grobner}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$depends$-$p}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$depends$-$p}}{4}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$depends$-$p}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ring$-$intersection}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  elimination$-$ideal}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$intersection}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$contract}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$lcm}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$gcd}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$equal}}{5}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$subsetp}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$member}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$equal}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$subsetp}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$member}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$saturation$-$1}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  add$-$variables}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  extend$-$polynomials}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  saturation$-$extension}}{6}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  polysaturation$-$extension}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  saturation$-$extension$-$1}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$polysaturation$-$1}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$saturation}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ideal$-$polysaturation}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$criterion}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$test}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  minimization}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  add$-$minimized}}{7}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colon$-$ideal}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colon$-$ideal$-$1}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  pseudo$-$divide}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  update}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$merge$-$pairs$-$use$-$mock$-$spoly}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$merge$-$pairs$-$smallest$-$lcm}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$degree}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$length}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}}{8}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$set$-$pair$-$heuristic}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  spoly$-$sugar}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  spoly$-$with$-$sugar}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  normal$-$form$-$with$-$sugar}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$with$-$sugar}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$with$-$sugar$-$merge$-$pairs}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  buchberger$-$with$-$sugar$-$sort$-$pairs}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  criterion$-$1$-$with$-$sugar}}{9}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  criterion$-$2$-$with$-$sugar}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$with$-$sugar}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  update$-$with$-$sugar}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  gebauer$-$moeller$-$with$-$sugar$-$merge$-$pairs}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$primitive$-$part$-$with$-$sugar}}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {2}The String Interface to the Gr\"obner Basis package}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$normal$-$form}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$grobner}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$elimination$-$ideal}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$ideal$-$intersection}}{10}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$poly$-$lcm}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$ideal$-$saturation$-$1}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$ideal$-$polysaturation$-$1}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$ideal$-$saturation}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$ideal$-$polysaturation}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$colon$-$ideal}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$read$-$poly}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$rational$-$to$-$integer}}{11}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  read$-$vars}}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {3}The Comprehensive Gr\"obner basis package}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *colored$-$poly$-$debug*}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  debug$-$cgb}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  make$-$colored$-$poly}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  make$-$colored$-$poly$-$list}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  color$-$poly$-$list}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  color$-$poly}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$poly$-$to$-$poly}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$poly$-$print}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$poly$-$print$-$list}}{12}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  determine}}{13}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  determine$-$1}}{13}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  determine$-$white$-$term}}{13}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$system$-$print}}{13}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$print}}{13}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  add$-$pairs}}{13}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$part}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$hm}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  delete$-$green$-$polys}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grobner$-$system}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  reorder$-$pairs}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$criterion$-$1}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$criterion$-$2}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$normal$-$form}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$spoly}}{14}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$lm}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$lc}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$term$-$times$-$poly}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$scalar$-$times$-$poly}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$term*}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  color*}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  color+}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  color$-$}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$poly+}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$poly$-$}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$term$-$uminus}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$minus$-$poly}}{15}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$grobner$-$system}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$cond}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$cover}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  saturate$-$cover}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  saturate$-$cond}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  string$-$determine}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  tidy$-$grobner$-$system}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  tidy$-$pair}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  tidy$-$cond}}{16}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  colored$-$reduction}}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  green$-$reduce$-$colored$-$poly}}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  green$-$reduce$-$colored$-$list}}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  cond$-$system$-$green$-$reduce}}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  parse$-$to$-$colored$-$poly$-$list}}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  red$-$reduction}}{17}}
\@writefile{toc}{\contentsline {section}{\numberline {4}The Coefficient Ring package}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ring}}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *ring$-$of$-$integers*}}{17}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *field$-$of$-$rationals*}}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  field$-$modulo$-$prime}}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *coefficient$-$ring*}}{18}}
\@writefile{toc}{\contentsline {section}{\numberline {5}The Division Package}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  divide}}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$exact$-$divide}}{18}}
\@writefile{toc}{\contentsline {section}{\numberline {6}The Dynamical Systems package}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$scalar$-$composition}}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$composition}}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$dynamic$-$power}}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$scalar$-$evaluate}}{18}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$evaluate}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  factorial}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$scalar$-$diff}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$diff}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  standard$-$vector}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$partial}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  partial}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  determinant}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  minor}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  drop$-$row}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  drop$-$column}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  drop$-$elt}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  matrix$-$}}{19}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$times$-$matrix}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$times$-$matrix}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$times$-$matrix}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$list$-$}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$times$-$poly$-$list}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$times$-$poly$-$list}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$times$-$poly$-$list}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  characteristic$-$combination}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  characteristic$-$combination$-$poly$-$list}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  characteristic$-$matrix}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  characteristic$-$polynomial}}{20}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  identity$-$matrix}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  print$-$matrix}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  jacobi$-$matrix}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  jacobian}}{21}}
\@writefile{toc}{\contentsline {section}{\numberline {7}The Geometric Theorem Prover package}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  *prover$-$order*}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  csym}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  real$-$identical$-$points}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  identical$-$points}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  perpendicular}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  parallel}}{21}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  collinear}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  equidistant}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  euclidean$-$distance}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  midpoint}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  translate$-$statements}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  translate$-$assumptions}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  translate$-$conclusions}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  translate$-$theorem}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  prove$-$theorem}}{22}}
\@writefile{toc}{\contentsline {section}{\numberline {8}The Monomial Order Package}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lex$>$}}{22}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  total$-$degree}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grlex$>$}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  grevlex$>$}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  revlex$>$}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  invlex$>$}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  elimination$-$order}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  elimination$-$order$-$1}}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {9}The Polynomial Package}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$times$-$poly}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$times$-$poly}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$times$-$poly}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  minus$-$poly}}{23}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  sort$-$poly}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly+}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly*}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$op}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$expt}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$mexpt}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$constant$-$p}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$extend}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$extend$-$end}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$zerop}}{24}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lt}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lm}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lc}}{25}}
\@writefile{toc}{\contentsline {section}{\numberline {10}The Parser Package}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  parse}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  alist$-$form}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  alist$-$form$-$1}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  powers}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  parse$-$to$-$alist}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  parse$-$string$-$to$-$alist}}{25}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  parse$-$to$-$sorted$-$alist}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  parse$-$string$-$to$-$sorted$-$alist}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  sort$-$poly$-$1}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  sort$-$poly}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$eval$-$1}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$eval}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$basis}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  convert$-$number}}{26}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  \$poly+}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  \$poly$-$}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  \$minus$-$poly}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  \$poly*}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  \$poly/}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  \$poly$-$expt}}{27}}
\@writefile{toc}{\contentsline {section}{\numberline {11}Other packages}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  makelist$-$1}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  makelist}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  sum}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  list$-$of}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  list$-$of$-$1}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  union$-$of}}{27}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  union$-$of$-$1}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  set$-$of}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  set$-$of$-$1}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  select}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom/}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom*}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  nmonom*}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$divides$-$p}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$divisible$-$by$-$p}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$rel$-$prime}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$equal}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$lcm}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$gcd}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$gcd}}{28}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$pseudo$-$divide}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$pseudo$-$remainder}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  mdeg}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lcoeff}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lrest}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lpart}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$primitive$-$part}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$content}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$poly}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$sugar}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$tail}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  (setf poly$-$with$-$sugar$-$poly)}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  (setf poly$-$with$-$sugar$-$sugar)}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  (setf poly$-$with$-$sugar$-$tail)}}{29}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  coefficient$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$add$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$times$-$poly$-$with$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$times$-$poly$-$with$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$times$-$poly$-$with$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  minus$-$poly$-$with$-$sugar}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar+}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$op}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$nreverse}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$append}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$zerop}}{30}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$lm}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$lc}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$with$-$sugar$-$lt}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$print}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$print$-$1}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$print$-$2}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  print$-$term}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  print$-$monom}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  num}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  denom}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$simplify$-$2}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$simplify}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat+}}{31}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat*}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat/}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$times$-$rat}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$div$-$rat}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$zerop}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$uminus}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$expt}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$constant}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$to$-$poly}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly+}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$uminus}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly*}}{32}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  scalar$-$times$-$ratpoly}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  rat$-$times$-$ratpoly}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$divide}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$remainder}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$gcd}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$diff}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$square$-$free}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$normalize}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$resultant}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  deg}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  lead}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$discriminant}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$print}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$to$-$ratpoly}}{33}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$to$-$poly1}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly1$-$to$-$ratpoly}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$to$-$poly1}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly1$-$to$-$poly}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  ratpoly$-$to$-$poly}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  poly$-$resultant}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term*}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term/}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  monom$-$times$-$term}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$divides$-$p}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$monom}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  term$-$coefficient}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  (setf term$-$monom)}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  (setf term$-$coefficient)}}{34}}
\@writefile{toc}{\contentsline {paragraph}{{\sf  xgcd}}{35}}
\@writefile{toc}{\contentsline {section}{\numberline {A}All examples produced by the {\tt  all-examples} utility}{35}}