add!

Next: apply Up: FiniteFreeModule Previous: FiniteFreeModule Contents Index

add!

$\begin{usage} add!(p, c, t) \end{usage}$

Signature

add!: (%, R, V) $\to$ %

$\begin{params} {\em p} & \% & An element of the free module (to be destroyed)\\ {\em c} & R & A scalar\\ {\em t} & V & A basis element\\\end{params}$

$\begin{retval} Returns the sum $p + c t$. \end{retval}$

$\begin{remarks} The storage used by p is allowed to be destroyed or reused, so ... ...d, and is thus guaranteed not to share space with other elements. \end{remarks}$

Manuel Bronstein 2000-12-13