This function implements the basic formula of [KM] Corollary 4.4 for intersecting an $S_n$-symmetric F curve with an $S_n$ symmetric divisor on $\bar{M}_{0,n}$.
i1 : D=symmetricDivisorM0nbar(6,2*B_2+B_3)
o1 = 2*B + B
2 3
o1 : S_6-symmetric divisor on M-0-6-bar
|
i2 : symmetricCurveDotDivisorM0nbar({3,1,1,1},D)
o2 = 5
|
i3 : E=symmetricDivisorM0nbar(6,B_2+3*B_3)
o3 = B + 3*B
2 3
o3 : S_6-symmetric divisor on M-0-6-bar
|
i4 : symmetricCurveDotDivisorM0nbar({3,1,1,1},E)
o4 = 0
|
The object symmetricCurveDotDivisorM0nbar is a method function.