This function implements the basic formula of [KM] Corollary 4.4 for intersecting an Sn-symmetric F curve with an Sn symmetric divisor on M0,n.
i1 : D=symmetricDivisorM0nbar(6,2*B_2+B_3)
o1 = SymmetricDivisorM0nbar{2 => 2 }
3 => 1
NumberOfPoints => 6
o1 : SymmetricDivisorM0nbar
|
i2 : symmetricCurveDotDivisorM0nbar({3,1,1,1},D)
o2 = 5
|
i3 : E=symmetricDivisorM0nbar(6,B_2+3*B_3)
o3 = SymmetricDivisorM0nbar{2 => 1 }
3 => 3
NumberOfPoints => 6
o3 : SymmetricDivisorM0nbar
|
i4 : symmetricCurveDotDivisorM0nbar({3,1,1,1},E)
o4 = 0
|