Usage
exteriorPower(L, m)
Parameter | Type | Description |
---|---|---|
L | A difference operator | |
m | A positive integer |
Returns
Returns a difference operator of minimal order whose kernel is generated by the Casoratians of elements of a basis of .
Example
The second exterior power of
can be computed as follows:
1 --> L := E^4-E-n; 2 --> Le2 := exteriorPower(L,2); 3 --> tex(Le2);
To prove that is irreducible, it is sufficient to check that neither , its adjoint or its second exterior power has a hypergeometric solution over , and that the eigenring of is trivial:
4 --> tex(hyper(L));
5 --> tex(hyper(adjoint(L)));
6 --> tex(hyper(Le2));
7 --> tex(eigenring(L));