>>451だが、

f^σ(u,v,z)=f(u,v,z)により、u^m・v^nの係数C_{mn}は(m+n)が６の倍数以外は０。
f^τ1(u,v,z)=f(v,u,z)であるから、C_{mn}=C_{nm}が必要。
f^τ2(u,v,z)=f(-v,-u,z)であるから、C_{mn}=(-1)^{m+n}C_{nm}。
結局、f(u,v,z)は(uv)^p(u^q+v^q)とz^2の関数

よって、456の結論は、次のように変更します：

invariant多項式＜＝＞(x^2+y^2)^p・Re{(x+iy)^q}とz^2の多項式
すなわち、(x^2+y^2)^p・{x^q-x^{q-2}y+・・・}とz^2の多項式