GroupsMath 0.7.0rc0__tar.gz → 0.7.2__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/GroupsMath.egg-info/PKG-INFO +8 -5
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/PKG-INFO +8 -5
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/README.md +7 -4
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/groupsmath/core.py +211 -2
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/groupsmath/precooked.py +34 -34
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/pyproject.toml +1 -1
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/GroupsMath.egg-info/SOURCES.txt +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/GroupsMath.egg-info/dependency_links.txt +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/GroupsMath.egg-info/requires.txt +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/GroupsMath.egg-info/top_level.txt +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/LICENSE +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/groupsmath/__init__.py +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/groupsmath/matrixgroups.py +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/groupsmath/presentations.py +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/groupsmath/shortcuts.py +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/groupsmath/structure.py +0 -0
- {groupsmath-0.7.0rc0 → groupsmath-0.7.2}/setup.cfg +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: GroupsMath
|
|
3
|
-
Version: 0.7.
|
|
3
|
+
Version: 0.7.2
|
|
4
4
|
Summary: The educational Python library for Group Theory
|
|
5
5
|
Author-email: Mario Sultan Romero <mariosultan.uem@gmail.com>
|
|
6
6
|
License: PolyForm Strict License 1.0.0.
|
|
@@ -20,13 +20,13 @@ Requires-Dist: matplotlib>=3.0.0
|
|
|
20
20
|
Requires-Dist: numpy>=1.20.0
|
|
21
21
|
Dynamic: license-file
|
|
22
22
|
|
|
23
|
-
# GroupsMath – v0.7.
|
|
23
|
+
# GroupsMath – v0.7.2 – release candidate for v1.0.0
|
|
24
24
|
|
|
25
25
|
[](https://pypistats.org/packages/groupsmath)
|
|
26
26
|
[](https://pypi.org/project/groupsmath/)
|
|
27
27
|
[](https://pypi.org/project/groupsmath/)
|
|
28
28
|
|
|
29
|
-
|
|
30
30
|
<!--  -->
|
|
31
31
|
|
|
32
32
|
|
|
@@ -41,14 +41,16 @@ The project aims to provide a **simple** and **intuitive** interface for working
|
|
|
41
41
|
|
|
42
42
|
> Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
|
|
43
43
|
|
|
44
|
-
> **⚠️ Notice:** Version v1.0.0 is nearing its official release.
|
|
45
44
|
|
|
45
|
+
---
|
|
46
|
+
|
|
47
|
+
[](https://mybinder.org/v2/gh/MarioSultan/GroupsMath/main?labpath=GroupsMath_demo.ipynb)
|
|
46
48
|
|
|
47
49
|
---
|
|
48
50
|
|
|
49
51
|
## Installation
|
|
50
52
|
|
|
51
|
-
GroupsMath is currently distributed through [PyPI](https://pypi.org/project/GroupsMath/) and [Github](https://github.com/MarioSultan/GroupsMath). To install the latest released version from PyPI, run
|
|
53
|
+
GroupsMath is currently distributed through [PyPI](https://pypi.org/project/GroupsMath/) and [Github](https://github.com/MarioSultan/GroupsMath). To install the latest released version from PyPI, run the following in your preferred terminal (VS code, Jupyter, ...).
|
|
52
54
|
|
|
53
55
|
```bash
|
|
54
56
|
pip install groupsmath
|
|
@@ -127,6 +129,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
|
|
|
127
129
|
* Quotient groups $Q=G/H$.
|
|
128
130
|
* Conmutator and derived subgroups $G'$.
|
|
129
131
|
* Abelianization $G/G'$
|
|
132
|
+
* Hasse diagrams. (*experimental feature*)
|
|
130
133
|
|
|
131
134
|
**AUTOMORPHISMS:**
|
|
132
135
|
* Class `Automorphism` and automorphism functions.
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: GroupsMath
|
|
3
|
-
Version: 0.7.
|
|
3
|
+
Version: 0.7.2
|
|
4
4
|
Summary: The educational Python library for Group Theory
|
|
5
5
|
Author-email: Mario Sultan Romero <mariosultan.uem@gmail.com>
|
|
6
6
|
License: PolyForm Strict License 1.0.0.
|
|
@@ -20,13 +20,13 @@ Requires-Dist: matplotlib>=3.0.0
|
|
|
20
20
|
Requires-Dist: numpy>=1.20.0
|
|
21
21
|
Dynamic: license-file
|
|
22
22
|
|
|
23
|
-
# GroupsMath – v0.7.
|
|
23
|
+
# GroupsMath – v0.7.2 – release candidate for v1.0.0
|
|
24
24
|
|
|
25
25
|
[](https://pypistats.org/packages/groupsmath)
|
|
26
26
|
[](https://pypi.org/project/groupsmath/)
|
|
27
27
|
[](https://pypi.org/project/groupsmath/)
|
|
28
28
|
|
|
29
|
-
|
|
30
30
|
<!--  -->
|
|
31
31
|
|
|
32
32
|
|
|
@@ -41,14 +41,16 @@ The project aims to provide a **simple** and **intuitive** interface for working
|
|
|
41
41
|
|
|
42
42
|
> Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
|
|
43
43
|
|
|
44
|
-
> **⚠️ Notice:** Version v1.0.0 is nearing its official release.
|
|
45
44
|
|
|
45
|
+
---
|
|
46
|
+
|
|
47
|
+
[](https://mybinder.org/v2/gh/MarioSultan/GroupsMath/main?labpath=GroupsMath_demo.ipynb)
|
|
46
48
|
|
|
47
49
|
---
|
|
48
50
|
|
|
49
51
|
## Installation
|
|
50
52
|
|
|
51
|
-
GroupsMath is currently distributed through [PyPI](https://pypi.org/project/GroupsMath/) and [Github](https://github.com/MarioSultan/GroupsMath). To install the latest released version from PyPI, run
|
|
53
|
+
GroupsMath is currently distributed through [PyPI](https://pypi.org/project/GroupsMath/) and [Github](https://github.com/MarioSultan/GroupsMath). To install the latest released version from PyPI, run the following in your preferred terminal (VS code, Jupyter, ...).
|
|
52
54
|
|
|
53
55
|
```bash
|
|
54
56
|
pip install groupsmath
|
|
@@ -127,6 +129,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
|
|
|
127
129
|
* Quotient groups $Q=G/H$.
|
|
128
130
|
* Conmutator and derived subgroups $G'$.
|
|
129
131
|
* Abelianization $G/G'$
|
|
132
|
+
* Hasse diagrams. (*experimental feature*)
|
|
130
133
|
|
|
131
134
|
**AUTOMORPHISMS:**
|
|
132
135
|
* Class `Automorphism` and automorphism functions.
|
|
@@ -1,10 +1,10 @@
|
|
|
1
|
-
# GroupsMath – v0.7.
|
|
1
|
+
# GroupsMath – v0.7.2 – release candidate for v1.0.0
|
|
2
2
|
|
|
3
3
|
[](https://pypistats.org/packages/groupsmath)
|
|
4
4
|
[](https://pypi.org/project/groupsmath/)
|
|
5
5
|
[](https://pypi.org/project/groupsmath/)
|
|
6
6
|
|
|
7
|
-
|
|
8
8
|
<!--  -->
|
|
9
9
|
|
|
10
10
|
|
|
@@ -19,14 +19,16 @@ The project aims to provide a **simple** and **intuitive** interface for working
|
|
|
19
19
|
|
|
20
20
|
> Visit here the [GroupsMath official documentation](https://groupsmath.readthedocs.io/en/latest/).
|
|
21
21
|
|
|
22
|
-
> **⚠️ Notice:** Version v1.0.0 is nearing its official release.
|
|
23
22
|
|
|
23
|
+
---
|
|
24
|
+
|
|
25
|
+
[](https://mybinder.org/v2/gh/MarioSultan/GroupsMath/main?labpath=GroupsMath_demo.ipynb)
|
|
24
26
|
|
|
25
27
|
---
|
|
26
28
|
|
|
27
29
|
## Installation
|
|
28
30
|
|
|
29
|
-
GroupsMath is currently distributed through [PyPI](https://pypi.org/project/GroupsMath/) and [Github](https://github.com/MarioSultan/GroupsMath). To install the latest released version from PyPI, run
|
|
31
|
+
GroupsMath is currently distributed through [PyPI](https://pypi.org/project/GroupsMath/) and [Github](https://github.com/MarioSultan/GroupsMath). To install the latest released version from PyPI, run the following in your preferred terminal (VS code, Jupyter, ...).
|
|
30
32
|
|
|
31
33
|
```bash
|
|
32
34
|
pip install groupsmath
|
|
@@ -105,6 +107,7 @@ GroupsMath is designed to provide tools for working with finite (and infinite) g
|
|
|
105
107
|
* Quotient groups $Q=G/H$.
|
|
106
108
|
* Conmutator and derived subgroups $G'$.
|
|
107
109
|
* Abelianization $G/G'$
|
|
110
|
+
* Hasse diagrams. (*experimental feature*)
|
|
108
111
|
|
|
109
112
|
**AUTOMORPHISMS:**
|
|
110
113
|
* Class `Automorphism` and automorphism functions.
|
|
@@ -21,7 +21,7 @@ from math import gcd
|
|
|
21
21
|
|
|
22
22
|
#################### DEFINITIONS ####################
|
|
23
23
|
|
|
24
|
-
__version__ = "0.7.
|
|
24
|
+
__version__ = "0.7.2"
|
|
25
25
|
__errorcolor__ = "\033[31m"
|
|
26
26
|
|
|
27
27
|
tgl_color = "#2A646E"
|
|
@@ -30,6 +30,8 @@ tgl = mcolors.LinearSegmentedColormap.from_list("tgl", ["white", tgl_color])
|
|
|
30
30
|
rainbow = mcolors.LinearSegmentedColormap.from_list("rainbow", ["#FF0000","#FF9100","#F2DA00","#2CDB00","#00DAE9","#1869FF"])#,"#7648FF","#D12BFF"])
|
|
31
31
|
rainbow8 = mcolors.LinearSegmentedColormap.from_list("rainbow8", ["#FF0000","#FF9100","#F2DA00","#2CDB00","#00DAE9","#1869FF","#7648FF","#FF1FF4"])
|
|
32
32
|
|
|
33
|
+
standard = ["#FF0000", "#1869FF", "#2CDB00", "#F2DA00", "#7648FF", "#FF9100", "#00DAE9", "#FF1FF4", "#000000", "#888888"]
|
|
34
|
+
|
|
33
35
|
def groupsmath_info():
|
|
34
36
|
print("———————————————————————————————————————————————————————————————————————————")
|
|
35
37
|
print(" ")
|
|
@@ -45,7 +47,7 @@ def groupsmath_info():
|
|
|
45
47
|
print("· GitHub \033[36mhttps://github.com/MarioSultan/GroupsMath \033[0m ")
|
|
46
48
|
print(" ")
|
|
47
49
|
print("The documentation of this library is in the following link: ")
|
|
48
|
-
print("· Documentation \033[36mhttps://
|
|
50
|
+
print("· Documentation \033[36mhttps://groupsmath.readthedocs.io/en/latest/ \033[0m ")
|
|
49
51
|
print(" ")
|
|
50
52
|
print("———————————————————————————————————————————————————————————————————————————")
|
|
51
53
|
|
|
@@ -184,6 +186,9 @@ class ExplicitGroup(Group):
|
|
|
184
186
|
def cayley_table(self, title="", colormap=rainbow, names=None, math_mode=True):
|
|
185
187
|
return self.toCayleyGroup().cayley_table(title=title, colormap=colormap, names=names, math_mode=math_mode)
|
|
186
188
|
|
|
189
|
+
def cayley_graph(self, generators=None, title="", colormap=standard, names=None, edgenames=None, math_mode=True, node_size=1000):
|
|
190
|
+
return self.toCayleyGroup.cayley_graph(generators=generators, title=title, colormap=colormap, names=names, edgenames=edgenames, math_mode=math_mode, node_size=node_size)
|
|
191
|
+
|
|
187
192
|
#–> SUBGROUPS
|
|
188
193
|
|
|
189
194
|
def proper_subgroups(self):
|
|
@@ -561,6 +566,62 @@ class CayleyGroup(Group):
|
|
|
561
566
|
def delete_names(self):
|
|
562
567
|
self.elements = [i for i in range(len(self.elements))]
|
|
563
568
|
|
|
569
|
+
def cayley_graph(self, generators=None, title="", colormap=standard, names=None, edgenames=None, math_mode=True, node_size=1000):
|
|
570
|
+
|
|
571
|
+
import networkx as nx
|
|
572
|
+
|
|
573
|
+
if generators==None:
|
|
574
|
+
generators = self.generators()
|
|
575
|
+
else:
|
|
576
|
+
if not self.generates(generators):
|
|
577
|
+
raise ValueError(__errorcolor__+"The set provided does not generate the group.")
|
|
578
|
+
|
|
579
|
+
if names==None:
|
|
580
|
+
if len(self)<=20:
|
|
581
|
+
names=True
|
|
582
|
+
else:
|
|
583
|
+
names=False
|
|
584
|
+
|
|
585
|
+
if edgenames==None:
|
|
586
|
+
if len(self)<=20:
|
|
587
|
+
edgenames=True
|
|
588
|
+
else:
|
|
589
|
+
edgenames=False
|
|
590
|
+
|
|
591
|
+
gr = nx.DiGraph()
|
|
592
|
+
|
|
593
|
+
if math_mode:
|
|
594
|
+
for i in self.elements:
|
|
595
|
+
gr.add_node("$"+str(i)+"$")
|
|
596
|
+
for i in self.elements:
|
|
597
|
+
for j in range(len(generators)):
|
|
598
|
+
gr.add_edge("$"+str(i)+"$","$"+str(self.operation(i,generators[j]))+"$",label=generators[j], color=colormap[j])
|
|
599
|
+
else:
|
|
600
|
+
for i in self.elements:
|
|
601
|
+
gr.add_node(str(i))
|
|
602
|
+
for i in self.elements:
|
|
603
|
+
for j in range(len(generators)):
|
|
604
|
+
gr.add_edge(str(i),str(self.operation(i,generators[j])),label=generators[j], color=colormap[j])
|
|
605
|
+
|
|
606
|
+
|
|
607
|
+
colors = [gr.edges[u, v]["color"]for u, v in gr.edges]
|
|
608
|
+
|
|
609
|
+
if edgenames:
|
|
610
|
+
edge_labels = nx.get_edge_attributes(gr, "label")
|
|
611
|
+
else:
|
|
612
|
+
edge_labels = []
|
|
613
|
+
|
|
614
|
+
pos = nx.spring_layout(gr)
|
|
615
|
+
|
|
616
|
+
if names:
|
|
617
|
+
nx.draw(gr,pos,with_labels=True, node_color="white", edgecolors="black", edge_color=colors, width=3, node_size=node_size)
|
|
618
|
+
nx.draw_networkx_edge_labels(gr, pos, edge_labels=edge_labels)
|
|
619
|
+
else:
|
|
620
|
+
nx.draw(gr,pos,with_labels=False, node_color="black", edge_color=colors, width=3, node_size=250)
|
|
621
|
+
|
|
622
|
+
plt.title(title)
|
|
623
|
+
plt.show()
|
|
624
|
+
|
|
564
625
|
#–> SUBGROUPS
|
|
565
626
|
|
|
566
627
|
def proper_subgroups(self):
|
|
@@ -706,6 +767,128 @@ class CayleyGroup(Group):
|
|
|
706
767
|
def is_solvable(self):
|
|
707
768
|
return len(self.derived_series()[-1]) == 1
|
|
708
769
|
|
|
770
|
+
def hasse_diagram(self):
|
|
771
|
+
|
|
772
|
+
import networkx as nx
|
|
773
|
+
from groupsmath.structure import structure_description
|
|
774
|
+
|
|
775
|
+
S = self.subgroups()
|
|
776
|
+
N = [] # name
|
|
777
|
+
R = [] # ratio
|
|
778
|
+
for i in S:
|
|
779
|
+
N.append(structure_description(i.subgroup))
|
|
780
|
+
R.append(int(len(self)/len(i)))
|
|
781
|
+
|
|
782
|
+
o = []
|
|
783
|
+
i = 0
|
|
784
|
+
while i<len(R):
|
|
785
|
+
if R[i] not in o:
|
|
786
|
+
o.append(R[i])
|
|
787
|
+
i+=1
|
|
788
|
+
|
|
789
|
+
O = {o[i]:i for i in range(len(o))}
|
|
790
|
+
|
|
791
|
+
H = []
|
|
792
|
+
for i in range(len(o)):
|
|
793
|
+
H.append([])
|
|
794
|
+
|
|
795
|
+
for i in range(len(S)):
|
|
796
|
+
H[O[R[i]]].append(S[i])
|
|
797
|
+
|
|
798
|
+
#print(f"N = {N}",f"R = {R}",f"o = {o}",f"O = {O}",f"H = {H}",sep="\n")
|
|
799
|
+
|
|
800
|
+
########## Nodos y aristas ##########
|
|
801
|
+
|
|
802
|
+
gr = nx.DiGraph()
|
|
803
|
+
|
|
804
|
+
for i in range(len(S)):
|
|
805
|
+
gr.add_node(i,label=structure_description(S[i].subgroup))
|
|
806
|
+
|
|
807
|
+
for i in range(len(S)):
|
|
808
|
+
for j in range(i,len(S)):
|
|
809
|
+
if S[i]._is_covered(S[j]):
|
|
810
|
+
gr.add_edge(i,j)
|
|
811
|
+
|
|
812
|
+
########## Posiciones ##########
|
|
813
|
+
|
|
814
|
+
pos = {}
|
|
815
|
+
|
|
816
|
+
dx = 2
|
|
817
|
+
dy = 2
|
|
818
|
+
min_distance = dx
|
|
819
|
+
|
|
820
|
+
# 1. Posiciones iniciales, distribuidas uniformemente
|
|
821
|
+
for level, subgroups in enumerate(H):
|
|
822
|
+
|
|
823
|
+
n = len(subgroups)
|
|
824
|
+
offset = -(n - 1) * dx / 2
|
|
825
|
+
|
|
826
|
+
for k, subgroup in enumerate(subgroups):
|
|
827
|
+
|
|
828
|
+
node = S.index(subgroup)
|
|
829
|
+
|
|
830
|
+
pos[node] = (
|
|
831
|
+
offset + k * dx,
|
|
832
|
+
level * dy
|
|
833
|
+
)
|
|
834
|
+
|
|
835
|
+
|
|
836
|
+
# 2. Ajustar cada nodo según sus predecesores
|
|
837
|
+
for level in range(1, len(H)):
|
|
838
|
+
|
|
839
|
+
for subgroup in H[level]:
|
|
840
|
+
|
|
841
|
+
node = S.index(subgroup)
|
|
842
|
+
|
|
843
|
+
predecessors = list(gr.predecessors(node))
|
|
844
|
+
|
|
845
|
+
if not predecessors:
|
|
846
|
+
continue
|
|
847
|
+
|
|
848
|
+
# Posición ideal: media de los predecesores
|
|
849
|
+
ideal_x = np.mean([
|
|
850
|
+
pos[p][0]
|
|
851
|
+
for p in predecessors
|
|
852
|
+
])
|
|
853
|
+
|
|
854
|
+
y = level * dy
|
|
855
|
+
|
|
856
|
+
# --------------------------------------------------
|
|
857
|
+
# Buscar una posición libre alrededor de ideal_x
|
|
858
|
+
# --------------------------------------------------
|
|
859
|
+
|
|
860
|
+
x = ideal_x
|
|
861
|
+
|
|
862
|
+
occupied = [
|
|
863
|
+
p[0]
|
|
864
|
+
for n, p in pos.items()
|
|
865
|
+
if p[1] == y
|
|
866
|
+
]
|
|
867
|
+
|
|
868
|
+
# Si está demasiado cerca de otro nodo,
|
|
869
|
+
# desplazamos alternativamente izquierda/derecha.
|
|
870
|
+
k = 0
|
|
871
|
+
|
|
872
|
+
while any(abs(x - ox) < min_distance for ox in occupied):
|
|
873
|
+
|
|
874
|
+
k += 1
|
|
875
|
+
|
|
876
|
+
if k % 2 == 1:
|
|
877
|
+
x = ideal_x + ((k + 1) // 2) * dx
|
|
878
|
+
else:
|
|
879
|
+
x = ideal_x - (k // 2) * dx
|
|
880
|
+
|
|
881
|
+
pos[node] = (x, y)
|
|
882
|
+
|
|
883
|
+
labels = nx.get_node_attributes(gr, "label")
|
|
884
|
+
nx.draw(gr, pos, with_labels=True, labels=labels, node_shape="s", node_color="white", edgecolors="black", node_size=1000, arrows=False)
|
|
885
|
+
#nx.draw_networkx_edges(gr,pos,arrows=False)
|
|
886
|
+
plt.show()
|
|
887
|
+
|
|
888
|
+
|
|
889
|
+
|
|
890
|
+
|
|
891
|
+
|
|
709
892
|
#–> AUTOMORPHISMS
|
|
710
893
|
|
|
711
894
|
def is_automorphism(self, phi):
|
|
@@ -1063,6 +1246,29 @@ class CayleySubgroup(CayleyGroup, Subgroup):
|
|
|
1063
1246
|
def __lt__(self, group):
|
|
1064
1247
|
return group==self.group and self.subgroup.order()<self.group.order()
|
|
1065
1248
|
|
|
1249
|
+
def _isin(self, subgroup):
|
|
1250
|
+
if not isinstance(subgroup, CayleySubgroup):
|
|
1251
|
+
return False
|
|
1252
|
+
|
|
1253
|
+
return set(self._indices).issubset(set(subgroup._indices))
|
|
1254
|
+
|
|
1255
|
+
def _is_covered(self, other):
|
|
1256
|
+
if not self._isin(other):
|
|
1257
|
+
return False
|
|
1258
|
+
|
|
1259
|
+
if set(self._indices) == set(other._indices):
|
|
1260
|
+
return False
|
|
1261
|
+
|
|
1262
|
+
for intermediate in other.group.subgroups():
|
|
1263
|
+
# Comprobamos que no sea idéntico en contenido a self ni a other
|
|
1264
|
+
if set(intermediate._indices) == set(self._indices) or set(intermediate._indices) == set(other._indices):
|
|
1265
|
+
continue
|
|
1266
|
+
|
|
1267
|
+
if self._isin(intermediate) and intermediate._isin(other):
|
|
1268
|
+
return False
|
|
1269
|
+
|
|
1270
|
+
return True
|
|
1271
|
+
|
|
1066
1272
|
#–> QUOTIENTS
|
|
1067
1273
|
|
|
1068
1274
|
def coset(self, element, side="left", return_names=True):
|
|
@@ -1187,6 +1393,9 @@ class Element:
|
|
|
1187
1393
|
inv = self.group.inverse(self.element)
|
|
1188
1394
|
return Element(inv, self.group)
|
|
1189
1395
|
|
|
1396
|
+
def order(self):
|
|
1397
|
+
return self.group.element_orders()[self.index]
|
|
1398
|
+
|
|
1190
1399
|
class Automorphism:
|
|
1191
1400
|
|
|
1192
1401
|
def __init__(self,phi:tuple,group:CayleyGroup):
|
|
@@ -2,28 +2,28 @@ from .core import *
|
|
|
2
2
|
|
|
3
3
|
#################### PRECOOKED GROUPS ####################
|
|
4
4
|
|
|
5
|
-
I = CayleyGroup([[0]],['
|
|
5
|
+
I = CayleyGroup([[0]],['e'])
|
|
6
6
|
|
|
7
|
-
C1 = CayleyGroup([[0]],['
|
|
8
|
-
C2 = CayleyGroup([[0, 1], [1, 0]],['
|
|
9
|
-
C3 = CayleyGroup([[0, 1, 2], [1, 2, 0], [2, 0, 1]],['
|
|
10
|
-
C4 = CayleyGroup([[0, 1, 2, 3], [1, 2, 3, 0], [2, 3, 0, 1], [3, 0, 1, 2]],['
|
|
11
|
-
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]],['
|
|
12
|
-
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]],['
|
|
13
|
-
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]],['
|
|
14
|
-
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]],['
|
|
15
|
-
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]],['
|
|
16
|
-
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]],['
|
|
17
|
-
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]],['
|
|
18
|
-
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]],['
|
|
19
|
-
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]],['
|
|
20
|
-
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]],['
|
|
21
|
-
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]],['
|
|
22
|
-
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]],['
|
|
23
|
-
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]],['
|
|
24
|
-
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]],['
|
|
25
|
-
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]],['
|
|
26
|
-
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]],['
|
|
7
|
+
C1 = CayleyGroup([[0]],['e'])
|
|
8
|
+
C2 = CayleyGroup([[0, 1], [1, 0]],['e', 'r'])
|
|
9
|
+
C3 = CayleyGroup([[0, 1, 2], [1, 2, 0], [2, 0, 1]],['e', 'r', 'r^{2}'])
|
|
10
|
+
C4 = CayleyGroup([[0, 1, 2, 3], [1, 2, 3, 0], [2, 3, 0, 1], [3, 0, 1, 2]],['e', 'r', 'r^{2}', 'r^{3}'])
|
|
11
|
+
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}'])
|
|
12
|
+
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}'])
|
|
13
|
+
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}'])
|
|
14
|
+
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}'])
|
|
15
|
+
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}'])
|
|
16
|
+
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}'])
|
|
17
|
+
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}'])
|
|
18
|
+
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}'])
|
|
19
|
+
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}'])
|
|
20
|
+
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}'])
|
|
21
|
+
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}'])
|
|
22
|
+
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}'])
|
|
23
|
+
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}'])
|
|
24
|
+
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}'])
|
|
25
|
+
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}'])
|
|
26
|
+
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}'])
|
|
27
27
|
|
|
28
28
|
A1 = CayleyGroup([[0]],['e'])
|
|
29
29
|
A2 = CayleyGroup([[0]],['e'])
|
|
@@ -35,16 +35,16 @@ S2 = CayleyGroup([[0, 1], [1, 0]],['e', '(12)'])
|
|
|
35
35
|
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)'])
|
|
36
36
|
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)'])
|
|
37
37
|
|
|
38
|
-
D1 = CayleyGroup([[0, 1], [1, 0]],['
|
|
39
|
-
D2 = CayleyGroup([[0, 1, 2, 3], [1, 0, 3, 2], [2, 3, 0, 1], [3, 2, 1, 0]],['
|
|
40
|
-
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]],['
|
|
41
|
-
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]],['
|
|
42
|
-
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]],['
|
|
43
|
-
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]],['
|
|
44
|
-
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]],['
|
|
45
|
-
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]],['
|
|
46
|
-
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]],['
|
|
47
|
-
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]],['
|
|
38
|
+
D1 = CayleyGroup([[0, 1], [1, 0]],['e', 's'])
|
|
39
|
+
D2 = CayleyGroup([[0, 1, 2, 3], [1, 0, 3, 2], [2, 3, 0, 1], [3, 2, 1, 0]],['e', 'r', 's', 'rs'])
|
|
40
|
+
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'])
|
|
41
|
+
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'])
|
|
42
|
+
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'])
|
|
43
|
+
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'])
|
|
44
|
+
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'])
|
|
45
|
+
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'])
|
|
46
|
+
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'])
|
|
47
|
+
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'])
|
|
48
48
|
|
|
49
49
|
V4 = CayleyGroup([[0, 1, 2, 3], [1, 0, 3, 2], [2, 3, 0, 1], [3, 2, 1, 0]],["e","a","b","ab"])
|
|
50
50
|
|
|
@@ -70,6 +70,6 @@ U18 = CayleyGroup([[0, 1, 2, 3, 4, 5], [1, 2, 5, 0, 3, 4], [2, 5, 4, 1, 0, 3], [
|
|
|
70
70
|
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'])
|
|
71
71
|
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'])
|
|
72
72
|
|
|
73
|
-
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]],['
|
|
74
|
-
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]],['
|
|
75
|
-
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]],['
|
|
73
|
+
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'])
|
|
74
|
+
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'])
|
|
75
|
+
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'])
|
|
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
|
|
|
4
4
|
|
|
5
5
|
[project]
|
|
6
6
|
name = "GroupsMath" # Nombre en PyPI
|
|
7
|
-
version = "0.7.
|
|
7
|
+
version = "0.7.2"
|
|
8
8
|
description = "The educational Python library for Group Theory"
|
|
9
9
|
readme = "README.md" # Esta será la documentación visible en la portada de PyPI
|
|
10
10
|
requires-python = ">=3.8"
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|