removeRedundantGenerators can be made faster...
Opened this issue · 0 comments
denisrosset commented
by adding generators one by one to the orbit, and stopping as soon as the orbit is complete, then removing redundant generators in bulk.
Cf. the symmetry group of the Chen 2008 inequality (d=5) in Faacets, where the subgroup search produces ~950 generators for a group of order 2400. The removal takes ages.