up previous next
find simplifying substitution for a univariate polynomial over Q
LinearSimplify(F:POLY):[POLY, POLY]

This function returns a list of two polynomials [G, L] where L is linear
and G is simple (in a heuristic sense). The composition G(L) is equal
the univariate polynomial given to LinearSimplify.
Use QQ[x];
LinearSimplify((123*x456)^91);
[x^9  1, 123x  456]

LinearSimplify(x^91);  the heuristic finds no useful simplification
[x^9  1, x]

