CoCoA:LinearSimplify

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>