-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathcosetreps-e6-p2.sage
More file actions
10 lines (7 loc) · 2.45 KB
/
Copy pathcosetreps-e6-p2.sage
File metadata and controls
10 lines (7 loc) · 2.45 KB
1
2
3
4
5
6
7
8
9
10
# Coset reps for ('D =', 'E6', ',', 'K =', [2])
[s1, s2, s3, s4, s5, s6] = W.simple_reflections()
WP = [
s1*s1, # workaround for the identity element
s2, s4*s2, s3*s4*s2, s5*s4*s2, s1*s3*s4*s2, s5*s3*s4*s2, s6*s5*s4*s2, s4*s5*s3*s4*s2, s5*s1*s3*s4*s2, s6*s5*s3*s4*s2, s4*s5*s1*s3*s4*s2, s2*s4*s5*s3*s4*s2, s6*s5*s1*s3*s4*s2, s6*s4*s5*s3*s4*s2, s2*s4*s5*s1*s3*s4*s2, s5*s6*s4*s5*s3*s4*s2, s3*s4*s5*s1*s3*s4*s2, s6*s4*s5*s1*s3*s4*s2, s6*s2*s4*s5*s3*s4*s2, s5*s6*s4*s5*s1*s3*s4*s2, s5*s6*s2*s4*s5*s3*s4*s2, s3*s2*s4*s5*s1*s3*s4*s2, s6*s2*s4*s5*s1*s3*s4*s2, s6*s3*s4*s5*s1*s3*s4*s2, s4*s5*s6*s2*s4*s5*s3*s4*s2, s5*s6*s2*s4*s5*s1*s3*s4*s2, s5*s6*s3*s4*s5*s1*s3*s4*s2, s4*s3*s2*s4*s5*s1*s3*s4*s2, s6*s3*s2*s4*s5*s1*s3*s4*s2, s3*s4*s5*s6*s2*s4*s5*s3*s4*s2, s4*s5*s6*s2*s4*s5*s1*s3*s4*s2, s5*s6*s3*s2*s4*s5*s1*s3*s4*s2, s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s4*s5*s6*s3*s4*s5*s1*s3*s4*s2, s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s4*s5*s6*s2*s4*s5*s3*s4*s2, s3*s4*s5*s6*s2*s4*s5*s1*s3*s4*s2, s4*s5*s6*s3*s2*s4*s5*s1*s3*s4*s2, s2*s4*s5*s6*s3*s4*s5*s1*s3*s4*s2, s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s4*s5*s6*s2*s4*s5*s1*s3*s4*s2, s3*s4*s5*s6*s3*s2*s4*s5*s1*s3*s4*s2, s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s2*s4*s5*s6*s3*s2*s4*s5*s1*s3*s4*s2, s3*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s4*s5*s6*s3*s2*s4*s5*s1*s3*s4*s2, s3*s2*s4*s5*s6*s3*s2*s4*s5*s1*s3*s4*s2, s2*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s3*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s3*s2*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s2*s4*s5*s6*s3*s2*s4*s5*s1*s3*s4*s2, s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s4*s3*s2*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s2*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s4*s1*s3*s2*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s1*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s4*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s5*s4*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s3*s4*s1*s3*s2*s4*s5*s6*s4*s3*s2*s4*s5*s1*s3*s4*s2, s4*s1*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s5*s4*s1*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s3*s4*s1*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s5*s3*s4*s1*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s4*s5*s3*s4*s1*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2, s2*s4*s5*s3*s4*s1*s3*s2*s4*s5*s6*s5*s4*s3*s2*s4*s5*s1*s3*s4*s2
]
WP_sorted = WP