UnivariatePolynomialDecompositionPackage(R, UP)ΒΆ

updecomp.spad line 41

UnivariatePolynomialDecompositionPackage implements functional decomposition of univariate polynomial with coefficients in an IntegralDomain of CharacteristicZero.

completeDecompose: UP -> List UP if R has Field
completeDecompose(f) returns a list of factors of f for the functional decomposition of f. [f1, ..., fn] means f = f1 o ... o fn.
decomposeIfCan: UP -> Union(Record(left: UP, right: UP), failed) if R has Field
decomposeIfCan(f) returns a functional decomposition of the polynomial f or “failed” if it has not found any.
leftFactorIfCan: (UP, UP) -> Union(UP, failed)
leftFactorIfCan(f, h) returns the left factor (g in f = g o h) of the functional decomposition of the polynomial f with given h or "failed" if g does not exist.
monicCompleteDecompose: UP -> List UP
monicCompleteDecompose(f) returns a list of factors of f for the functional decomposition of monic polynomial f. [f1, ..., fn] means f = f1 o ... o fn.
monicDecomposeIfCan: UP -> Union(Record(left: UP, right: UP), failed)
monicDecomposeIfCan(f) returns a functional decomposition of the monic polynomial f or “failed” if it has not found any.
monicRightFactorIfCan: (UP, NonNegativeInteger) -> Union(UP, failed)
monicRightFactorIfCan(f, d) returns a candidate to be the monic right factor (h in f = g o h) of degree d of a functional decomposition of the polynomial f or "failed" if no such candidate.
rightFactorIfCan: (UP, NonNegativeInteger, R) -> Union(UP, failed)
rightFactorIfCan(f, d, c) returns a candidate to be the right factor (h in f = g o h) of degree d with leading coefficient c of a functional decomposition of the polynomial f or "failed" if no such candidate.