UnivariateFiniteFieldFactorize(F, UP)

ffact.spad line 993 [edit on github]

• F : FiniteFieldCategory
• UP : UnivariatePolynomialCategory(F)

undocumented

factor : UP -> Factored(UP)

factor(p) factorizes p into prime factors.

factorSquareFree : UP -> Factored(UP)

factorSquareFree(p) factorizes p into prime factors. p must be square free.

irreducible? : UP -> Boolean

irreducible?(p) tests if p is irreducible.

su_irreducible? : SparseUnivariatePolynomial(F) -> Boolean

su_irreducible?(p) tests if p is irreducible. p must be monic and square free.

sufactor : SparseUnivariatePolynomial(F) -> Record(cont : F, factors : List(Record(factor : SparseUnivariatePolynomial(F), exponent : NonNegativeInteger)))

sufactor(p) factorizes p into prime factors.

sufactor_square_free : SparseUnivariatePolynomial(F) -> List(SparseUnivariatePolynomial(F))

sufactor_square_free(p) factorizes p into prime factors. p must be square free.