InnerAlgFactor(F, UP, AlExt, AlPol)

algfact.spad line 1 [edit on github]

• F : Field
• UP : UnivariatePolynomialCategory(F)
• AlExt : Join(Field, CharacteristicZero, MonogenicAlgebra(F, UP))
• AlPol : UnivariatePolynomialCategory(AlExt)

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

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

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