DivisorClassRepresentativeM0nbar + DivisorClassRepresentativeM0nbar -- add two divisor class representatives on M0nbar

Synopsis

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 adds 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} => 3
                                                                       {1, 4} => 3
                                      "NumberOfMarkedPoints" => 6

o5 : DivisorClassRepresentativeM0nbar

Ways to use this method: