ToRules[eqns]RootsやReduceで作成される方程式の論理結合を取り込み，Solveで作成される形式の規則のリストに変換する．
Roots Reduce Solve
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »
