|L||A differential operator|
|n||A positive integer|
Returns a differential operator of minimal order whose kernel is generated by the all the products of elements of a basis of .
If you only want to compute the kernel of but not necessarily the symmetric power itself, then use symmetricKernel instead.
The kernel of the fourth symmetric power of
can be computed as follows:
1 --> L := x^2*D^2 + 3/16 - x; 2 --> L4 := symmetricPower(L, 4); 3 --> tex(L4);
4 --> K := kernel(L4); 5 --> tex(K);