This method computes the dimension of the zero set of a triangular system
i1 : R = QQ[a,b,c,d,e,f,g,h, MonomialOrder=>Lex]; |
i2 : F = {a*d - b*c, c*f - d*e, e*h - f*g}; |
i3 : T = triaSystem(R,F) o3 = {a*d - b*c, c*f - d*e, e*h - f*g} / {d, f, h} o3 : TriaSystem |
i4 : dim T o4 = 5 |
It is assumed that the triangular set is a regular chain