For comparison with other CAS choose from: Axiom Derive Maple Mathematica Reduce
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