next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
TriangularSets :: isRegularChain

isRegularChain -- whether a triangular set is a regular chain

Synopsis

Description

Let T = (t1,t2,…,tk) be a triangular set (i.e., their main variables are distinct), and let h be the product of its initials. T is a regular chain if the iterated resultant is nonzero: resultant(h,T)≠0.

i1 : R = QQ[x,y,z,MonomialOrder=>Lex];
i2 : F = {x*y - y*z, y^2 - z^2};
i3 : T = triaSystem(R,F,{y});
i4 : isRegularChain(T)

o4 = true

      

See also

Ways to use isRegularChain :