i1 : X = point
o1 = point
o1 : an abstract variety of dimension 0
|
i2 : RX = intersectionRing X
o2 = RX
o2 : PolynomialRing
|
i3 : Y = projectiveSpace 3
o3 = Y
o3 : a flag bundle with ranks {1, 3}
|
i4 : RY = intersectionRing Y
o4 = RY
o4 : QuotientRing
|
i5 : fUpper = map(RX, RY, splice{4:0_RX})
o5 = map(RX,RY,{0, 0, 0, 0})
o5 : RingMap RX <--- RY
|
i6 : fLower = method()
o6 = fLower
o6 : MethodFunction
|
i7 : fLower RX := a -> promote(a,RY) * ctop last bundles Y;
|
i8 : incl = abstractVarietyMap(Y,X,fUpper,fLower)
o8 = incl
o8 : a map to Y from point
|
i9 : integral incl_* 1_RX
o9 = 1
|