InnerAlgFactor(F, UP, AlExt, AlPol)¶

Factorization of univariate polynomials with coefficients in an algebraic extension of a field over which we can factor UP's.
factor(p, f) returns a prime factorisation of p; f is a factorisation map for elements of UP.