InnerAlgFactor(F, UP, AlExt, AlPol)ΒΆ

algfact.spad line 1 [edit on github]

Factorization of univariate polynomials with coefficients in an algebraic extension of a field over which we can factor UP's.

factor: (AlPol, UP -> Factored UP) -> Factored AlPol

factor(p, f) returns a prime factorisation of p; f is a factorisation map for elements of UP.