GroupsMath 0.1.0__py3-none-any.whl

groupsmath/precooked.py

@@ -0,0 +1,75 @@
+from .core import *
+
+#################### PRECOOKED GROUPS ####################
+
+I = CayleyGroup([[0]],['$e$'])
+
+C1 = CayleyGroup([[0]],['$e$'])
+C2 = CayleyGroup([[0, 1], [1, 0]],['$e$', '$r$'])
+C3 = CayleyGroup([[0, 1, 2], [1, 2, 0], [2, 0, 1]],['$e$', '$r$', '$r^{2}$'])
+C4 = CayleyGroup([[0, 1, 2, 3], [1, 2, 3, 0], [2, 3, 0, 1], [3, 0, 1, 2]],['$e$', '$r$', '$r^{2}$', '$r^{3}$'])
+C5 = CayleyGroup([[0, 1, 2, 3, 4], [1, 2, 3, 4, 0], [2, 3, 4, 0, 1], [3, 4, 0, 1, 2], [4, 0, 1, 2, 3]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$'])
+C6 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 2, 3, 4, 5, 0], [2, 3, 4, 5, 0, 1], [3, 4, 5, 0, 1, 2], [4, 5, 0, 1, 2, 3], [5, 0, 1, 2, 3, 4]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$'])
+C7 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6], [1, 2, 3, 4, 5, 6, 0], [2, 3, 4, 5, 6, 0, 1], [3, 4, 5, 6, 0, 1, 2], [4, 5, 6, 0, 1, 2, 3], [5, 6, 0, 1, 2, 3, 4], [6, 0, 1, 2, 3, 4, 5]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$'])
+C8 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7], [1, 2, 3, 4, 5, 6, 7, 0], [2, 3, 4, 5, 6, 7, 0, 1], [3, 4, 5, 6, 7, 0, 1, 2], [4, 5, 6, 7, 0, 1, 2, 3], [5, 6, 7, 0, 1, 2, 3, 4], [6, 7, 0, 1, 2, 3, 4, 5], [7, 0, 1, 2, 3, 4, 5, 6]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$'])
+C9 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8], [1, 2, 3, 4, 5, 6, 7, 8, 0], [2, 3, 4, 5, 6, 7, 8, 0, 1], [3, 4, 5, 6, 7, 8, 0, 1, 2], [4, 5, 6, 7, 8, 0, 1, 2, 3], [5, 6, 7, 8, 0, 1, 2, 3, 4], [6, 7, 8, 0, 1, 2, 3, 4, 5], [7, 8, 0, 1, 2, 3, 4, 5, 6], [8, 0, 1, 2, 3, 4, 5, 6, 7]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$'])
+C10 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2, 3, 4, 5, 6, 7, 8, 9, 0], [2, 3, 4, 5, 6, 7, 8, 9, 0, 1], [3, 4, 5, 6, 7, 8, 9, 0, 1, 2], [4, 5, 6, 7, 8, 9, 0, 1, 2, 3], [5, 6, 7, 8, 9, 0, 1, 2, 3, 4], [6, 7, 8, 9, 0, 1, 2, 3, 4, 5], [7, 8, 9, 0, 1, 2, 3, 4, 5, 6], [8, 9, 0, 1, 2, 3, 4, 5, 6, 7], [9, 0, 1, 2, 3, 4, 5, 6, 7, 8]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$'])
+C11 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$'])
+C12 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$'])
+C13 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$'])
+C14 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 13, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 13, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 13, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 13, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 13, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 13, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 13, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 13, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [13, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$', '$r^{13}$'])
+C15 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [13, 14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [14, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$', '$r^{13}$', '$r^{14}$'])
+C16 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [14, 15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [15, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$', '$r^{13}$', '$r^{14}$', '$r^{15}$'])
+C17 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 13, 14, 15, 16, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 13, 14, 15, 16, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 13, 14, 15, 16, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 13, 14, 15, 16, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 13, 14, 15, 16, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [13, 14, 15, 16, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [14, 15, 16, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [15, 16, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [16, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$', '$r^{13}$', '$r^{14}$', '$r^{15}$', '$r^{16}$'])
+C18 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [13, 14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [14, 15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [15, 16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [16, 17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [17, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$', '$r^{13}$', '$r^{14}$', '$r^{15}$', '$r^{16}$', '$r^{17}$'])
+C19 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [13, 14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [14, 15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [15, 16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [16, 17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [17, 18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16], [18, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$', '$r^{13}$', '$r^{14}$', '$r^{15}$', '$r^{16}$', '$r^{17}$', '$r^{18}$'])
+C20 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4], [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5], [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6], [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7], [9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8], [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [12, 13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [13, 14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [14, 15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [15, 16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [16, 17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [17, 18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16], [18, 19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17], [19, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$r^{10}$', '$r^{11}$', '$r^{12}$', '$r^{13}$', '$r^{14}$', '$r^{15}$', '$r^{16}$', '$r^{17}$', '$r^{18}$', '$r^{19}$'])
+
+A1 = CayleyGroup([[0]],['e'])
+A2 = CayleyGroup([[0]],['e'])
+A3 = CayleyGroup([[0, 1, 2], [1, 2, 0], [2, 0, 1]],['e', '(123)', '(132)'])
+A4 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 0, 6, 8, 7, 9, 11, 10, 3, 4, 5], [2, 0, 1, 9, 10, 11, 3, 5, 4, 6, 8, 7], [3, 5, 4, 0, 2, 1, 10, 9, 11, 7, 6, 8], [4, 3, 5, 7, 6, 8, 0, 1, 2, 10, 11, 9], [5, 4, 3, 10, 11, 9, 7, 8, 6, 0, 2, 1], [6, 7, 8, 1, 0, 2, 4, 3, 5, 11, 9, 10], [7, 8, 6, 4, 5, 3, 11, 10, 9, 1, 0, 2], [8, 6, 7, 11, 9, 10, 1, 2, 0, 4, 5, 3], [9, 11, 10, 2, 1, 0, 8, 6, 7, 5, 3, 4], [10, 9, 11, 5, 3, 4, 2, 0, 1, 8, 7, 6], [11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['e', '(234)', '(243)', '(12)(34)', '(123)', '(124)', '(132)', '(134)', '(13)(24)', '(142)', '(143)', '(14)(23)'])
+
+S1 = CayleyGroup([[0]],['e'])
+S2 = CayleyGroup([[0, 1], [1, 0]],['e', '(12)'])
+S3 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 0, 4, 5, 2, 3], [2, 3, 0, 1, 5, 4], [3, 2, 5, 4, 0, 1], [4, 5, 1, 0, 3, 2], [5, 4, 3, 2, 1, 0]],['e', '(23)', '(12)', '(123)', '(132)', '(13)'])
+S4 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23], [1, 0, 4, 5, 2, 3, 7, 6, 10, 11, 8, 9, 18, 19, 20, 21, 22, 23, 12, 13, 14, 15, 16, 17], [2, 3, 0, 1, 5, 4, 12, 13, 14, 15, 16, 17, 6, 7, 8, 9, 10, 11, 19, 18, 22, 23, 20, 21], [3, 2, 5, 4, 0, 1, 13, 12, 16, 17, 14, 15, 19, 18, 22, 23, 20, 21, 6, 7, 8, 9, 10, 11], [4, 5, 1, 0, 3, 2, 18, 19, 20, 21, 22, 23, 7, 6, 10, 11, 8, 9, 13, 12, 16, 17, 14, 15], [5, 4, 3, 2, 1, 0, 19, 18, 22, 23, 20, 21, 13, 12, 16, 17, 14, 15, 7, 6, 10, 11, 8, 9], [6, 7, 8, 9, 10, 11, 0, 1, 2, 3, 4, 5, 14, 15, 12, 13, 17, 16, 20, 21, 18, 19, 23, 22], [7, 6, 10, 11, 8, 9, 1, 0, 4, 5, 2, 3, 20, 21, 18, 19, 23, 22, 14, 15, 12, 13, 17, 16], [8, 9, 6, 7, 11, 10, 14, 15, 12, 13, 17, 16, 0, 1, 2, 3, 4, 5, 21, 20, 23, 22, 18, 19], [9, 8, 11, 10, 6, 7, 15, 14, 17, 16, 12, 13, 21, 20, 23, 22, 18, 19, 0, 1, 2, 3, 4, 5], [10, 11, 7, 6, 9, 8, 20, 21, 18, 19, 23, 22, 1, 0, 4, 5, 2, 3, 15, 14, 17, 16, 12, 13], [11, 10, 9, 8, 7, 6, 21, 20, 23, 22, 18, 19, 15, 14, 17, 16, 12, 13, 1, 0, 4, 5, 2, 3], [12, 13, 14, 15, 16, 17, 2, 3, 0, 1, 5, 4, 8, 9, 6, 7, 11, 10, 22, 23, 19, 18, 21, 20], [13, 12, 16, 17, 14, 15, 3, 2, 5, 4, 0, 1, 22, 23, 19, 18, 21, 20, 8, 9, 6, 7, 11, 10], [14, 15, 12, 13, 17, 16, 8, 9, 6, 7, 11, 10, 2, 3, 0, 1, 5, 4, 23, 22, 21, 20, 19, 18], [15, 14, 17, 16, 12, 13, 9, 8, 11, 10, 6, 7, 23, 22, 21, 20, 19, 18, 2, 3, 0, 1, 5, 4], [16, 17, 13, 12, 15, 14, 22, 23, 19, 18, 21, 20, 3, 2, 5, 4, 0, 1, 9, 8, 11, 10, 6, 7], [17, 16, 15, 14, 13, 12, 23, 22, 21, 20, 19, 18, 9, 8, 11, 10, 6, 7, 3, 2, 5, 4, 0, 1], [18, 19, 20, 21, 22, 23, 4, 5, 1, 0, 3, 2, 10, 11, 7, 6, 9, 8, 16, 17, 13, 12, 15, 14], [19, 18, 22, 23, 20, 21, 5, 4, 3, 2, 1, 0, 16, 17, 13, 12, 15, 14, 10, 11, 7, 6, 9, 8], [20, 21, 18, 19, 23, 22, 10, 11, 7, 6, 9, 8, 4, 5, 1, 0, 3, 2, 17, 16, 15, 14, 13, 12], [21, 20, 23, 22, 18, 19, 11, 10, 9, 8, 7, 6, 17, 16, 15, 14, 13, 12, 4, 5, 1, 0, 3, 2], [22, 23, 19, 18, 21, 20, 16, 17, 13, 12, 15, 14, 5, 4, 3, 2, 1, 0, 11, 10, 9, 8, 7, 6], [23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['e', '(34)', '(23)', '(234)', '(243)', '(24)', '(12)', '(12)(34)', '(123)', '(1234)', '(1243)', '(124)', '(132)', '(1342)', '(13)', '(134)', '(13)(24)', '(1324)', '(1432)', '(142)', '(143)', '(14)', '(1423)', '(14)(23)'])
+
+D1 = CayleyGroup([[0, 1], [1, 0]],['$e$', '$s$'])
+D2 = CayleyGroup([[0, 1, 2, 3], [1, 0, 3, 2], [2, 3, 0, 1], [3, 2, 1, 0]],['$e$', '$r$', '$s$', '$rs$'])
+D3 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 2, 0, 4, 5, 3], [2, 0, 1, 5, 3, 4], [3, 5, 4, 0, 2, 1], [4, 3, 5, 1, 0, 2], [5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$s$', '$rs$', '$r^{2}s$'])
+D4 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7], [1, 2, 3, 0, 5, 6, 7, 4], [2, 3, 0, 1, 6, 7, 4, 5], [3, 0, 1, 2, 7, 4, 5, 6], [4, 7, 6, 5, 0, 3, 2, 1], [5, 4, 7, 6, 1, 0, 3, 2], [6, 5, 4, 7, 2, 1, 0, 3], [7, 6, 5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$s$', '$rs$', '$r^{2}s$', '$r^{3}s$'])
+D5 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2, 3, 4, 0, 6, 7, 8, 9, 5], [2, 3, 4, 0, 1, 7, 8, 9, 5, 6], [3, 4, 0, 1, 2, 8, 9, 5, 6, 7], [4, 0, 1, 2, 3, 9, 5, 6, 7, 8], [5, 9, 8, 7, 6, 0, 4, 3, 2, 1], [6, 5, 9, 8, 7, 1, 0, 4, 3, 2], [7, 6, 5, 9, 8, 2, 1, 0, 4, 3], [8, 7, 6, 5, 9, 3, 2, 1, 0, 4], [9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$s$', '$rs$', '$r^{2}s$', '$r^{3}s$', '$r^{4}s$'])
+D6 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 3, 4, 5, 0, 7, 8, 9, 10, 11, 6], [2, 3, 4, 5, 0, 1, 8, 9, 10, 11, 6, 7], [3, 4, 5, 0, 1, 2, 9, 10, 11, 6, 7, 8], [4, 5, 0, 1, 2, 3, 10, 11, 6, 7, 8, 9], [5, 0, 1, 2, 3, 4, 11, 6, 7, 8, 9, 10], [6, 11, 10, 9, 8, 7, 0, 5, 4, 3, 2, 1], [7, 6, 11, 10, 9, 8, 1, 0, 5, 4, 3, 2], [8, 7, 6, 11, 10, 9, 2, 1, 0, 5, 4, 3], [9, 8, 7, 6, 11, 10, 3, 2, 1, 0, 5, 4], [10, 9, 8, 7, 6, 11, 4, 3, 2, 1, 0, 5], [11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$s$', '$rs$', '$r^{2}s$', '$r^{3}s$', '$r^{4}s$', '$r^{5}s$'])
+D7 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [1, 2, 3, 4, 5, 6, 0, 8, 9, 10, 11, 12, 13, 7], [2, 3, 4, 5, 6, 0, 1, 9, 10, 11, 12, 13, 7, 8], [3, 4, 5, 6, 0, 1, 2, 10, 11, 12, 13, 7, 8, 9], [4, 5, 6, 0, 1, 2, 3, 11, 12, 13, 7, 8, 9, 10], [5, 6, 0, 1, 2, 3, 4, 12, 13, 7, 8, 9, 10, 11], [6, 0, 1, 2, 3, 4, 5, 13, 7, 8, 9, 10, 11, 12], [7, 13, 12, 11, 10, 9, 8, 0, 6, 5, 4, 3, 2, 1], [8, 7, 13, 12, 11, 10, 9, 1, 0, 6, 5, 4, 3, 2], [9, 8, 7, 13, 12, 11, 10, 2, 1, 0, 6, 5, 4, 3], [10, 9, 8, 7, 13, 12, 11, 3, 2, 1, 0, 6, 5, 4], [11, 10, 9, 8, 7, 13, 12, 4, 3, 2, 1, 0, 6, 5], [12, 11, 10, 9, 8, 7, 13, 5, 4, 3, 2, 1, 0, 6], [13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$s$', '$rs$', '$r^{2}s$', '$r^{3}s$', '$r^{4}s$', '$r^{5}s$', '$r^{6}s$'])
+D8 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 0, 9, 10, 11, 12, 13, 14, 15, 8], [2, 3, 4, 5, 6, 7, 0, 1, 10, 11, 12, 13, 14, 15, 8, 9], [3, 4, 5, 6, 7, 0, 1, 2, 11, 12, 13, 14, 15, 8, 9, 10], [4, 5, 6, 7, 0, 1, 2, 3, 12, 13, 14, 15, 8, 9, 10, 11], [5, 6, 7, 0, 1, 2, 3, 4, 13, 14, 15, 8, 9, 10, 11, 12], [6, 7, 0, 1, 2, 3, 4, 5, 14, 15, 8, 9, 10, 11, 12, 13], [7, 0, 1, 2, 3, 4, 5, 6, 15, 8, 9, 10, 11, 12, 13, 14], [8, 15, 14, 13, 12, 11, 10, 9, 0, 7, 6, 5, 4, 3, 2, 1], [9, 8, 15, 14, 13, 12, 11, 10, 1, 0, 7, 6, 5, 4, 3, 2], [10, 9, 8, 15, 14, 13, 12, 11, 2, 1, 0, 7, 6, 5, 4, 3], [11, 10, 9, 8, 15, 14, 13, 12, 3, 2, 1, 0, 7, 6, 5, 4], [12, 11, 10, 9, 8, 15, 14, 13, 4, 3, 2, 1, 0, 7, 6, 5], [13, 12, 11, 10, 9, 8, 15, 14, 5, 4, 3, 2, 1, 0, 7, 6], [14, 13, 12, 11, 10, 9, 8, 15, 6, 5, 4, 3, 2, 1, 0, 7], [15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$s$', '$rs$', '$r^{2}s$', '$r^{3}s$', '$r^{4}s$', '$r^{5}s$', '$r^{6}s$', '$r^{7}s$'])
+D9 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17], [1, 2, 3, 4, 5, 6, 7, 8, 0, 10, 11, 12, 13, 14, 15, 16, 17, 9], [2, 3, 4, 5, 6, 7, 8, 0, 1, 11, 12, 13, 14, 15, 16, 17, 9, 10], [3, 4, 5, 6, 7, 8, 0, 1, 2, 12, 13, 14, 15, 16, 17, 9, 10, 11], [4, 5, 6, 7, 8, 0, 1, 2, 3, 13, 14, 15, 16, 17, 9, 10, 11, 12], [5, 6, 7, 8, 0, 1, 2, 3, 4, 14, 15, 16, 17, 9, 10, 11, 12, 13], [6, 7, 8, 0, 1, 2, 3, 4, 5, 15, 16, 17, 9, 10, 11, 12, 13, 14], [7, 8, 0, 1, 2, 3, 4, 5, 6, 16, 17, 9, 10, 11, 12, 13, 14, 15], [8, 0, 1, 2, 3, 4, 5, 6, 7, 17, 9, 10, 11, 12, 13, 14, 15, 16], [9, 17, 16, 15, 14, 13, 12, 11, 10, 0, 8, 7, 6, 5, 4, 3, 2, 1], [10, 9, 17, 16, 15, 14, 13, 12, 11, 1, 0, 8, 7, 6, 5, 4, 3, 2], [11, 10, 9, 17, 16, 15, 14, 13, 12, 2, 1, 0, 8, 7, 6, 5, 4, 3], [12, 11, 10, 9, 17, 16, 15, 14, 13, 3, 2, 1, 0, 8, 7, 6, 5, 4], [13, 12, 11, 10, 9, 17, 16, 15, 14, 4, 3, 2, 1, 0, 8, 7, 6, 5], [14, 13, 12, 11, 10, 9, 17, 16, 15, 5, 4, 3, 2, 1, 0, 8, 7, 6], [15, 14, 13, 12, 11, 10, 9, 17, 16, 6, 5, 4, 3, 2, 1, 0, 8, 7], [16, 15, 14, 13, 12, 11, 10, 9, 17, 7, 6, 5, 4, 3, 2, 1, 0, 8], [17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$s$', '$rs$', '$r^{2}s$', '$r^{3}s$', '$r^{4}s$', '$r^{5}s$', '$r^{6}s$', '$r^{7}s$', '$r^{8}s$'])
+D10 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19], [1, 2, 3, 4, 5, 6, 7, 8, 9, 0, 11, 12, 13, 14, 15, 16, 17, 18, 19, 10], [2, 3, 4, 5, 6, 7, 8, 9, 0, 1, 12, 13, 14, 15, 16, 17, 18, 19, 10, 11], [3, 4, 5, 6, 7, 8, 9, 0, 1, 2, 13, 14, 15, 16, 17, 18, 19, 10, 11, 12], [4, 5, 6, 7, 8, 9, 0, 1, 2, 3, 14, 15, 16, 17, 18, 19, 10, 11, 12, 13], [5, 6, 7, 8, 9, 0, 1, 2, 3, 4, 15, 16, 17, 18, 19, 10, 11, 12, 13, 14], [6, 7, 8, 9, 0, 1, 2, 3, 4, 5, 16, 17, 18, 19, 10, 11, 12, 13, 14, 15], [7, 8, 9, 0, 1, 2, 3, 4, 5, 6, 17, 18, 19, 10, 11, 12, 13, 14, 15, 16], [8, 9, 0, 1, 2, 3, 4, 5, 6, 7, 18, 19, 10, 11, 12, 13, 14, 15, 16, 17], [9, 0, 1, 2, 3, 4, 5, 6, 7, 8, 19, 10, 11, 12, 13, 14, 15, 16, 17, 18], [10, 19, 18, 17, 16, 15, 14, 13, 12, 11, 0, 9, 8, 7, 6, 5, 4, 3, 2, 1], [11, 10, 19, 18, 17, 16, 15, 14, 13, 12, 1, 0, 9, 8, 7, 6, 5, 4, 3, 2], [12, 11, 10, 19, 18, 17, 16, 15, 14, 13, 2, 1, 0, 9, 8, 7, 6, 5, 4, 3], [13, 12, 11, 10, 19, 18, 17, 16, 15, 14, 3, 2, 1, 0, 9, 8, 7, 6, 5, 4], [14, 13, 12, 11, 10, 19, 18, 17, 16, 15, 4, 3, 2, 1, 0, 9, 8, 7, 6, 5], [15, 14, 13, 12, 11, 10, 19, 18, 17, 16, 5, 4, 3, 2, 1, 0, 9, 8, 7, 6], [16, 15, 14, 13, 12, 11, 10, 19, 18, 17, 6, 5, 4, 3, 2, 1, 0, 9, 8, 7], [17, 16, 15, 14, 13, 12, 11, 10, 19, 18, 7, 6, 5, 4, 3, 2, 1, 0, 9, 8], [18, 17, 16, 15, 14, 13, 12, 11, 10, 19, 8, 7, 6, 5, 4, 3, 2, 1, 0, 9], [19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['$e$', '$r$', '$r^{2}$', '$r^{3}$', '$r^{4}$', '$r^{5}$', '$r^{6}$', '$r^{7}$', '$r^{8}$', '$r^{9}$', '$s$', '$rs$', '$r^{2}s$', '$r^{3}s$', '$r^{4}s$', '$r^{5}s$', '$r^{6}s$', '$r^{7}s$', '$r^{8}s$', '$r^{9}s$'])
+
+V4 = CayleyGroup([[0, 1, 2, 3], [1, 0, 3, 2], [2, 3, 0, 1], [3, 2, 1, 0]],["e","a","b","ab"])
+
+Q8 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7], [1, 0, 3, 2, 5, 4, 7, 6], [2, 3, 1, 0, 6, 7, 5, 4], [3, 2, 0, 1, 7, 6, 4, 5], [4, 5, 7, 6, 1, 0, 2, 3], [5, 4, 6, 7, 0, 1, 3, 2], [6, 7, 4, 5, 3, 2, 1, 0], [7, 6, 5, 4, 2, 3, 0, 1]], ["1","-1","i","-i","j","-j","k","-k"])
+
+U2 = CayleyGroup([[0]],['1'])
+U3 = CayleyGroup([[0, 1], [1, 0]],['1', '2'])
+U4 = CayleyGroup([[0, 1], [1, 0]],['1', '3'])
+U5 = CayleyGroup([[0, 1, 2, 3], [1, 3, 0, 2], [2, 0, 3, 1], [3, 2, 1, 0]],['1', '2', '3', '4'])
+U6 = CayleyGroup([[0, 1], [1, 0]],['1', '5'])
+U7 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 3, 5, 0, 2, 4], [2, 5, 1, 4, 0, 3], [3, 0, 4, 1, 5, 2], [4, 2, 0, 5, 3, 1], [5, 4, 3, 2, 1, 0]],['1', '2', '3', '4', '5', '6'])
+U8 = CayleyGroup([[0, 1, 2, 3], [1, 0, 3, 2], [2, 3, 0, 1], [3, 2, 1, 0]],['1', '3', '5', '7'])
+U9 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 2, 5, 0, 3, 4], [2, 5, 4, 1, 0, 3], [3, 0, 1, 4, 5, 2], [4, 3, 0, 5, 2, 1], [5, 4, 3, 2, 1, 0]],['1', '2', '4', '5', '7', '8'])
+U10 = CayleyGroup([[0, 1, 2, 3], [1, 3, 0, 2], [2, 0, 3, 1], [3, 2, 1, 0]],['1', '3', '7', '9'])
+U11 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 3, 5, 7, 9, 0, 2, 4, 6, 8], [2, 5, 8, 0, 3, 6, 9, 1, 4, 7], [3, 7, 0, 4, 8, 1, 5, 9, 2, 6], [4, 9, 3, 8, 2, 7, 1, 6, 0, 5], [5, 0, 6, 1, 7, 2, 8, 3, 9, 4], [6, 2, 9, 5, 1, 8, 4, 0, 7, 3], [7, 4, 1, 9, 6, 3, 0, 8, 5, 2], [8, 6, 4, 2, 0, 9, 7, 5, 3, 1], [9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['1', '2', '3', '4', '5', '6', '7', '8', '9', '10'])
+U12 = CayleyGroup([[0, 1, 2, 3], [1, 0, 3, 2], [2, 3, 0, 1], [3, 2, 1, 0]],['1', '5', '7', '11'])
+U13 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 3, 5, 7, 9, 11, 0, 2, 4, 6, 8, 10], [2, 5, 8, 11, 1, 4, 7, 10, 0, 3, 6, 9], [3, 7, 11, 2, 6, 10, 1, 5, 9, 0, 4, 8], [4, 9, 1, 6, 11, 3, 8, 0, 5, 10, 2, 7], [5, 11, 4, 10, 3, 9, 2, 8, 1, 7, 0, 6], [6, 0, 7, 1, 8, 2, 9, 3, 10, 4, 11, 5], [7, 2, 10, 5, 0, 8, 3, 11, 6, 1, 9, 4], [8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3], [9, 6, 3, 0, 10, 7, 4, 1, 11, 8, 5, 2], [10, 8, 6, 4, 2, 0, 11, 9, 7, 5, 3, 1], [11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12'])
+U14 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 3, 0, 5, 2, 4], [2, 0, 4, 1, 5, 3], [3, 5, 1, 4, 0, 2], [4, 2, 5, 0, 3, 1], [5, 4, 3, 2, 1, 0]],['1', '3', '5', '9', '11', '13'])
+U15 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7], [1, 2, 4, 7, 0, 3, 5, 6], [2, 4, 0, 6, 1, 7, 3, 5], [3, 7, 6, 2, 5, 1, 0, 4], [4, 0, 1, 5, 2, 6, 7, 3], [5, 3, 7, 1, 6, 0, 4, 2], [6, 5, 3, 0, 7, 4, 2, 1], [7, 6, 5, 4, 3, 2, 1, 0]],['1', '2', '4', '7', '8', '11', '13', '14'])
+U16 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7], [1, 4, 7, 2, 5, 0, 3, 6], [2, 7, 4, 1, 6, 3, 0, 5], [3, 2, 1, 0, 7, 6, 5, 4], [4, 5, 6, 7, 0, 1, 2, 3], [5, 0, 3, 6, 1, 4, 7, 2], [6, 3, 0, 5, 2, 7, 4, 1], [7, 6, 5, 4, 3, 2, 1, 0]],['1', '3', '5', '7', '9', '11', '13', '15'])
+U17 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 3, 5, 7, 9, 11, 13, 15, 0, 2, 4, 6, 8, 10, 12, 14], [2, 5, 8, 11, 14, 0, 3, 6, 9, 12, 15, 1, 4, 7, 10, 13], [3, 7, 11, 15, 2, 6, 10, 14, 1, 5, 9, 13, 0, 4, 8, 12], [4, 9, 14, 2, 7, 12, 0, 5, 10, 15, 3, 8, 13, 1, 6, 11], [5, 11, 0, 6, 12, 1, 7, 13, 2, 8, 14, 3, 9, 15, 4, 10], [6, 13, 3, 10, 0, 7, 14, 4, 11, 1, 8, 15, 5, 12, 2, 9], [7, 15, 6, 14, 5, 13, 4, 12, 3, 11, 2, 10, 1, 9, 0, 8], [8, 0, 9, 1, 10, 2, 11, 3, 12, 4, 13, 5, 14, 6, 15, 7], [9, 2, 12, 5, 15, 8, 1, 11, 4, 14, 7, 0, 10, 3, 13, 6], [10, 4, 15, 9, 3, 14, 8, 2, 13, 7, 1, 12, 6, 0, 11, 5], [11, 6, 1, 13, 8, 3, 15, 10, 5, 0, 12, 7, 2, 14, 9, 4], [12, 8, 4, 0, 13, 9, 5, 1, 14, 10, 6, 2, 15, 11, 7, 3], [13, 10, 7, 4, 1, 15, 12, 9, 6, 3, 0, 14, 11, 8, 5, 2], [14, 12, 10, 8, 6, 4, 2, 0, 15, 13, 11, 9, 7, 5, 3, 1], [15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12', '13', '14', '15', '16'])
+U18 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 2, 5, 0, 3, 4], [2, 5, 4, 1, 0, 3], [3, 0, 1, 4, 5, 2], [4, 3, 0, 5, 2, 1], [5, 4, 3, 2, 1, 0]],['1', '5', '7', '11', '13', '17'])
+U19 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17], [1, 3, 5, 7, 9, 11, 13, 15, 17, 0, 2, 4, 6, 8, 10, 12, 14, 16], [2, 5, 8, 11, 14, 17, 1, 4, 7, 10, 13, 16, 0, 3, 6, 9, 12, 15], [3, 7, 11, 15, 0, 4, 8, 12, 16, 1, 5, 9, 13, 17, 2, 6, 10, 14], [4, 9, 14, 0, 5, 10, 15, 1, 6, 11, 16, 2, 7, 12, 17, 3, 8, 13], [5, 11, 17, 4, 10, 16, 3, 9, 15, 2, 8, 14, 1, 7, 13, 0, 6, 12], [6, 13, 1, 8, 15, 3, 10, 17, 5, 12, 0, 7, 14, 2, 9, 16, 4, 11], [7, 15, 4, 12, 1, 9, 17, 6, 14, 3, 11, 0, 8, 16, 5, 13, 2, 10], [8, 17, 7, 16, 6, 15, 5, 14, 4, 13, 3, 12, 2, 11, 1, 10, 0, 9], [9, 0, 10, 1, 11, 2, 12, 3, 13, 4, 14, 5, 15, 6, 16, 7, 17, 8], [10, 2, 13, 5, 16, 8, 0, 11, 3, 14, 6, 17, 9, 1, 12, 4, 15, 7], [11, 4, 16, 9, 2, 14, 7, 0, 12, 5, 17, 10, 3, 15, 8, 1, 13, 6], [12, 6, 0, 13, 7, 1, 14, 8, 2, 15, 9, 3, 16, 10, 4, 17, 11, 5], [13, 8, 3, 17, 12, 7, 2, 16, 11, 6, 1, 15, 10, 5, 0, 14, 9, 4], [14, 10, 6, 2, 17, 13, 9, 5, 1, 16, 12, 8, 4, 0, 15, 11, 7, 3], [15, 12, 9, 6, 3, 0, 16, 13, 10, 7, 4, 1, 17, 14, 11, 8, 5, 2], [16, 14, 12, 10, 8, 6, 4, 2, 0, 17, 15, 13, 11, 9, 7, 5, 3, 1], [17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0]],['1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12', '13', '14', '15', '16', '17', '18'])
+U20 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7], [1, 3, 0, 2, 5, 7, 4, 6], [2, 0, 3, 1, 6, 4, 7, 5], [3, 2, 1, 0, 7, 6, 5, 4], [4, 5, 6, 7, 0, 1, 2, 3], [5, 7, 4, 6, 1, 3, 0, 2], [6, 4, 7, 5, 2, 0, 3, 1], [7, 6, 5, 4, 3, 2, 1, 0]],['1', '3', '7', '9', '11', '13', '17', '19'])
+
+Dic2 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7], [1, 2, 3, 0, 5, 6, 7, 4], [2, 3, 0, 1, 6, 7, 4, 5], [3, 0, 1, 2, 7, 4, 5, 6], [4, 7, 6, 5, 2, 1, 0, 3], [5, 4, 7, 6, 3, 2, 1, 0], [6, 5, 4, 7, 0, 3, 2, 1], [7, 6, 5, 4, 1, 0, 3, 2]],['$e$', '$a$', '$a^{2}$', '$a^{3}$', '$x$', '$ax$', '$a^{2}x$', '$a^{3}x$'])
+Dic3 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [1, 2, 3, 4, 5, 0, 7, 8, 9, 10, 11, 6], [2, 3, 4, 5, 0, 1, 8, 9, 10, 11, 6, 7], [3, 4, 5, 0, 1, 2, 9, 10, 11, 6, 7, 8], [4, 5, 0, 1, 2, 3, 10, 11, 6, 7, 8, 9], [5, 0, 1, 2, 3, 4, 11, 6, 7, 8, 9, 10], [6, 11, 10, 9, 8, 7, 3, 2, 1, 0, 5, 4], [7, 6, 11, 10, 9, 8, 4, 3, 2, 1, 0, 5], [8, 7, 6, 11, 10, 9, 5, 4, 3, 2, 1, 0], [9, 8, 7, 6, 11, 10, 0, 5, 4, 3, 2, 1], [10, 9, 8, 7, 6, 11, 1, 0, 5, 4, 3, 2], [11, 10, 9, 8, 7, 6, 2, 1, 0, 5, 4, 3]],['$e$', '$a$', '$a^{2}$', '$a^{3}$', '$a^{4}$', '$a^{5}$', '$x$', '$ax$', '$a^{2}x$', '$a^{3}x$', '$a^{4}x$', '$a^{5}x$'])
+Dic4 = CayleyGroup([[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [1, 2, 3, 4, 5, 6, 7, 0, 9, 10, 11, 12, 13, 14, 15, 8], [2, 3, 4, 5, 6, 7, 0, 1, 10, 11, 12, 13, 14, 15, 8, 9], [3, 4, 5, 6, 7, 0, 1, 2, 11, 12, 13, 14, 15, 8, 9, 10], [4, 5, 6, 7, 0, 1, 2, 3, 12, 13, 14, 15, 8, 9, 10, 11], [5, 6, 7, 0, 1, 2, 3, 4, 13, 14, 15, 8, 9, 10, 11, 12], [6, 7, 0, 1, 2, 3, 4, 5, 14, 15, 8, 9, 10, 11, 12, 13], [7, 0, 1, 2, 3, 4, 5, 6, 15, 8, 9, 10, 11, 12, 13, 14], [8, 15, 14, 13, 12, 11, 10, 9, 4, 3, 2, 1, 0, 7, 6, 5], [9, 8, 15, 14, 13, 12, 11, 10, 5, 4, 3, 2, 1, 0, 7, 6], [10, 9, 8, 15, 14, 13, 12, 11, 6, 5, 4, 3, 2, 1, 0, 7], [11, 10, 9, 8, 15, 14, 13, 12, 7, 6, 5, 4, 3, 2, 1, 0], [12, 11, 10, 9, 8, 15, 14, 13, 0, 7, 6, 5, 4, 3, 2, 1], [13, 12, 11, 10, 9, 8, 15, 14, 1, 0, 7, 6, 5, 4, 3, 2], [14, 13, 12, 11, 10, 9, 8, 15, 2, 1, 0, 7, 6, 5, 4, 3], [15, 14, 13, 12, 11, 10, 9, 8, 3, 2, 1, 0, 7, 6, 5, 4]],['$e$', '$a$', '$a^{2}$', '$a^{3}$', '$a^{4}$', '$a^{5}$', '$a^{6}$', '$a^{7}$', '$x$', '$ax$', '$a^{2}x$', '$a^{3}x$', '$a^{4}x$', '$a^{5}x$', '$a^{6}x$', '$a^{7}x$'])

groupsmath/shortcuts.py

@@ -0,0 +1,17 @@
+from .core import *
+
+#################### SHORTCUTS ####################
+
+# Groups
+C = cyclic_group
+S = symmetric_group
+A = alternating_group
+D = dihedric_group
+U = units_group
+Dic = dicyclic_group
+Tet = tetrahedral_group
+Cub = octahedral_group
+Oct = octahedral_group
+Dod = icosahedral_group
+Ico = icosahedral_group
+

groupsmath-0.1.0.dist-info/METADATA

@@ -0,0 +1,121 @@
+Metadata-Version: 2.4
+Name: GroupsMath
+Version: 0.1.0
+Summary: The educational Python library for Group Theory
+Author-email: Mario Sultan Romero <mariosultan.uem@gmail.com>
+License: PolyForm Strict License 1.0.0.
+Project-URL: Homepage, https://github.com/MarioSultan/GroupsMath
+Project-URL: Documentation, https://github.com/MarioSultan/GroupsMath/tree/main/docs
+Project-URL: Issues, https://github.com/MarioSultan/GroupsMath/issues
+Classifier: Programming Language :: Python :: 3
+Classifier: Operating System :: OS Independent
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Dynamic: license-file
+
+# GroupsMath – v0.4.0
+
+![GroupsMath Logo](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/logo.png)
+
+
+**GroupsMath** is a Python module for constructing, studying, and manipulating finite groups.
+
+The project aims to provide a simple and intuitive interface for working with finite groups and their algebraic properties.
+
+> **Note:** GroupsMath is currently under active development. Its API is still evolving and may change before version `1.0.0`.
+
+---
+
+## Installation
+
+GroupsMath is currently distributed through GitHub and has not yet been published on PyPI.
+
+To install the latest released version from PyPI, run:
+
+```bash
+pip install groupsmath
+```
+
+Alternatively, you can install the latest development version directly from GitHub:
+
+```bash
+pip install git+https://github.com/MarioSultan/GroupsMath.git
+```
+
+Alternatively, you can visit https://github.com/MarioSultan/GroupsMath and download all the files.
+
+---
+
+## Examples
+
+### Cayley table of $S_3$
+![S3 table](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/imgs/cayley_S3.png)
+
+### Cayley table of $A_5\times C_4$
+![A4xC3 table](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/imgs/cayley_A4xC3.png)
+
+### Cayley table of $U_{1200}$
+![U1200 table](https://raw.githubusercontent.com/MarioSultan/GroupsMath/main/imgs/cayley_U1200.png)
+
+
+---
+
+## Features
+
+GroupsMath is designed to provide tools for working with finite groups, including:
+
+**GROUPS:**
+* Construction of finite groups.
+* Determination of the order of a group and its elements.
+* Operation with group elements (multiplication, inverse, powers, ...)
+* Computation of Cayley tables with `matplotlib.pyplot`.
+* Detection of algebraic properties such as cyclicity and commutativity.
+* Computation and exploration of other structural properties of finite groups.
+* Predefined group families in the library `groupsmath.precooked`, such as $C_n$, $S_n$, $A_n$, $D_n$, $V_4$, $Q_8$, ...
+
+**SUBGROUPS:**
+* Study of subgroups (order, cosets, normal subgroups, quotients, ...).
+* Normal subgroups.
+* Quotient groups $Q=G/H$.
+
+**AUTOMORPHISMS:**
+* Class `Automorphism` and automorphism functions.
+* Automorphism groups $\text{Aut}(G)$.
+
+**PRODUCTS:**
+* Direct product of two groups $G\times H$.
+* Semidirect product of two groups $G\rtimes H$.
+
+The available functionality will expand as the project develops.
+
+---
+
+## Coming soon
+
+The GroupsMath team is currently working on theese ideas:
+* Presentation of groups and generators.
+* Groups generated by matrices ($GL$, $O$,...).
+* Optimization of actual features.
+
+---
+
+## Documentation
+
+Detailed documentation is available in the [`docs`](https://github.com/MarioSultan/GroupsMath/tree/main/docs) directory of GitHub. The documentation is developed alongside the library.
+
+---
+
+## Project status
+
+GroupsMath is currently under active development.
+
+The project has successfully transitioned to an object-oriented interface centered around the `Group` class. The legacy function-based interface is being removed for future versions.
+
+The API should therefore be considered **unstable** until the `1.0.0` release, and breaking changes may occur between development versions.
+
+---
+
+## Contributing
+
+Contributions, suggestions, and bug reports are welcome. If you find a bug or have an idea for improving GroupsMath, please open an issue in the GitHub repository.

groupsmath-0.1.0.dist-info/RECORD

@@ -0,0 +1,9 @@
+groupsmath/__init__.py,sha256=K0kNy26Vm6A-1V5lST3ily6yVsNLUbiqk6AZDFm2nJI,20
+groupsmath/core.py,sha256=i5erDZj1ypmTQkQo_Wg_eccq5ULXOpewMpF1IcOY-Z0,32136
+groupsmath/precooked.py,sha256=F_UjdlXjdcq_0Pp4aPfA902LBKI9ql83gpiDAhsTkqU,30401
+groupsmath/shortcuts.py,sha256=LQFL8zLUw1K__NiTPpZ8fyoUT4IDG8kgvXaPEBrZsHY,317
+groupsmath-0.1.0.dist-info/licenses/LICENSE,sha256=1J9qWcuZr51kuMDY9LoLrslvwJVznU_cv4ZsQwwmoI4,603
+groupsmath-0.1.0.dist-info/METADATA,sha256=zEvIX0-1LETZWnBg6xK96xjifAsuee1O5BiButPFZJ0,4002
+groupsmath-0.1.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
+groupsmath-0.1.0.dist-info/top_level.txt,sha256=HDxQQvMWAEuPHrpT1OIiJKPX6IZjcBVizeY68hhK-7M,11
+groupsmath-0.1.0.dist-info/RECORD,,

groupsmath-0.1.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (84.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

groupsmath-0.1.0.dist-info/licenses/LICENSE

@@ -0,0 +1,14 @@
+Copyright (c) 2026 Mario Sultan Romero
+
+This software is licensed under the PolyForm Strict License 1.0.0.
+
+The complete license terms are available at:
+https://polyformproject.org/licenses/strict/1.0.0
+
+PolyForm Strict 1.0.0 permits non-commercial use, including personal study,
+research, experimentation, testing, hobby projects, and use by educational
+institutions and public research organizations. It does not grant permission
+to distribute the software or to make changes or new works based on it.
+
+For the complete and legally authoritative terms, see the official license text
+at the URL above.

groupsmath-0.1.0.dist-info/top_level.txt

@@ -0,0 +1 @@
+groupsmath