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