isSymmetricFDivisor(D)
We say a symmetric divisor on $\bar{M}_{0,n}$ is a symmetric F-divisor if $D . F_{I_1,I_2,I_3,I_4} \geq 0$ for every F curve.
In the example below, we see that for $n=8$, the divisor $3B_2+2B_3+4B_4$ is a symmetric F-divisor, while the divisor $B_2$ is not.
|
|
|
|
The object isSymmetricFDivisor is a method function.