This function subtracts two divisor class representatives on M0nbar.
i1 : L1= { {{1,3},1}, {{1,4},2}}; |
i2 : D1=divisorClassRepresentativeM0nbar(6,L1); |
i3 : L2= { {{1,2},7}, {{1,3},2}, {{2,3,5,6},1}}; |
i4 : D2=divisorClassRepresentativeM0nbar(6,L2); |
i5 : D1-D2 o5 = DivisorClassRepresentativeM0nbar{DivisorExpression => HashTable{{1, 2} => -7}} {1, 3} => -1 {1, 4} => 1 NumberOfMarkedPoints => 6 o5 : DivisorClassRepresentativeM0nbar |