\begin{lisp:documentation}{num}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR NUM
\end{lisp:documentation}

\begin{lisp:documentation}{denom}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR DENOM
\end{lisp:documentation}

\begin{lisp:documentation}{rat$-$simplify$-$2}{FUNCTION}{num denom }
{\ } % NO DOCUMENTATION FOR RAT-SIMPLIFY-2
\end{lisp:documentation}

\begin{lisp:documentation}{rat$-$simplify}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR RAT-SIMPLIFY
\end{lisp:documentation}

\begin{lisp:documentation}{rat+}{FUNCTION}{p q }
{\ } % NO DOCUMENTATION FOR RAT+
\end{lisp:documentation}

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

\begin{lisp:documentation}{rat*}{FUNCTION}{p q }
{\ } % NO DOCUMENTATION FOR RAT*
\end{lisp:documentation}

\begin{lisp:documentation}{rat/}{FUNCTION}{p q }
{\ } % NO DOCUMENTATION FOR RAT/
\end{lisp:documentation}

\begin{lisp:documentation}{scalar$-$times$-$rat}{FUNCTION}{scalar p }
{\ } % NO DOCUMENTATION FOR SCALAR-TIMES-RAT
\end{lisp:documentation}

\begin{lisp:documentation}{scalar$-$div$-$rat}{FUNCTION}{scalar p }
{\ } % NO DOCUMENTATION FOR SCALAR-DIV-RAT
\end{lisp:documentation}

\begin{lisp:documentation}{rat$-$zerop}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR RAT-ZEROP
\end{lisp:documentation}

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

\begin{lisp:documentation}{rat$-$expt}{FUNCTION}{p n }
{\ } % NO DOCUMENTATION FOR RAT-EXPT
\end{lisp:documentation}

\begin{lisp:documentation}{rat$-$constant}{FUNCTION}{c n }
Make a constant rational function equal to c with n variables
\end{lisp:documentation}

\begin{lisp:documentation}{rat$-$to$-$poly}{FUNCTION}{p }
Attempt to convert a rational function to a polynomial by
dividing numerator by denominator. Error if not divisible
\end{lisp:documentation}

