Computing non-isomorphic 2-factorizations of K11 of type E4F
- Generation -- we started with a fixed F-type 2-factor and generated all E-type 2-factors
disjoint with it: we generated 4896 2-factors
- Then we computed all systems of four disjoint E-type 2-factors using the set generated
in the previous step: we found 2400 disjoint systems
- The set obtained in the previous step was partitioned into classes of isomorphisms
(buckets).
We got 7 buckets
- From each bucket obtained in the previous step we chose a single representative, i.e. 7 systems
- For each system, using the same program for finding isomorphisms, the group of automorphisms was computed obtaining in the group sizes.