PointsOfFiniteOrderRational(UP, UPUP, R)

pfo.spad line 119 [edit on github]

• UP: UnivariatePolynomialCategory Fraction Integer

• UPUP: UnivariatePolynomialCategory Fraction UP

• R: FunctionFieldCategory(Fraction Integer, UP, UPUP)

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