非线性方程组中的依赖方程的判定

问题名称：
非线性方程组中依赖方程的判别
问题内容:这里的非线性方程组 由 未知量的多项式、初等函数以及四则运算构成。变量数目，一般的工程应用场合 大约在 50 个，多的可能到 500 个。我们需要构造一个判别算法，来判断哪个或者哪些方程是依赖方程，是可以去除的。依赖方程就是，去掉此方程，将不会影响方程组的解。也就是说它是多余的。我知道这个问题很难。所以，并未奢望能很容易的得到解答。
我希望能发起一个讨论，有助于这个问题的解决。
问题的背景:这是由平面几何的图元之间的约束求解引出的。平面几何是点、直线、圆锥曲线。约束是指诸如 两直线平行、两圆相切、点在曲线上 等约束关系。
每一个约束关系都可以表示成为一个或者多个代数方程。工程实践中，有一个需求，就是软件鉴别出多余的约束，并且提示机械设计师，这样以便设计师作出修改（修正错误）。这个问题有一个姊妹问题：高约束度方程的判定。
问题的含义是，当一个方程使的方程组的解空间降低的维数是 2 或者更多，则称这个方程为高约束度方程。
当一个方程金是方程组的解空间维度降低 1 维，则它是普通的。
讨论者联系方法：
炮炮：qq 43626070, msn [email protected]
http://www.alphasun.org/