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

algfact.spad line 1

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.