CoCoA:LinearSimplify
From ApCoCoAWiki
LinearSimplify
find simplifying substitution for a univariate polynomial over Q
Description
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.
Example
Use Q[x]; LinearSimplify((123*x-456)^9-1); [x^9 - 1, 123x - 456] ------------------------------- LinearSimplify(x^9-1); -- the heuristic finds no useful simplification [x^9 - 1, x] -------------------------------
Syntax
LinearSimplify(F:POLY):[POLY,POLY]
<type>poly</type>