This function creates an object of type CurveClassRepresentativeM0nbar. Here is a basic example:
i1 : L1= { {{{1,2},{3},{4},{5}},1}, {{{1,3},{2},{4},{5}},1} }; |
i2 : curveClassRepresentativeM0nbar(5,L1) o2 = CurveClassRepresentativeM0nbar{CurveExpression => HashTable{{{1, 2}, {3}, {4}, {5}} => 1}} {{1, 3}, {2}, {4}, {5}} => 1 NumberOfMarkedPoints => 5 o2 : CurveClassRepresentativeM0nbar |
The input can be a list or a hash table (see the documentation for (curveClassRepresentativeM0nbar,ZZ,HashTable)) . The elements of the list should be pairs {{I1,I2,I3,I4},c}. This will add $c F_{I_1,I_2,I_3,I_4}$ to the curve class expression. Equivalently, you can type {I1,I2,I3,I4}=> instead of {{I1,I2,I3,I4},c}.
i3 : L2= { {{1,2},{3},{4},{5}}=>1, {{1,3},{2},{4},{5}}=>1 }; |
i4 : curveClassRepresentativeM0nbar(5,L2) o4 = CurveClassRepresentativeM0nbar{CurveExpression => HashTable{{{1, 2}, {3}, {4}, {5}} => 1}} {{1, 3}, {2}, {4}, {5}} => 1 NumberOfMarkedPoints => 5 o4 : CurveClassRepresentativeM0nbar |
The function does some minimal testing to make sure the expression makes sense. If you type "L2=new HashTable from \{ \{\{1,7\},\{2\},\{3\},\{4\}\} =>1 \}" and then run "curveClassRepresentativeM0nbar(6,L2)", you will get an error that "The curve expression is invalid."
The function sorts the curve class labels. If sorting creates like terms, they are combined:
i5 : L3={ {{{1,2},{3},{4},{5}},1}, {{{1,3},{2},{4},{5}},1}, {{{3},{4},{2,1},{5}},1}}; |
i6 : curveClassRepresentativeM0nbar(5,L3) o6 = CurveClassRepresentativeM0nbar{CurveExpression => HashTable{{{1, 2}, {3}, {4}, {5}} => 2}} {{1, 3}, {2}, {4}, {5}} => 1 NumberOfMarkedPoints => 5 o6 : CurveClassRepresentativeM0nbar |
It deletes terms whose coefficient is zero.
i7 : L4={ {{{1,2},{3},{4},{5}},1}, {{{1,3},{2},{4},{5}},1}, {{{3},{4},{2,1},{5}},-1}}; |
i8 : curveClassRepresentativeM0nbar(5,L4) o8 = CurveClassRepresentativeM0nbar{CurveExpression => HashTable{{{1, 3}, {2}, {4}, {5}} => 1}} NumberOfMarkedPoints => 5 o8 : CurveClassRepresentativeM0nbar |
The object curveClassRepresentativeM0nbar is a method function.