Resultant(F:POLY, G:POLY, X:INDET):POLY
Use R ::= QQ[p,q,x]; F := x^3+px-q; G := Der(F,x); Resultant(F, G,x); 4p^3 + 27q^2 -------------------------------