First time here? Check out the FAQ!
answered 2012-01-26 19:56:53 +0100
z=var('z') solve(x+z^2==1,x)[0].substitute(z==3)