\begin{lisp:documentation}{modular$-$trace}{FUNCTION}{plist modulus }
Return PLIST with coefficients reduced modulo prime MODULUS.
\end{lisp:documentation}

\begin{lisp:documentation}{modular$-$trace$-$1}{FUNCTION}{p modulus }
Return a polynomial P with coefficients reduced modulo prime MODULUS.
\end{lisp:documentation}

\begin{lisp:documentation}{frobenius$-$kernel}{FUNCTION}{n modulus }
Return a list of N polynomials of the form XI**MODULUS$-$XI, where
XI is the I$-$th variable. Work in internal alist representation.
\end{lisp:documentation}