C.a.R. > Applications > Non-Euclidean Geometry > Hyperbolic Geometry
This is very similar as the elliptic geometry here. The lines in the geometry are now circles perpendicular to the basic circle. Circles are normal circles, but with a different midpoint.
I have explained the ideas behind the macros of both geometries in an article (written for CarZine).