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, F1 -> F2) -> NonNegativeInteger

order(f, u, g) undocumented