Algorithms for classifying regular polytopes with a fixed automorphism group | Synapse