i6 : X = projectiveSpace'(3,S,VariableName => H)
warning: clearing value of symbol H to allow access to subscripted variables based on it
: debug with expression debug 204 or with command line option --debug 204
o6 = X
o6 : a flag bundle with subquotient ranks {3, 1}
|
i7 : intersectionRing X
QQ[p, q, a , b1, b2][H , H , H , H]
1 1,1 1,2 1,3
o7 = ----------------------------------------------------
(- H - H, - H - H H, - H - H H, -H H)
1,1 1,2 1,1 1,3 1,2 1,3
o7 : QuotientRing
|
i9 : x = chern f_* (f^* OO_S(p*a_1) * OO_X(q*H))
1 3 2 11 1 2 6 2 1 2 5 2
o9 = 1 + (-p*q a + p*q a + --p*q*a + p*a ) + (--p q a + -p q a +
6 1 1 6 1 1 72 1 6 1
------------------------------------------------------------------------
29 2 4 2 23 2 3 2 157 2 2 2 11 2 2
--p q a + --p q a + ---p q a + --p q*a )
36 1 12 1 72 1 12 1
o9 : QQ[p, q, a , b1, b2]
1
|
i10 : y = chern f_* OO_X((f^*(p*a_1))+q*H)
1 3 2 11 1 2 6 2 1 2 5 2
o10 = 1 + (-p*q a + p*q a + --p*q*a + p*a ) + (--p q a + -p q a +
6 1 1 6 1 1 72 1 6 1
-----------------------------------------------------------------------
29 2 4 2 23 2 3 2 157 2 2 2 11 2 2
--p q a + --p q a + ---p q a + --p q*a )
36 1 12 1 72 1 12 1
o10 : QQ[p, q, a , b1, b2]
1
|