Characteristic decomposition: from regular sets to normal sets (Q1730299)

This paper presents results on triangular sets. The primary result proved is how any given regular set can be transformed into a normal set having the same saturated ideal. An algorithm is provided, after which it is then shown how to decompose any polynomial set into strong characteristic pairs using the same method. Both results are illustrated with motivating examples.