PointsOfFiniteOrderRational(UP, UPUP, R)

pfo.spad line 121 [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) is undocumented

torsion? : FiniteDivisor(Fraction(Integer), UP, UPUP, R) -> Boolean

torsion?(f) is undocumented

torsionIfCan : FiniteDivisor(Fraction(Integer), UP, UPUP, R) -> Union(Record(order : NonNegativeInteger, function : R), "failed")

torsionIfCan(f) is undocumented