Ultraparallel hyperbolic lines (source code)

= Ultraparallel hyperbolic lines

Two hyperbolic lines are ultraparallel when they are disjoint and have no common ideal endpoint. They possess a unique common perpendicular, which realizes the distance between them.