3.4.9 求解条件方程在进行方程组计算时，把一部分方程看作主要的方程，而把其它方程作为 必须满足的 "辅助条件"，这常常是方便的. 要做的典型的事情是给辅助条件列表赋一名称，然后在 Solve 中的方程列表中包含该名称. sincos 被定义为方程 
Out[1]= |  |
这里解带有辅助条件  ,的  .
Out[2]= |  |
这里求解带有相同辅助条件的另一方程
Out[3]= |  |
在处理多项式时，有许多使用 GroebnerBasis 和 PolynomialReduce 化简在辅助条件约束下的多项式组的方法.
这里建立一个 Groebner 基
Out[4]= |  |
这里根据 g 的元素化简 x^3+y^3
Out[5]= |  |
这里表明当假定 x+y-a 和 xy-b 均为零时, x^3+y^3 可以被化简
Out[6]= |  |
可以被化简这里化简带有相同辅助条件的 x^4+y^4
Out[7]= |  |
|
