eval

Next: incdec Up: DenseHomogeneousPowerProduct Previous: degree Contents Index

eval

$\begin{usage} eval(S, $[a_1,\dots,a_m]$)(p) \end{usage}$

Signature

eval: (S:Ring, Array S) $\to$ % $\to$ S

$\begin{params} {\em S} & \htmlref{\texttt{Ring}}{Ring} & A ring\\ {\em$a_i$} & S & A value for $X_i$\\ {\em p} & \% & A power product\\\end{params}$

$\begin{retval} Returns $\prod_{i=1}^m a_i^{e_i}$\ where $p = \prod_{i=1}^m X_i^{e_i}$. \end{retval}$

Manuel Bronstein 2000-12-13