Another fix for refined series

Add Assertion in RefinedSeries
gap-system · Aug 13, 2016 · c417ec5 · c417ec5
1 parent 609ec44
commit c417ec5
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/lib/grp.gi b/lib/grp.gi
@@ -662,7 +662,9 @@ local new,i,c;
     if Size(new[Length(new)])>Size(c) then
       Add(new,c);
     fi;
-    Add(new,ser[i]);
+    if Size(new[Length(new)])>Size(ser[i]) then
+      Add(new,ser[i]);
+    fi;
     sub:=Intersection(sub,ser[i]);
     i:=i+1;
   od;
@@ -673,6 +675,7 @@ local new,i,c;
     Add(new,ser[i]);
     i:=i+1;
   od;
+  Assert(1,ForAll([1..Length(new)-1],x->Size(new[x])<>Size(new[x+1])));
   return new;
 end);