InnerAlgFactor(F, UP, AlExt, AlPol)ΒΆ
algfact.spad line 1 [edit on github]
F: Field
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
.