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

Frobenius : ExtP -> ExtP

Frobenius(x) is undocumented

normFactors : ExtP -> List(ExtP)

normFactors(x) is undocumented

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

retractIfCan(x) is undocumented