|  |  D.15.33.19 quotSheaf Procedure from libraryschubert.lib(see  schubert_lib).
 
Example:Usage:
quotSheaf(A,B); A sheaf, B sheaf
Return:
sheaf
Theory:
This is the quotient of two sheaves
 See also:
 addSheaf;
 dualSheaf;
 symmetricPowerSheaf;
 tensorSheaf.|  | LIB "schubert.lib";
variety G = Grassmannian(3,5);
def r = G.baseRing;
setring r;
sheaf S = makeSheaf(G,subBundle);
sheaf B = dualSheaf(S)^2;
sheaf B3 = dualSheaf(S)^3;
sheaf B5 = dualSheaf(S)^5;
variety PB = projectiveBundle(B);
def R = PB.baseRing;
setring R;
sheaf Q = makeSheaf(PB,QuotientBundle);
sheaf V = dualSheaf(Q)*B3;
sheaf A = B5 - V;
A;
==> A sheaf of rank  11
==> 
 | 
 
 |