PointsOfFiniteOrderRational(UP, UPUP, R)ΒΆ

pfo.spad line 119

This package provides function for testing whether a divisor on a curve is a torsion divisor.

order: FiniteDivisor(Fraction Integer, UP, UPUP, R) -> Union(NonNegativeInteger, failed)
order(f) undocumented
torsion?: FiniteDivisor(Fraction Integer, UP, UPUP, R) -> Boolean
torsion?(f) undocumented
torsionIfCan: FiniteDivisor(Fraction Integer, UP, UPUP, R) -> Union(Record(order: NonNegativeInteger, function: R), failed)
torsionIfCan(f) undocumented