Gordon: Suggestions for things that could help disambiguate/constitute a RAMPID for a reflexible maniplex:
Schlafli type
Size
Petrie length and hole lengths of different sizes
Hopefully, that’s enough to disambiguate most of them (we’d have to run some tests to see), but I could easily imagine a symbol that looks something like {4,3,2|h…|z...}p*n. This would be the reflexible maniplex of schlafli type {4,3,2} with h… being the hole vector, z… being the zigzag vector, p the order of the petrie element, and n being the size of the group. That’s got to disambiguate a LOT of them, right?
Gabe: For general rank and symmetry type, I was imagining that the RampID might start with something like:
**...
Maybe some indication of polytopality could also show up early in the symbol.
For symmetry class, there is a standard scheme for 2-orbit and 3-orbit. I'm not sure what we'll do if we ever want to deal with broader classes of things.
Some comments from our email thread:
Gordon: Suggestions for things that could help disambiguate/constitute a RAMPID for a reflexible maniplex: Schlafli type Size Petrie length and hole lengths of different sizes Hopefully, that’s enough to disambiguate most of them (we’d have to run some tests to see), but I could easily imagine a symbol that looks something like {4,3,2|h…|z...}p*n. This would be the reflexible maniplex of schlafli type {4,3,2} with h… being the hole vector, z… being the zigzag vector, p the order of the petrie element, and n being the size of the group. That’s got to disambiguate a LOT of them, right?
Gabe: For general rank and symmetry type, I was imagining that the RampID might start with something like: