add stabilizer
for G-sets w.r.t. derived actions
#3134
Job | Run time |
---|---|
21m 22s | |
52m 47s | |
12m 20s | |
41m 49s | |
2h 8m 18s |
stabilizer
for G-sets w.r.t. derived actions
#3134
Job | Run time |
---|---|
21m 22s | |
52m 47s | |
12m 20s | |
41m 49s | |
2h 8m 18s |