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, UP -> Factored UP) -> Factored AlPol

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