factor GroebnerBasis[{x+yz-1,y+zx,z+xy+1},{x},{y,z}]