Projection of a plane curve from an exterior point (source code)

= Projection of a plane curve from an exterior point

After coordinates place $p=[0:0:1]$, projection away from $p$ is $[x:y:z]\mapsto[x:y]$. Its restriction to a plane curve avoiding $p$ is a morphism to $\mathbb P^1$ whose degree equals the degree of the curve.