F-不変円筒形の分解を返します。•n-次元の複素空間の円筒形の分解は、空間全体を構成的集合であるセルにごとに仕切る作業であり、この仕切り内のセルが円筒形に配列されるようにします。つのセルの射影が、同等かまたは互いに素となるように配列します。すべての多項式がセル内ので完全に等しくゼロであるか、あるいは、これらの多項式がいずれもセル内にゼロを受け入れていない場合に、F-不変と呼ばれます。出力はツリーまたは区分関数で表示されます。デフォルトは区分関数形式です。いったリストを返します。平方因子を含まず、対になって互いに素となります。多項式のゼロの集合を合わせたものと等価です。つのゼロでない値を有します。内の他の多項式は、パラメータ上の制約を定義します。アプリケーションと例題>with(RegularChains):>with(ChainTools):>with(ConstructibleSetTools):多項式の鎖を定義します。PolynomialRing([x,a,b]);(4.1)R.の多項式の集合を定義します。複素空間の円筒形の分解を計算します。