\begin{lisp:documentation}{poly$-$with$-$sugar$-$poly}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-POLY
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$sugar}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$tail}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-TAIL
\end{lisp:documentation}

\begin{lisp:documentation}{(setf poly$-$with$-$sugar$-$poly)}{SETF MAPPING}{poly }
{\ } % NO DOCUMENTATION FOR (SETF POLY-WITH-SUGAR-POLY)
\end{lisp:documentation}

\begin{lisp:documentation}{(setf poly$-$with$-$sugar$-$sugar)}{SETF MAPPING}{sugar }
{\ } % NO DOCUMENTATION FOR (SETF POLY-WITH-SUGAR-SUGAR)
\end{lisp:documentation}

\begin{lisp:documentation}{(setf poly$-$with$-$sugar$-$tail)}{SETF MAPPING}{tail }
{\ } % NO DOCUMENTATION FOR (SETF POLY-WITH-SUGAR-TAIL)
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$sugar}{FUNCTION}{m }
{\ } % NO DOCUMENTATION FOR MONOM-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{coefficient$-$sugar}{FUNCTION}{c ring }
{\ } % NO DOCUMENTATION FOR COEFFICIENT-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{term$-$sugar}{FUNCTION}{term ring }
{\ } % NO DOCUMENTATION FOR TERM-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$add$-$sugar}{FUNCTION}{poly ring }
{\ } % NO DOCUMENTATION FOR POLY-ADD-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{scalar$-$times$-$poly$-$with$-$sugar}{FUNCTION}{c p ring }
{\ } % NO DOCUMENTATION FOR SCALAR-TIMES-POLY-WITH-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{term$-$times$-$poly$-$with$-$sugar}{FUNCTION}{term f ring }
{\ } % NO DOCUMENTATION FOR TERM-TIMES-POLY-WITH-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{monom$-$times$-$poly$-$with$-$sugar}{FUNCTION}{m f }
{\ } % NO DOCUMENTATION FOR MONOM-TIMES-POLY-WITH-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{minus$-$poly$-$with$-$sugar}{FUNCTION}{f ring }
{\ } % NO DOCUMENTATION FOR MINUS-POLY-WITH-SUGAR
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar+}{FUNCTION}{p q pred ring }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR+
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$}{FUNCTION}{p q pred ring }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$op}{FUNCTION}{f term g pred ring }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-OP
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$nreverse}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-NREVERSE
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$append}{FUNCTION}{p q }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-APPEND
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$zerop}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-ZEROP
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$lm}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-LM
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$lc}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-LC
\end{lisp:documentation}

\begin{lisp:documentation}{poly$-$with$-$sugar$-$lt}{FUNCTION}{p }
{\ } % NO DOCUMENTATION FOR POLY-WITH-SUGAR-LT
\end{lisp:documentation}

