BalancedFactorisation(R, UP)

oderf.spad line 1 [edit on github]

• R : Join(GcdDomain, CharacteristicZero)
• UP : UnivariatePolynomialCategory(R)

This package provides balanced factorisations of polynomials.

balancedFactorisation : (UP, UP) -> Factored(UP)

balancedFactorisation(a, b) returns a factorisation a = p1^e1 ... pm^em such that each pi is balanced with respect to b.

balancedFactorisation : (UP, List(UP)) -> Factored(UP)

balancedFactorisation(a, [b1, ..., bn]) returns a factorisation a = p1^e1 ... pm^em such that each pi is balanced with respect to [b1, ..., bm].