More corrections. Next is debugging the CI.

gap-system · Apr 22, 2022 · e7d66d1 · e7d66d1
1 parent 62042b1
commit e7d66d1
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/lib/csetperm.gi b/lib/csetperm.gi
@@ -638,7 +638,7 @@ function(cos1,cos2)
             H2:=Intersection(H1_sigma, H2);
             continue;
         fi;
-        H2_sigma:= ClosureGroup(H2, sigma);
+        H2_sigma:=ClosureGroup(H2, sigma);
         if not IsSubgroup(H2_sigma, H1) then
             H1:=Intersection(H2_sigma, H1);
             continue;
@@ -686,8 +686,7 @@ function(cos1,cos2)
     fi;
     # So now Order(H1) <= Order(H2)
     cosTest:=RightCoset(H2, sigma);
-    for eCos in RightCosets(H1, theInt) do
-        rho:=Representative(eCos);
+    for rho in RightTransversal(H1, theInt) do
         if rho in cosTest then
             return RightCoset(theInt, rho * shift);
         fi;