コマンドは半代数多項式系の三角分解を計算します。与えられる方程式、不等式(inequalities)、および不等式(inequations)を同時に満たします。解の三角分解を返します。解となるように、正則の半代数集合のリストを計算します。有限な多数の複素解を持つ場合、出力中のいずれの正則な半代数集合も、単に正則鎖の実数解の集合になることを思い出してください。ページを参照してください。有限に多数の複素解を持つケースに限定されます。パラメータを持たないものである必要があります。アルゴリズムを生成します。論文で使用した方法に極めて近いものです(下記のリファレンスを参照してください)。Systems』の論文にあるアルゴリズムを実装します。アプリケーションと例題>with(RegularChains):多項式の環を定義します。PolynomialRing(vars):方程式の集合を定義します。-1];(4.1)非負多項式の集合を定義します。[];(4.2)正の多項式の集合を定義します。[];(4.3)不等式の集合を定義します。