From 6b77b57b957baa23aad58f98fb69c03b630724d5 Mon Sep 17 00:00:00 2001
From: Jineon Baek <jineon@umich.edu>
Date: Tue, 27 Jun 2023 15:19:15 +0900
Subject: [PATCH] rename + docstring

---
 lib/{solution.py => point_set.py} | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)
 rename lib/{solution.py => point_set.py} (76%)

diff --git a/lib/solution.py b/lib/point_set.py
similarity index 76%
rename from lib/solution.py
rename to lib/point_set.py
index aa39c5e..ec96042 100644
--- a/lib/solution.py
+++ b/lib/point_set.py
@@ -2,7 +2,15 @@
 
 from functools import cache
 
-class Solution:
+class PointSet:
+    '''
+    A helper class calculating maximum cap/cup lengths of a point set
+    This is not used for finding counterexamples of Erdos-Szekeres
+
+    :param v: A dictionary mapping every triple (i, j, k) with 
+        0 <= i < j < k < n to a boolean on whether they form a 3-cap or a 3-cup
+        for a fixed integer n
+    '''
     def __init__(self, v):
         self.m = max(max(k) for k in v) + 1
         self.v = v