New test file

Modify assertions that were not any longer valid.

Required blank lines in test file

lib/grppcaut.gi

@@ -270,7 +270,7 @@ VectorStabilizerByFactors:=function(group,gens,mats,shadows,vec)
       gens:=stabp;
       mats:=List(stabm,i->MappedWord(i,freegens,mats));
       shadows:=List(stabm,i->MappedWord(i,freegens,shadows));
-      if AssertionLevel()>0 and action=false or action=OnRight then
+      if AssertionLevel()>0 and (action=false or action=OnRight) then
 	    ind:=[dims[bp]+1..dim];
 	    acts:=List(mats,x->ImmutableMatrix(f,x{ind}{ind}));
 	    nv:=vec{ind};
@@ -310,7 +310,7 @@ VectorStabilizerByFactors:=function(group,gens,mats,shadows,vec)
 	  bp:=bp+offset;
 
 	fi;
-	if AssertionLevel()>0 then
+	if AssertionLevel()>0 and (action=false or action=OnRight) then
 	  ind:=[dims[bp]+1..dim];
 	  acts:=List(mats,x->ImmutableMatrix(f,x{ind}{ind}));
 	  nv:=vec{ind};

tst/teststandard/grpauto.tst

@@ -0,0 +1,77 @@
+#############################################################################
+##
+#W  grpauto.tst                 GAP tests                    Alexander Hulpke
+#W                                                           Max Horn
+##
+##
+#Y  Copyright (C)  2016
+##
+## Warning: Later tests need more than the default memory allocation
+
+
+gap> START_TEST("grpauto.tst");
+
+#
+# hard-iso
+#
+gap> G:=PcGroupCode(589146814442329838036024080610343654876506937853710969\
+> 448924603190236492427673556989072961847,11664);;
+gap> H:=PcGroupCode(801562094435225650939080918450186172844860829657513982\
+> 80193370111859863168020375597783858966368416055,11664);;
+gap> IsomorphismGroups(G,H);
+fail
+gap> IsomorphismGroups(G,PcGroupCode(CodePcGroup(G),Size(G)))=fail;
+false
+
+#
+# hard-iso2
+#
+gap> G:=PcGroupCode(409374400436488159632156475187687419052272443300404477\
+> 8304456449542618727,11664);;
+gap> H:=PcGroupCode(409362703022669659121228158166302826716273465648729361\
+> 3630709080224464487,11664);;
+gap> K:=PcGroupCode(409374400436488159632788450059215346119864636722303267\
+> 1585655861072658023,11664);;
+gap> IsomorphismGroups(G,H);
+fail
+gap> IsomorphismGroups(G,K);
+fail
+gap> IsomorphismGroups(H,K);
+fail
+gap> IsomorphismGroups(G,PcGroupCode(CodePcGroup(G),Size(G)))=fail;
+false
+
+#
+# hard-iso3
+#
+gap> G:=PcGroupCode(
+> 47230783805023816758284073850775753212570866553716206981615555,20000);;
+gap> H:=PcGroupCode(                                                          
+> 2361539190251190837914203692538788582942691934753704906691,20000);;
+gap> IsomorphismGroups(G,H);
+fail
+gap> IsomorphismGroups(G,PcGroupCode(CodePcGroup(G),Size(G)))=fail;
+false
+
+#
+# from here on needs 4GB
+#
+# hard-iso4
+#
+gap> G:=PcGroupCode(
+> 741231213963541373679312045151639276850536621925972119311,11664);;
+gap> H:=PcGroupCode(
+> 888658311993669104086576972570546890038187728096037768975,11664);;
+gap> IsomorphismGroups(G,H);
+fail
+gap> IsomorphismGroups(G,PcGroupCode(CodePcGroup(G),Size(G)))=fail;
+false
+
+
+
+
+gap> STOP_TEST( "grpauto.tst", 1814420000);
+
+#############################################################################
+##
+#E