\begin{lisp:documentation}{monom/}{FUNCTION}{m1 m2 }
Divide monomial M1 by monomial M2.
\end{lisp:documentation}

\begin{lisp:documentation}{monom*}{FUNCTION}{m1 m2 }
Multiply monomial M1 by monomial M2.
\end{lisp:documentation}

\begin{lisp:documentation}{nmonom*}{FUNCTION}{m1 m2 }
Multiply monomials M1 and M2 $-$ destructive version.
 M1 is destructively modified, M2 is not modified.
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$divides$-$p}{FUNCTION}{m1 m2 }
Returns T if monomial M1 divides monomial M2, NIL otherwise.
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$divisible$-$by$-$p}{FUNCTION}{m1 m2 }
Returns T if monomial M1 is divisible by monomial M2, NIL otherwise.
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$rel$-$prime}{FUNCTION}{m1 m2 }
Returns T if two monomials M1 and M2 are relatively prime (disjoint).
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$equal}{FUNCTION}{m1 m2 }
Returns T if two monomials M1 and M2 are equal.
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$lcm}{FUNCTION}{m1 m2 }
Returns least common multiple of monomials M1 and M2.
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$gcd}{FUNCTION}{m1 m2 }
Returns greatest common divisor of monomials M1 and M2.
\end{lisp:documentation}