我想用mathematica绘制一组动态图，就是用Manipulate函数的那种。
现在最关键的是，我要绘制的曲线是一个方程的等值线。方程有两个变量，但是这两个变量之间的关系无法之间用显示表达式的约束来表示，而必须引入第三个变量，用隐函数的关系来表示。具体来讲，我需要做出以下函数的图像：
F[x,y,z]==0(0<x<m,0<y<n),
s.t. G[y,z]==0
z作为辅助变量使x，y建立显示表达式联系。最终的图应该是一个关于x-y的曲线。
但我尝试了并没有成功，ContourPlot只允许一个条件表达式，用参数表达式也不行。求大神有什么方法能画出这个函数的图像

另外,如果有通过坐标变换的方法也可以。关于上面的方程，我可以得到关于x和z之间的显示约束关系，也就能画出关于x-z的图像，现在需要画关于x-y的图像。y可以写成z的显示表达式，但反过来不行。所以是否可以通过画出x-z的图像，再利用坐标变换得到x-y的图像呢，但我不知道该如何操作，请大神指点一下。

我非常确定最近一两个月吧里出现过类似的帖，那个帖还是个带了示例的，可我现在翻不出来了……算了，总之参这帖：https://mathematica.stackexchange.com/q/8722/1871

本质上就是求
隐函数表达的曲面 F[x,y,z]==0 与隐函数表达的柱面 G[y,z]==0 的交线问题。
一般的，多个隐函数表达的曲面都可以画出交线。
方法也不少，搜索画两个隐函数图像交线。