poly: x^5+x-3$
polypoly: subst(d2,x,d2);
=> (x^5+x-3)^5+x^5+x-6
solve(polypoly,x)
=> [0 = -x^5+15*x^4-90*x^3+270*x^2-406*x+249]
This is incorrect. It is specifying the solutions of the
outer composed polynomial (polydecomp), not the
composition as a whole -- that said, I don't think there
is any notation in Maxima for specifying the composition
of implicit solutions.
Maxima 5.9.0 gcl 2.5.0
Logged In: YES
user_id=501686
Same behavior in 5.9.3cvs.