\begin{lisp:documentation}{poly$-$print}{FUNCTION}{plist vars {\sf \&optional} (stream t) }
Prints a polynomial or  a list of polynomials PLIST using infix
syntax compatible with most software systems. The following data
representations are assumed: 1) Polynomial list is ([ poly1 poly2
...) 2) Polynomial is a list (term1 term2 ...)
3) Term is (monom . number)
4) Monom is (number1 number2 ...) and is a list of powers at
corresponding variables
Variable names must be provided to the printer explicitly.
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$print$-$1}{FUNCTION}{p vars {\sf \&optional} (stream t) }
An auxillary function of POLY$-$PRINT. It prints a single polynomial
P. 
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$print$-$2}{FUNCTION}{plist vars stream {\sf \&optional} (beg t) }
An auxillary function of POLY$-$PRINT. It prints a comma$-$separated
list of polynomials PLIST. 
\end{lisp:documentation}

\begin{lisp:documentation}{print$-$term}{FUNCTION}{l vars {\sf \&optional} (stream t) beg }
An auxillary function of POLY$-$PRINT. It prints a single term L.
\end{lisp:documentation}

\begin{lisp:documentation}{print$-$monom}{FUNCTION}{l vars {\sf \&optional} (stream t) beg }
An auxillary function of POLY$-$PRINT. It prints a single monomial L.
\end{lisp:documentation}