大きい三角多項式系を解く
Solve，Reduce，FindInstance，NSolve等の方程式ソルバが，三角化された零次元の整方程式系および任意の追加条件で構成される系を解くのに，新しい効率的なメソッドを使うようになった．
以下に，
個の変数を持つ，三角化された 
個の整方程式系の厳密解を求めるのにかかる時間を示す．それぞれの多項式は，ランダムに生成された
から
の間の整数係数を持つ，全次数7の密な多項式である．この実験はIntel Xeon 3.07 GHz 64ビットのLinuxシステム上で，1時間の時間制限で行われた．棒の下部にある数字は，バージョン12がバージョン11より何倍速いかを示している．
上と同じシステムにおける時間であるが，今回は解のユークリッドノルムの二乗が最大で7という条件が付いている．
