We provide an expansive treatment of the fundamentals of hyperbolic geometry. The explicit computation of hyperbolic isometries enables us to find geodesics, calculate the metric, define the boundary, and compute the ...