\batchmode
\documentclass{article}
\makeatletter
\usepackage[dvips]{color}
\usepackage{fullpage}
\usepackage{man}

\newlength {\formnamelen}
 	
\newlength {\pboxargslen}
 	
\newlength {\typelen}
 		
		

\title{CGBLisp User Guide and Manual}
\author{Marek Rychlik}

\pagecolor {white}
 

\newcommand{\namestyle}{\sf}

\newcommand{\argsstyle}{\em}

\newenvironment{lisp:documentation}[3]{\paragraph{{\sf #1}}
\settowidth{\formnamelen}{\sf #1}
\settowidth{\typelen}{\em #2\/}
\setlength{\pboxargslen}{\linewidth}
\addtolength{\pboxargslen}{-1\formnamelen}
\addtolength{\pboxargslen}{-1.5\typelen}
\parbox[t]{\pboxargslen}{\em #3\/} \hfill[{\em #2\/}]
\begin{quote}}{\end{quote}}

\makeatother
\ifx\AtBeginDocument\undefined \newcommand{\AtBeginDocument}[1]{}\fi
\newenvironment{tex2html_wrap}{}{}
\newbox\sizebox
\setlength{\hoffset}{0pt}\setlength{\voffset}{0pt}
\addtolength{\textheight}{\footskip}\setlength{\footskip}{0pt}
\addtolength{\textheight}{\topmargin}\setlength{\topmargin}{0pt}
\addtolength{\textheight}{\headheight}\setlength{\headheight}{0pt}
\addtolength{\textheight}{\headsep}\setlength{\headsep}{0pt}
\setlength{\textwidth}{451pt}
\newwrite\lthtmlwrite
\makeatletter
\let\realnormalsize=\normalsize
\topskip=0pt
\def\preveqno{}\let\real@float=\@float \let\realend@float=\end@float
\def\@float{\let\@savefreelist\@freelist\real@float}
\def\end@float{\realend@float\global\let\@freelist\@savefreelist}
\let\real@dbflt=\@dbflt \let\end@dblfloat=\end@float
\let\@largefloatcheck=\relax
\def\@dbflt{\let\@savefreelist\@freelist\real@dbflt}
\def\adjustnormalsize{\def\normalsize{\mathsurround=0pt \realnormalsize\parindent=0pt\abovedisplayskip=0pt\belowdisplayskip=0pt}\normalsize}
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newcommand\lthtmlhboxmathA{\adjustnormalsize\setbox\sizebox=\hbox\bgroup}%
\newcommand\lthtmlvboxmathA{\adjustnormalsize\setbox\sizebox=\vbox\bgroup%
 \let\ifinner=\iffalse }%
\newcommand\lthtmlboxmathZ{\@next\next\@currlist{}{\def\next{\voidb@x}}%
 \expandafter\box\next\egroup}%
\newcommand\lthtmlmathtype[1]{\def\lthtmlmathenv{#1}}%
\newcommand\lthtmllogmath{\lthtmltypeout{l2hSize %
:\lthtmlmathenv:\the\ht\sizebox::\the\dp\sizebox::\the\wd\sizebox.\preveqno}}%
\newcommand\lthtmlfigureA[1]{\let\@savefreelist\@freelist
       \lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmlfigureZ{\lthtmlboxmathZ\lthtmllogmath\copy\sizebox
       \global\let\@freelist\@savefreelist}%
\newcommand\lthtmldisplayA[1]{\lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmldisplayB[1]{\edef\preveqno{(\theequation)}%
  \lthtmldisplayA{#1}\let\@eqnnum\relax}%
\newcommand\lthtmldisplayZ{\lthtmlboxmathZ\lthtmllogmath\lthtmlsetmath}%
\newcommand\lthtmlinlinemathA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA  \vrule height1.5ex width0pt }%
\newcommand\lthtmlinlinemathZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetmath}
\def\lthtmlsetmath{\hbox{\vrule width.5pt\vtop{\vbox{%
  \kern.5pt\kern1.25 pt\hbox{\hglue.5pt\copy\sizebox\hglue1.25 pt}\kern.5pt%
  \ifdim\dp\sizebox>0pt\kern1.25 pt\fi}%
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\centerinlinemath{\dimen1=\ht\sizebox
  \ifdim\dimen1<\dp\sizebox \ht\sizebox=\dp\sizebox
  \else \dp\sizebox=\ht\sizebox \fi}

\def\lthtmlcheckvsize{\ifdim\ht\sizebox<\vsize\expandafter\vfill
  \else\expandafter\vss\fi}%
\makeatletter


\begin{document}
\pagestyle{empty}\thispagestyle{empty}%
\lthtmltypeout{latex2htmlLength hsize=\the\hsize}%
\lthtmltypeout{latex2htmlLength vsize=\the\vsize}%
\lthtmltypeout{latex2htmlLength hoffset=\the\hoffset}%
\lthtmltypeout{latex2htmlLength voffset=\the\voffset}%
\lthtmltypeout{latex2htmlLength topmargin=\the\topmargin}%
\lthtmltypeout{latex2htmlLength topskip=\the\topskip}%
\lthtmltypeout{latex2htmlLength headheight=\the\headheight}%
\lthtmltypeout{latex2htmlLength headsep=\the\headsep}%
\lthtmltypeout{latex2htmlLength parskip=\the\parskip}%
\lthtmltypeout{latex2htmlLength oddsidemargin=\the\oddsidemargin}%
\makeatletter
\if@twoside\lthtmltypeout{latex2htmlLength evensidemargin=\the\evensidemargin}%
\else\lthtmltypeout{latex2htmlLength evensidemargin=\the\oddsidemargin}\fi%
\makeatother
\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *grobner$-$debug*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *buchberger$-$merge$-$pairs*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *gebauer$-$moeller$-$merge$-$pairs*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *grobner$-$function*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf select$-$grobner$-$algorithm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf debug$-$cgb}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf spoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$primitive$-$part}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$content}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf normal$-$form}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline22131}%
$\textstyle\parbox{\pboxargslen}{\em f pred start top$-$reduction$-$only ring {\sf \&aux} (s (1$-$\space (length f))) b m \/}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$op}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$sort$-$pairs}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf mock$-$spoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$mock$-$spoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$smallest$-$lcm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$degree}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$length}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$set$-$pair$-$heuristic}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf criterion$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf criterion$-$2}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf normalize$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf normalize$-$basis}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf reduction}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf reduced$-$grobner}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$depends$-$p}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$depends$-$p}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$depends$-$p}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ring$-$intersection}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf elimination$-$ideal}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$intersection}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$contract}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$lcm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$gcd}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$equal}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$subsetp}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$member}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$equal}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$subsetp}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$member}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$saturation$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf add$-$variables}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf extend$-$polynomials}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf saturation$-$extension}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf polysaturation$-$extension}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf saturation$-$extension$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$polysaturation$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$saturation}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline22277}%
$\textstyle\parbox{\pboxargslen}{\em f g pred start top$-$reduction$-$only ring {\sf \&aux} (k (length g)) (pred (elimination$-$order k :primary$-$order \#'lex$>$\space :secondary$-$order pred)) \/}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ideal$-$polysaturation}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$criterion}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$test}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf minimization}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf add$-$minimized}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colon$-$ideal}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colon$-$ideal$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf pseudo$-$divide}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf update}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$mock$-$spoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$smallest$-$lcm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$degree}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$length}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$set$-$pair$-$heuristic}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf spoly$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf spoly$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf normal$-$form$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline22388}%
$\textstyle\parbox{\pboxargslen}{\em f$-$no$-$sugar pred start top$-$reduction$-$only ring {\sf \&aux} (s (1$-$\space (length f$-$no$-$sugar))) b m f \/}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$with$-$sugar$-$merge$-$pairs}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline22395}%
$\textstyle\parbox{\pboxargslen}{\em b c g m pred ring \/}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf buchberger$-$with$-$sugar$-$sort$-$pairs}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline22401}%
$\textstyle\parbox{\pboxargslen}{\em c g m pred ring \/}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf criterion$-$1$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf criterion$-$2$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf update$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$with$-$sugar$-$merge$-$pairs}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$primitive$-$part$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$normal$-$form}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$grobner}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$elimination$-$ideal}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$ideal$-$intersection}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$poly$-$lcm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$ideal$-$saturation$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$ideal$-$polysaturation$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$ideal$-$saturation}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$ideal$-$polysaturation}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$colon$-$ideal}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$read$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$rational$-$to$-$integer}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf read$-$vars}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *colored$-$poly$-$debug*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf debug$-$cgb}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf make$-$colored$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf make$-$colored$-$poly$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf color$-$poly$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf color$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$poly$-$to$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$poly$-$print}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$poly$-$print$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf determine}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf determine$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf determine$-$white$-$term}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$system$-$print}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$print}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf add$-$pairs}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$part}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$hm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf delete$-$green$-$polys}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grobner$-$system}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf reorder$-$pairs}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$criterion$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$criterion$-$2}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$normal$-$form}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$spoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$lm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$lc}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$term$-$times$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$scalar$-$times$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$term*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf color*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf color+}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf color$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$poly+}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$poly$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$term$-$uminus}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$minus$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$grobner$-$system}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$cond}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$cover}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf saturate$-$cover}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf saturate$-$cond}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf string$-$determine}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf tidy$-$grobner$-$system}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf tidy$-$pair}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf tidy$-$cond}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf colored$-$reduction}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf green$-$reduce$-$colored$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf green$-$reduce$-$colored$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf cond$-$system$-$green$-$reduce}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf parse$-$to$-$colored$-$poly$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf red$-$reduction}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ring}
%


\settowidth {\typelen}{\em STRUCTURE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *ring$-$of$-$integers*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *field$-$of$-$rationals*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf field$-$modulo$-$prime}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *coefficient$-$ring*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf divide}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$exact$-$divide}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$scalar$-$composition}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$composition}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$dynamic$-$power}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$scalar$-$evaluate}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$evaluate}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf factorial}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$scalar$-$diff}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$diff}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf standard$-$vector}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$partial}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf partial}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf determinant}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf minor}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf drop$-$row}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf drop$-$column}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf drop$-$elt}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf matrix$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$times$-$matrix}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$times$-$matrix}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$times$-$matrix}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$list$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$times$-$poly$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$times$-$poly$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$times$-$poly$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf characteristic$-$combination}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf characteristic$-$combination$-$poly$-$list}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf characteristic$-$matrix}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf characteristic$-$polynomial}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf identity$-$matrix}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf print$-$matrix}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf jacobi$-$matrix}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf jacobian}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf *prover$-$order*}
%


\settowidth {\typelen}{\em VARIABLE\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf csym}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf real$-$identical$-$points}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf identical$-$points}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf perpendicular}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf parallel}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf collinear}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf equidistant}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf euclidean$-$distance}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf midpoint}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf translate$-$statements}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf translate$-$assumptions}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf translate$-$conclusions}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf translate$-$theorem}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf prove$-$theorem}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lex$>$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline22868}%
$\textstyle\parbox{\pboxargslen}{\em p q {\sf \&optional} (start 0) (end (length p)) \/}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf total$-$degree}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

{\newpage\clearpage
\lthtmlinlinemathA{tex2html_wrap_inline22871}%
$\textstyle\parbox{\pboxargslen}{\em m {\sf \&optional} (start 0) (end (length m)) \/}$%
\lthtmlinlinemathZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grlex$>$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf grevlex$>$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf revlex$>$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf invlex$>$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf elimination$-$order}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf elimination$-$order$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$times$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$times$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$times$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf minus$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf sort$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly+}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$op}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$expt}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$mexpt}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$constant$-$p}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$extend}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$extend$-$end}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$zerop}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lt}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lc}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf parse}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf alist$-$form}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf alist$-$form$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf powers}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf parse$-$to$-$alist}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf parse$-$string$-$to$-$alist}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf parse$-$to$-$sorted$-$alist}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf parse$-$string$-$to$-$sorted$-$alist}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf sort$-$poly$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf sort$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$eval$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$eval}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$basis}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf convert$-$number}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf \$poly+}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf \$poly$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf \$minus$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf \$poly*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf \$poly/}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf \$poly$-$expt}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{section}
\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf makelist$-$1}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf makelist}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf sum}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf list$-$of}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf list$-$of$-$1}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf union$-$of}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf union$-$of$-$1}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf set$-$of}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf set$-$of$-$1}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf select}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom/}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf nmonom*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$divides$-$p}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$divisible$-$by$-$p}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$rel$-$prime}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$equal}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$lcm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$gcd}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$gcd}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$pseudo$-$divide}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$pseudo$-$remainder}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf mdeg}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lcoeff}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lrest}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lpart}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$primitive$-$part}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$content}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$tail}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf (setf poly$-$with$-$sugar$-$poly)}
%


\settowidth {\typelen}{\em SETF MAPPING\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf (setf poly$-$with$-$sugar$-$sugar)}
%


\settowidth {\typelen}{\em SETF MAPPING\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf (setf poly$-$with$-$sugar$-$tail)}
%


\settowidth {\typelen}{\em SETF MAPPING\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf coefficient$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$add$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$times$-$poly$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$times$-$poly$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$times$-$poly$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf minus$-$poly$-$with$-$sugar}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar+}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$op}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$nreverse}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$append}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$zerop}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$lm}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$lc}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$lt}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$print}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$print$-$1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$print$-$2}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf print$-$term}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf print$-$monom}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf num}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf denom}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$simplify$-$2}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$simplify}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat+}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat/}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$times$-$rat}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$div$-$rat}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$zerop}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$uminus}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$expt}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$constant}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$to$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly+}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$uminus}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf scalar$-$times$-$ratpoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf rat$-$times$-$ratpoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$divide}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$remainder}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$gcd}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$diff}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$square$-$free}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$normalize}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$resultant}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf deg}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf lead}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$discriminant}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$print}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$to$-$ratpoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$to$-$poly1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly1$-$to$-$ratpoly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$to$-$poly1}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly1$-$to$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf ratpoly$-$to$-$poly}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf poly$-$resultant}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term*}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term/}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf monom$-$times$-$term}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$divides$-$p}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$monom}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf term$-$coefficient}
%


\settowidth {\typelen}{\em MACRO\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf (setf term$-$monom)}
%


\settowidth {\typelen}{\em SETF MAPPING\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf (setf term$-$coefficient)}
%


\settowidth {\typelen}{\em SETF MAPPING\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\stepcounter{paragraph}

\settowidth {\formnamelen}{\sf xgcd}
%


\settowidth {\typelen}{\em FUNCTION\/}
%


\setlength {\pboxargslen}{\linewidth}
%


\addtolength {\pboxargslen}{-1\formnamelen}
%


\addtolength {\pboxargslen}{-1.5\typelen}
%

\appendix
\stepcounter{section}

\end{document}