Decomposition of polynomial sets into characteristic pairs

Dongming Wang, Rina Dong, Chenqi Mou

A characteristic pair is a pair (G,C) of polynomial sets in which G is a reduced lexicographic Groebner basis, C is the minimal triangular set contained in G, and C is normal. In t…