increment

Next: incrementReplace Up: DenseHomogeneousExteriorProduct Previous: appears? Contents Index

increment

$\begin{usage} increment~p\\ increment(p, i) \end{usage}$

$\begin{signatures} increment: & \% $\to$\ \htmlref{\texttt{Partial}}{Partial} ... ...ineInteger}) $\to$\ \htmlref{\texttt{Partial}}{Partial} \%\\\end{signatures}$

$\begin{params} {\em p} & \% & An exterior product\\ {\em i} & \htmlref{\texttt{MachineInteger}}{MachineInteger} & A position\\\end{params}$

$\begin{descr} increment$(X_{e_1} \wedge \dots \wedge X_{e_n})$\ returns $(X_{e_... ..._{i+1}$\ or $i = n$\ and $e_n < m$, {\it failed}\xspace ~otherwise. \end{descr}$

Manuel Bronstein 2000-12-13