Update lib/csetgrp.gi

Co-authored-by: Max Horn <max@quendi.de>
gap-system · Apr 22, 2022 · 62042b1 · 62042b1
1 parent 75551d6
commit 62042b1
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/lib/csetgrp.gi b/lib/csetgrp.gi
@@ -791,7 +791,12 @@ end);
 InstallMethod(Intersection2, "general groups", IsIdenticalObj,
               [IsRightCoset,IsRightCoset],
 function(cos1,cos2)
-    local H1, H2, x1, x2, shift, sigma, theInt, cosTest, eCos, rho;
+    local swap, H1, H2, x1, x2, shift, sigma, theInt, cosTest, eCos, rho;
+    if Size(cos1) > Size(cos2) then
+        swap := cos1;
+        cos1 := cos2;
+        cos2 := swap;
+    fi;
     H1:=ActingDomain(cos1);
     H2:=ActingDomain(cos2);
     x1:=Representative(cos1);