euclidean-geometry geometry mathematics planimetry polygons Cyclic Polygon Definition: Convex Polygon TODO