resultant(F: RINGELEM, G: RINGELEM, X: RINGELEM): RINGELEM
/**/ Use R ::= QQ[p,q,x]; /**/ F := x^3+p*x-q; G := deriv(F, x); /**/ resultant(F, G, x); 4*p^3 +27*q^2