isEquivalent(DivisorClassRepresentativeM0nbar,DivisorClassRepresentativeM0nbar) -- check whether two divisor class representatives are numerically equivalent

Function: isEquivalent
Usage:

isEquivalent(D1,D2)
Inputs:
- D1, an instance of the type DivisorClassRepresentativeM0nbar,
- D2, an instance of the type DivisorClassRepresentativeM0nbar,
Outputs:
- b, a Boolean value,

Description

This function checks whether two divisor class representatives D1 and D2 are equivalent.

To do so, it checks whether their expressions in the nonadjacent basis of divisors are the same.

i1 : L1= { {{1,2},1}};

i2 : D1=divisorClassRepresentativeM0nbar(5,L1);

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

i4 : D2=divisorClassRepresentativeM0nbar(5,L2);

i5 : isEquivalent(D1,D2)

o5 = true

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