next up previous contents index
Next: revert Up: UnivariateFreeFiniteAlgebra Previous: random   Contents   Index


reductum


\begin{usage} reductum~p \end{usage}


Signature


\begin{params} {\em p} & \% & A polynomial\\ \end{params}

\begin{retval} Returns the reductum of $p$, {\it i.e.}~$\sum_{i=0}^{n-1} a_i P_... ...$p = \sum_{i=0}^n a_i P_i$\ and $a_n \ne 0$. Returns 0 if $p = 0$. \end{retval}

Manuel Bronstein 2000-12-13