DivisorClassRepresentativeM0nbar - DivisorClassRepresentativeM0nbar -- subtract two divisor class representatives on M0nbar

Operator: -
Usage:

D1+D2
Inputs:
- D1, an instance of the type DivisorClassRepresentativeM0nbar,
- D2, an instance of the type DivisorClassRepresentativeM0nbar,
Outputs:
- D3, an instance of the type DivisorClassRepresentativeM0nbar,

Description

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

Ways to use this method:

DivisorClassRepresentativeM0nbar - DivisorClassRepresentativeM0nbar -- subtract two divisor class representatives on M0nbar

The source of this document is in M0nbar.m2:1710:0.