Consider the hyperbolic paraboloid $X$ contained in $\mathbb{R}^3$, and the sphere $Y$ in $\mathbb{R}^3$ given by the equations $x^2 −y^2 =z$ and $x^2+y^2+(z−1)2=r^2.$ For what values of $r$ and $b$ is $X ∩ Y$ a smooth manifold? When it is a manifold, what is its dimension?
I know its a manifold when the tangent planes to the points of $X$ and $Y$ span $\mathbb{R}^3$. But the problems seems a bit messy and hard to do.