i1 : X = abstractVariety(3, QQ[c,d,Degrees=>{1,2}]) o1 = X o1 : an abstract variety of dimension 3 |
i2 : F = abstractSheaf(X, ChernCharacter => 3+c+d) o2 = F o2 : an abstract sheaf of rank 3 on X |
i3 : chern F 1 2 1 3 o3 = 1 + c + (-c - d) + (-c - c*d) 2 6 o3 : QQ[c..d] |
i4 : integral oo 1 3 o4 = integral(-c - c*d) 6 o4 : Expression of class Adjacent |