----------------------------------------
-- Ejemplo de Resultantes vs. Eliminacion
----------------------------------------
-- Abraham Martin del Campo
-- 4 Mar 2016
----------------------------------------

R = QQ[t,x,y];

f =  t^2-1-x;
g = t^3-t-y;

I = ideal(f,g);

eliminate(t,I)

sylvesterMatrix(f,g,t)
det oo

resultant(f,g,t)

---- 

R = QQ[a,b,c,x];

f = a*x^2+b*x+c;
f' = 2*a*x+b;

f'= diff(x,f)

sylvesterMatrix (f,f',x)

resultant(f,f',x)

factor oo

quit;