grobner basis {x^2+y^2-1,y+z} \cap {x^2+y^2-1,y-z}