# 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.