By default $H$ is chosen to be the set of initials of $F$.
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 : H = {d, f, h}; |
i4 : triaSystem(R,F,H) o4 = {a*d - b*c, c*f - d*e, e*h - f*g} / {d, f, h} o4 : TriaSystem |
i5 : triaSystem(R,F) o5 = {a*d - b*c, c*f - d*e, e*h - f*g} / {d, f, h} o5 : TriaSystem |
It is not checked that $(F,H)$ is indeed a triangular system.
The object triaSystem is a method function.