isomorphism(PermGroup, ::WeylGroup)
for missing irreducible types
#18284
Job | Run time |
---|---|
0s | |
24m 54s | |
25m 38s | |
28m 27s | |
20m 10s | |
24m 24s | |
16m 29s | |
16m 21s | |
17m 59s | |
17m 31s | |
23m 3s | |
16m 11s | |
2h 30m 18s | |
19m 57s | |
17m 47s | |
18m 39s | |
14m 27s | |
13m 9s | |
37m 33s | |
2h 30m 17s | |
10h 53m 14s |