|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.5.17.18 symmetricPowerSheaf
Procedure from libraryschubert.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
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 |