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
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 |