En efecto, necesito ayuda: alguno de vosotros que tenga instalada una versión decente de Mathematica que le meta lo siguiente:
GroebnerBasis[{w(x^2 + y^2 + z^2 + 2x -2),(1-w)(x^2 + y^2 + z^2 - 2x - 2)},{x,y,z,w}]
y me diga el resultado. Si se tira más de dos minutos calculando, abortad y...