NormRetractPackage(F, ExtF, SUEx, ExtP, n)

twofact.spad line 1 [edit on github]

• F: FiniteFieldCategory

• ExtF: FiniteAlgebraicExtensionField F

• SUEx: UnivariatePolynomialCategory ExtF

• ExtP: UnivariatePolynomialCategory SUEx

• n: PositiveInteger

This package undocumented

Frobenius: ExtP -> ExtP

Frobenius(x) undocumented

normFactors: ExtP -> List ExtP

normFactors(x) undocumented

retractIfCan: ExtP -> Union(SparseUnivariatePolynomial SparseUnivariatePolynomial F, failed)

retractIfCan(x) undocumented