CurveClassRepresentativeM0nbar - CurveClassRepresentativeM0nbar -- subtract two curve class representatives on M0nbar

Operator: -
Usage:

C1-C2
Inputs:
- C1, an instance of the type CurveClassRepresentativeM0nbar,
- C2, an instance of the type CurveClassRepresentativeM0nbar,
Outputs:
- C3, an instance of the type DivisorClassRepresentativeM0nbar,

Description

This function subtracts two curve class representatives on M0nbar.

i1 : L1= { {{{1,2},{3},{4},{5}},1}, {{{1,3},{2},{4},{5}},1} };

i2 : C1=curveClassRepresentativeM0nbar(5,L1);

i3 : L2= { {{{2,1},{3},{4},{5}},2}, {{{1,4},{2},{3},{5}},1} };

i4 : C2=curveClassRepresentativeM0nbar(5,L2);

i5 : C1-C2

o5 = CurveClassRepresentativeM0nbar{"CurveExpression" => HashTable{{{1, 2}, {3}, {4}, {5}} => -1}}
                                                                   {{1, 3}, {2}, {4}, {5}} => 1
                                                                   {{1, 4}, {2}, {3}, {5}} => -1
                                    "NumberOfMarkedPoints" => 5

o5 : CurveClassRepresentativeM0nbar

Ways to use this method:

CurveClassRepresentativeM0nbar - CurveClassRepresentativeM0nbar -- subtract two curve class representatives on M0nbar

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