Returns the iterated resultant of $f$ by a triangular set $T$. Let $T = (t_1,t_2,\cdots,t_k)$ where $mvar(t_1)>\cdots>mvar(t_k)$. The resultant of $f$ by $T$ is $$resultant(f,T) = resultant(\cdots(resultant(resultant(f,t_1),t_2)\cdots,t_k)$$
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 |