Wのザリスキ閉包の交わりの中に含まれるような解が返されます。交わりを厳密に計算します。正則である場合でも同様です。交わりの上位集合を計算します。この上位集合は交わりに非常に近いものです。交わりに極めて近い近似値を計算します。関数を使用して方程式系を追加的に、すなわち、方程式を次々に解くことができます。以下の例はこの戦略を説明しています。解を特殊化する行程を観察するという方法です。アプリケーションと例題>with(RegularChains):>with(ChainTools):多項式の環を定義します。PolynomialRing(vars):方程式の集合を定義します。-1];(4.1)空の正則鎖を定義します。番目の方程式を解きます。番目の方程式を解きます。つの方程式を合わせて解きます。Markenzeichen。