A new algorithm to classify chiral polytopes with a given automorphism group (Q2022351)

An abstract polytope is called chiral if its automorphism group has exactly two orbits on the set of flags of the polytopes such that adjacent flags belong to different orbits (thus it has maximal rotational symmetries, but no reflectional symmetry). The paper provides a new algorithm for finding all chiral polytopes with a given group as automorphism group. As the authors say, ``it permits to compute all chiral polytopes of groups that were previously unreachable by other known algorithms.'' Some ideas from [\textit{M. E. Fernandes} et al., Aequationes Math. 90, No. 5, 1045--1067 (2016; Zbl 1354.51016)] are used, such as employing \(C^+\)-groups and hypertopes. An implementation of the algorithm is also given, together with material exhibiting its superiority over earlier algorithms.