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) undocumented