求解大型三角多项式系统
像 Solve、Reduce、FindInstance 和 NSolve 这样的方程求解器现在使用新的高效的方法来求解由零维三角形多项式方程组和任意附加条件组成的系统。
以下所示为求 
变量的 
个多项式方程组成的三角系统的精确解的时间。每个多项式的全次数为 7，系数为随机生成的 
和 
之间的整数。 该实验在 Intel Xeon 3.07 GHz 64 位 Linux 系统上进行，时间限制为 1 小时。底部的数字表示版本 12 比版本 11 快多少倍。
以下是上面同一系统的用时，附加条件是解的欧几里德范数的平方最多为 7。
