\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}