Triangular decomposition とは

コンピュータ代数では、多項式系Sの三角分解は、それがシステムS1、…、Seのうちの1つの解である場合に限り、点がSの解であるようなより単純な多項式系S1、 …、Se。
その目的が係数フィールドの代数的閉包におけるSの解集合を記述することである場合、これらのより単純なシステムは規則的な連鎖である。多項式系S1、…、Seの係数が実数である場合、Sの実際の解は、規則的な半代数系への三角分解によって得ることができる。どちらの場合も、これらのよりシンプルなシステムは、三角形の形状と顕著な特性を持ち、用語を正当化します。