next up previous contents index
Next: lift Up: FiniteFreeModule Previous: apply   Contents   Index


coefficient


\begin{usage}
coefficient(p, t)\\ coefficient(p, i)
\end{usage}

\begin{signatures}
coefficient: & (\%, V) $\to$\ R\\
coefficient: & (\%, \htmlref{\texttt{MachineInteger}}{MachineInteger}) $\to$\ R\\\end{signatures}

\begin{params}
{\em p} & \% & An element of the free module\\
{\em t} & V & A...
...achineInteger}}{MachineInteger} & The index of a basis element\\\end{params}

\begin{retval}
coefficient(p, t) returns the coefficient of $p$\ in $t$, while
...
...ent in the built-in enumeration of V given by the lookup function.
\end{retval}

\begin{remarks}
coefficient(p, i) can be used to iterate over
all the possible variables in a consistent fashion. The first index is $1$.
\end{remarks}


Manuel Bronstein 2000-12-13