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, 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].

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.