inversive_geometry