SymmetricDivisorM0nbar == SymmetricDivisorM0nbar -- test equality of two symmetric divisor classes on $\bar{M}_{0,n}$

Synopsis

• Operator: ==

• Usage:

  D==E

• Inputs:
  • D, an instance of the type SymmetricDivisorM0nbar,
  • E, an instance of the type SymmetricDivisorM0nbar,
• Outputs:
  • b, a Boolean value,

Description

i1 : D=symmetricDivisorM0nbar(6,{2,1})

o1 = 2*B  + B
        2    3

o1 : S_6-symmetric divisor on M-0-6-bar

i2 : E=scale symmetricDivisorM0nbar(6,288*B_2+144*B_3)

o2 = 2*B  + B
        2    3

o2 : S_6-symmetric divisor on M-0-6-bar

i3 : D==E

o3 = true