Procedure from library schubert.lib (see schubert_lib).
Usage:
symmetricPowerSheaf(S,n); S sheaf, n int
Return:
sheaf
Theory:
This is the n-th symmetric power of a sheaf
Example:
LIB "schubert.lib";
variety G = Grassmannian(2,4);
def R = G.baseRing;
setring R;
sheaf S = makeSheaf(G,quotientBundle);
sheaf B = symmetricPowerSheaf(S,3);
B;
==> A sheaf of rank 4
==>
sheaf A = S^3;
A;
==> A sheaf of rank 4
==>
A.ChernCharacter == B.ChernCharacter;
==> 1