Single-pole criterion for a spherical coordinate (source code)

= Single-pole criterion for a spherical coordinate

A nonconstant <meromorphic function> on a compact <Riemann surface> with exactly one <simple pole> gives a degree-one holomorphic map to the sphere. A degree-one map is a <biholomorphism>. The surface therefore has genus zero and the function is a global rational coordinate.