ReducedDivisor(F1, UP, UPUP, R, F2)

pfo.spad line 22 [edit on github]

• F1 : Field
• UP : UnivariatePolynomialCategory(F1)
• UPUP : UnivariatePolynomialCategory(Fraction(UP))
• R : FunctionFieldCategory(F1, UP, UPUP)
• F2 : Join(Finite, Field)

This package finds the order of a divisor over a field using reduction to finite field.

order : (FiniteDivisor(F1, UP, UPUP, R), UPUP, Mapping(F2, F1)) -> NonNegativeInteger

order(f, u, g) is undocumented