FindOrderFinite(F, UP, UPUP, R)

pfo.spad line 1 [edit on github]

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

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

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

order(x) is undocumented