My goal: given G(z,w), find the polynomial, P(n), in the partial derivatives of G(z,w) over the integer such that
d^n z/ dw^n = P(n) / Gz^(2n-1) where Gz= partial derivative of G with respect to z.
Step 1. Differentiate G(z(w),w) w.r.t w n times. Formulae are known for doing that (Mishkov, Tsoy-Wo Ma),
but I need to do that on Maple in order to proceed to Step 2, using diff(G(z(w),w),w); I will need up to 4th derivative to see the general pattern, so r1:=diff(G(z(w),w),w); r2:=diff(G(z(w),w),w,w); r3:=diff(G(z(w),w),w,w,w); r4:=diff(G(z(w),w),w,w,w,w);
Step 2. Eliminate the derivatives of z with respect to w up through 3rd order. Express the derivative of z with respect to w of 4th order in terms of the partial derivatives of G with respect to z and w. I am stuck on Step 2. Maple is not allowing me to eliminate variables which are formal derivatives of other variables.
Step 3 (the hard step): guess the general pattern or formula.