UnivariateFiniteFieldFactorize(F, UP)ΒΆ

ffact.spad line 993 [edit on github]

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.