polydecomp(x^6+9*x^5+52*x^4+177*x^3+435*x^2+630*x+593, x);
2
3 2 x - 9
[x + 25 x + 210 x + 593, ------, 2 x + 3]
4
polydecomp(x^4+2*x^3*y + 3*x^2*y^2 + 2*x*y^3 + y^4 + 2*x^2*y
+2*x*y^2 + 2*y^3 + 5*x^2 + 5*x*y + 6*y^2 + 5*y + 9, x);
2 2 2
x + 11 3 y + 4 y + x + 10
[-------, --------------------, y + 2 x]
4 2