Procedures:
D.8.5.1 triangL Decomposition of (G) into triangular systems (Lazard). D.8.5.2 triangLfak Decomp. of (G) into tri. systems plus factorization. D.8.5.3 triangM Decomposition of (G) into triangular systems (Moeller). D.8.5.4 triangMH Decomp. of (G) into tri. syst. with disjoint varieties.