next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
TriangularSets :: resultant(RingElement,TriaSystem)

resultant(RingElement,TriaSystem) -- iterated resultant by a triangular set

Synopsis

Description

Returns the iterated resultant of f by a triangular set T. Let T = (t1,t2,…,tk) where mvar(t1)>…>mvar(tk). The resultant of f by T is

resultant(f,T) = resultant(…(resultant(resultant(f,t1),t2)…,tk)

i1 : R = QQ[x,y,t,s,MonomialOrder=>Lex];
i2 : F = {x + y^2 - t, t^2 -s};
i3 : T = triaSystem(R,F,{});
i4 : f = x*y*t;
i5 : resultant(f,T)

        6     2 2
o5 = - y s + y s

o5 : R

      

See also