exteriorPower

Next: FractionFreeCyclicVector Up: ExteriorPower Previous: ExteriorPower Contents Index

exteriorPower

$\begin{usage} exteriorPower($[a_0,\dots,a_{m-1}]$, $\sigma$) \end{usage}$

Signature

exteriorPower: (PrimitiveArray R, R $\to$ R) $\to$ Vector R

$\begin{params} $a_i$\ & R & The coefficients of a monic difference operator\\ $\sigma$\ & R $\to$\ R & The shift morphism on R\\\end{params}$

$\begin{retval} Returns $[v_1,\dots,v_N]$\ such that the ${n}^{{\rm th}}$\ exter... ...^d - \sum_{i=0}^{d-1} a_i E^i$\ is $\sum_{j=0}^{N-1} v_{j+1} E^j$. \end{retval}$

Manuel Bronstein 2000-12-13