\begin{lisp:documentation}{ratpoly+}{FUNCTION}{p q }
Add polynomials P and Q.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$}{FUNCTION}{p q }
{\ } % NO DOCUMENTATION FOR RATPOLY-
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$uminus}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR RATPOLY-UMINUS
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly*}{FUNCTION}{p q }
Multiply polynomials P and Q.
\end{lisp:documentation}

\begin{lisp:documentation}{scalar$-$times$-$ratpoly}{FUNCTION}{scalar p }
Multiply scalar SCALAR by a polynomial P.
\end{lisp:documentation}

\begin{lisp:documentation}{rat$-$times$-$ratpoly}{FUNCTION}{scalar p }
Multiply rational function SCALAR by a polynomial P.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$divide}{FUNCTION}{f g }
Divide polynomial F by G. Return quotient and remainder as multiple
values. 
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$remainder}{FUNCTION}{f g }
The remainder of the division of a polynomial F by G.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$gcd}{FUNCTION}{f g }
Return GCD of polynomials F and G.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$diff}{FUNCTION}{f }
Differentiate a polynomial.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$square$-$free}{FUNCTION}{f }
Return the square$-$free part of a polynomial F.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$normalize}{FUNCTION}{f }
Divide a non$-$zero polynomial by the coefficient at the highest
power. 
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$resultant}{FUNCTION}{f g }
Return the resultant of polynomials F and G.
\end{lisp:documentation}

\begin{lisp:documentation}{deg}{FUNCTION}{s }
{\ } % NO DOCUMENTATION FOR DEG
\end{lisp:documentation}

\begin{lisp:documentation}{lead}{FUNCTION}{s }
{\ } % NO DOCUMENTATION FOR LEAD
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$discriminant}{FUNCTION}{p {\sf \&aux} (l (deg p)) }
The discriminant of a polynomial P.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$print}{FUNCTION}{p vars {\sf \&optional} (stream t) (beg t) (p$-$orig p) }
{\ } % NO DOCUMENTATION FOR RATPOLY-PRINT
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$to$-$ratpoly}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-TO-RATPOLY
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$to$-$poly1}{FUNCTION}{p {\sf \&aux} (htab (make$-$hash$-$table)) q }
{\ } % NO DOCUMENTATION FOR POLY-TO-POLY1
\end{lisp:documentation}

\begin{lisp:documentation}{poly1$-$to$-$ratpoly}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY1-TO-RATPOLY
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$to$-$poly1}{FUNCTION}{p }
Convert every coefficient of ratpoly to polynomial if possible
\end{lisp:documentation}

\begin{lisp:documentation}{poly1$-$to$-$poly}{FUNCTION}{p }
Convert a ratpoly, whose coeffs have been converted to poly,
into a poly structure, i.e. tack in powers of first variable.
\end{lisp:documentation}

\begin{lisp:documentation}{ratpoly$-$to$-$poly}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR RATPOLY-TO-POLY
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$resultant}{FUNCTION}{f g }
Calculate resultant of F and G given in poly i.e. alist
representation. 
\end{lisp:documentation}

