Characteristic Set Method

An elimination technique for polynomial systems that decomposes the system into one or more triangular characteristic sets (ascending chains) according to a chosen variable ranking, so that each polynomial in a set has a distinct main variable and later polynomials depend only on earlier ones and that main variable's powers.