Warning: this function tests only the input representative of a divisor class. That is, it answers whether the input is an effective expression, not whether there exists an effective expression equivalent to the input.
i1 : L1= { {{3,1},-1}, {{1,4},1} };
|
i2 : D1=divisorClassRepresentativeM0nbar(6,L1)
o2 = DivisorClassRepresentativeM0nbar{DivisorExpression => HashTable{{1, 3} => -1}}
{1, 4} => 1
NumberOfMarkedPoints => 6
o2 : DivisorClassRepresentativeM0nbar
|
i3 : isEffectiveExpression(D1)
o3 = false
|
i4 : L2= { {{3,1},1}, {{1,4},1} };
|
i5 : D2=divisorClassRepresentativeM0nbar(6,L2)
o5 = DivisorClassRepresentativeM0nbar{DivisorExpression => HashTable{{1, 3} => 1}}
{1, 4} => 1
NumberOfMarkedPoints => 6
o5 : DivisorClassRepresentativeM0nbar
|
i6 : isEffectiveExpression(D2)
o6 = true
|