i1 : X = abstractProjectiveSpace' 2 o1 = X o1 : a flag bundle with subquotient ranks {2, 1} |
i2 : Y = abstractProjectiveSpace'_2 X o2 = Y o2 : a flag bundle with subquotient ranks {2, 1} |
i3 : cotangentBundle Y o3 = a sheaf o3 : an abstract sheaf of rank 4 on Y |
i4 : chern oo 2 2 2 2 2 2 o4 = 1 + (- 3h - 3h) + (3h + 9h*h + 3h ) + (- 9h*h - 9h h) + 9h h QQ[][H ..H , h] 1,1 1,2 ------------------------------------[H ..H , h] (- H - h, - H - H h, -H h) 1,1 1,2 1,1 1,2 1,1 1,2 o4 : --------------------------------------------------- (- H - h, - H - H h, -H h) 1,1 1,2 1,1 1,2 |
i5 : cotangentBundle Y.StructureMap o5 = a sheaf o5 : an abstract sheaf of rank 2 on Y |
i6 : chern oo 2 o6 = 1 - 3h + 3h QQ[][H ..H , h] 1,1 1,2 ------------------------------------[H ..H , h] (- H - h, - H - H h, -H h) 1,1 1,2 1,1 1,2 1,1 1,2 o6 : --------------------------------------------------- (- H - h, - H - H h, -H h) 1,1 1,2 1,1 1,2 |
The object cotangentBundle is a method function.