|  |  D.15.33.16 dualSheaf Procedure from libraryschubert.lib(see  schubert_lib).
 
Example:Usage:
dualSheaf(S); S sheaf
Return:
sheaf
Theory:
This is the dual of a sheaf
 See also:
 addSheaf;
 quotSheaf;
 symmetricPowerSheaf;
 tensorSheaf.|  | LIB "schubert.lib";
variety G = Grassmannian(2,4);
def R = G.baseRing;
setring R;
sheaf S = makeSheaf(G,subBundle);
sheaf D = dualSheaf(S);
D;
==> A sheaf of rank  2
==> 
 | 
 
 |