We have 2-orbit polyhedra data - but I've convinced myself that at least one of the families of 2-orbit maniplexes will be small enough.
Note that the petrial of a 2-orbit maniplex is itself a maniplex. So we end up only needing 3 data sets:
Chiral, from which we can get $2_0$ and $2_2$
$21$, from which we can get $2{01}$ and $2_{12}$,
$2_{02}$, which is a self-dual and self-petrial class
Data set 1 exists from Primoz Potocnik's data, and I'll hook that in.
I think data set 2 should not be too large. Mark, could you get something set up to start finding all 3-maniplexes in class 2_1 up to... 2000 flags? I'm not sure how LowIndexSubgroups works; would it be possible to put 1-500 in one file, 501-1000 in another file, etc so that if we decide we need to terminate things early, we can without losing our work?
Judging from the other data you've computed, the most useful thing would be to save the automorphism groups as permutation groups, and then I can wrangle them into a standard presentation in GAP.
We have 2-orbit polyhedra data - but I've convinced myself that at least one of the families of 2-orbit maniplexes will be small enough.
Note that the petrial of a 2-orbit maniplex is itself a maniplex. So we end up only needing 3 data sets:
Data set 1 exists from Primoz Potocnik's data, and I'll hook that in. I think data set 2 should not be too large. Mark, could you get something set up to start finding all 3-maniplexes in class 2_1 up to... 2000 flags? I'm not sure how LowIndexSubgroups works; would it be possible to put 1-500 in one file, 501-1000 in another file, etc so that if we decide we need to terminate things early, we can without losing our work? Judging from the other data you've computed, the most useful thing would be to save the automorphism groups as permutation groups, and then I can wrangle them into a standard presentation in GAP.