Poincaré Geometry

This is a non-Euclidean geometry. Its lines are circles passing rectangular through the base circle. Its circles can only be explained using conformal mappings.

The geometry has been realizes with macros.