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

pfo.spad line 21 [edit on github]

• F1: Field

• UP: UnivariatePolynomialCategory F1

• UPUP: UnivariatePolynomialCategory Fraction UP

• R: FunctionFieldCategory(F1, UP, UPUP)

• F2: Join(Finite, Field)

Finds the order of a divisor over a finite field Author: Manuel Bronstein Date Created: 1988

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

order(f, u, g) undocumented