Usage
exteriorPower(L, m)
Parameter | Type | Description |
---|---|---|
L |
![]() |
A difference operator |
m | ![]() |
A positive integer |
Returns
Returns a difference operatorof 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 thatis 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));