triang.lib
Decompose Zero-dimensional Ideals into Triangular Sets
D. Hillebrand
Procedures:
D.7.3.1 triangL Decomposition of (G) into triangular systems (Lazard). D.7.3.2 triangLfak Decomp. of (G) into tri. systems plus factorization. D.7.3.3 triangM Decomposition of (G) into triangular systems (Moeller). D.7.3.4 triangMH Decomp. of (G) into tri. syst. with disjoint varieties.