\begin{lisp:documentation}{term*}{FUNCTION}{term1 term2 {\sf \&optional} (ring *coefficient$-$ring*) }
{\ } % NO DOCUMENTATION FOR TERM*
\end{lisp:documentation}

\begin{lisp:documentation}{term/}{FUNCTION}{term1 term2 {\sf \&optional} (ring *coefficient$-$ring*) }
{\ } % NO DOCUMENTATION FOR TERM/
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$times$-$term}{FUNCTION}{m term }
{\ } % NO DOCUMENTATION FOR MONOM-TIMES-TERM
\end{lisp:documentation}

\begin{lisp:documentation}{term$-$divides$-$p}{FUNCTION}{term1 term2 }
{\ } % NO DOCUMENTATION FOR TERM-DIVIDES-P
\end{lisp:documentation}

\begin{lisp:documentation}{term$-$monom}{MACRO}{term }
{\ } % NO DOCUMENTATION FOR TERM-MONOM
\end{lisp:documentation}

\begin{lisp:documentation}{term$-$coefficient}{MACRO}{term }
{\ } % NO DOCUMENTATION FOR TERM-COEFFICIENT
\end{lisp:documentation}

\begin{lisp:documentation}{(setf term$-$monom)}{SETF MAPPING}{monom }
{\ } % NO DOCUMENTATION FOR (SETF TERM-MONOM)
\end{lisp:documentation}

\begin{lisp:documentation}{(setf term$-$coefficient)}{SETF MAPPING}{coefficient }
{\ } % NO DOCUMENTATION FOR (SETF TERM-COEFFICIENT)
\end{lisp:documentation}

