Do we have a geometry library for common operations like finding tangents, perpendiculars, circumcircle, orthocenters and such?