Speed up some of our slowest tst files

Author: fingolfin

tst/testinstall/random.tst

@@ -1,4 +1,4 @@
-#@local rm,g,orbs,orb,getOneInt,a,x,y
+#@local R,a,rm,g,orbs,orb,getOneInt
 gap> START_TEST("random.tst");
 gap> ReadGapRoot( "tst/testrandom.g" );
 

tst/testinstall/wordrep.tst

@@ -127,15 +127,33 @@ f1*f2^-1024*f1^-1
 f1*f2^3072*f1^-1
 f1*f2^-3072*f1^-1
 f1*f2^102400*f1^-1
-gap> u32:=ObjByExtRep(fam,[1,1, 2,2^20, 1,-1]); u32^0; u32^1; u32^-1; u32^3; u32^-3; u32^100;;
+gap> u32:=ObjByExtRep(fam,[1,1, 2,2^20, 1,-1]); ExtRepOfObj(u32);
 f1*f2^1048576*f1^-1
-<identity ...>
-f1*f2^1048576*f1^-1
-f1*f2^-1048576*f1^-1
-f1*f2^3145728*f1^-1
-f1*f2^-3145728*f1^-1
-gap> uinf:=ObjByExtRep(fam,[1,1, 2,2^40, 1,-1]);; uinf^0; uinf^1;; uinf^-1;; uinf^3;; uinf^-3;; uinf^100;;
-<identity ...>
+[ 1, 1, 2, 1048576, 1, -1 ]
+gap> ExtRepOfObj(u32^0);
+[  ]
+gap> ExtRepOfObj(u32^1);
+[ 1, 1, 2, 1048576, 1, -1 ]
+gap> ExtRepOfObj(u32^-1);
+[ 1, 1, 2, -1048576, 1, -1 ]
+gap> ExtRepOfObj(u32^3);
+[ 1, 1, 2, 3145728, 1, -1 ]
+gap> ExtRepOfObj(u32^-3);
+[ 1, 1, 2, -3145728, 1, -1 ]
+gap> u32^100;;
+gap> uinf:=ObjByExtRep(fam,[1,1, 2,2^40, 1,-1]);; ExtRepOfObj(uinf);
+[ 1, 1, 2, 1099511627776, 1, -1 ]
+gap> ExtRepOfObj(uinf^0);
+[  ]
+gap> ExtRepOfObj(uinf^1);
+[ 1, 1, 2, 1099511627776, 1, -1 ]
+gap> ExtRepOfObj(uinf^-1);
+[ 1, 1, 2, -1099511627776, 1, -1 ]
+gap> ExtRepOfObj(uinf^3);
+[ 1, 1, 2, 3298534883328, 1, -1 ]
+gap> ExtRepOfObj(uinf^-3);
+[ 1, 1, 2, -3298534883328, 1, -1 ]
+gap> uinf^100;;
 
 # special case: w * gj^x * t * gj^y * w^-1, x != -y
 gap> v8:=ObjByExtRep(fam,[1,1, 2,1, 3,1, 4,-1, 2,2, 1,-1]); v8^0; v8^1; v8^-1; v8^3; v8^-3; v8^100;
@@ -153,13 +171,19 @@ f1*f2*f3^1024*f4^-1*f2^2*f1^-1
 f1*f2^-2*f4*f3^-1024*f2^-1*f1^-1
 f1*(f2*f3^1024*f4^-1*f2^2)^3*f1^-1
 f1*(f2^-2*f4*f3^-1024*f2^-1)^3*f1^-1
-gap> v32:=ObjByExtRep(fam,[1,1, 2,1, 3,2^20, 4,-1, 2,2, 1,-1]); v32^0; v32^1; v32^-1; v32^3; v32^-3; v32^100;;
-f1*f2*f3^1048576*f4^-1*f2^2*f1^-1
-<identity ...>
-f1*f2*f3^1048576*f4^-1*f2^2*f1^-1
-f1*f2^-2*f4*f3^-1048576*f2^-1*f1^-1
-f1*(f2*f3^1048576*f4^-1*f2^2)^3*f1^-1
-f1*(f2^-2*f4*f3^-1048576*f2^-1)^3*f1^-1
+gap> v32:=ObjByExtRep(fam,[1,1, 2,1, 3,2^20, 4,-1, 2,2, 1,-1]);; ExtRepOfObj(v32);
+[ 1, 1, 2, 1, 3, 1048576, 4, -1, 2, 2, 1, -1 ]
+gap> ExtRepOfObj(v32^0);
+[  ]
+gap> ExtRepOfObj(v32^-1);
+[ 1, 1, 2, -2, 4, 1, 3, -1048576, 2, -1, 1, -1 ]
+gap> ExtRepOfObj(v32^3);
+[ 1, 1, 2, 1, 3, 1048576, 4, -1, 2, 3, 3, 1048576, 4, -1, 2, 3, 3, 1048576, 
+  4, -1, 2, 2, 1, -1 ]
+gap> ExtRepOfObj(v32^-3);
+[ 1, 1, 2, -2, 4, 1, 3, -1048576, 2, -3, 4, 1, 3, -1048576, 2, -3, 4, 1, 3, 
+  -1048576, 2, -1, 1, -1 ]
+gap> v32^100;;
 
 # general case: w * t * w^-1
 gap> x8:=ObjByExtRep(fam,[1,1, 2,1, 3,1, 4,-1]); x8^0; x8^1; x8^-1; x8^3; x8^-3; x8^100;
@@ -170,21 +194,26 @@ f4*f3^-1*f2^-1*f1^-1
 (f1*f2*f3*f4^-1)^3
 (f4*f3^-1*f2^-1*f1^-1)^3
 (f1*f2*f3*f4^-1)^100
-gap> x16:=ObjByExtRep(fam,[1,1, 2,1, 3,2^10, 4,-1]); x16^0; x16^1; x16^-1; x16^3; x16^-3; x16^100;
+gap> x16:=ObjByExtRep(fam,[1,1, 2,1, 3,2^10, 4,-1]); x16^0; x16^1; x16^-1; x16^3; x16^-3;
 f1*f2*f3^1024*f4^-1
 <identity ...>
 f1*f2*f3^1024*f4^-1
 f4*f3^-1024*f2^-1*f1^-1
 (f1*f2*f3^1024*f4^-1)^3
 (f4*f3^-1024*f2^-1*f1^-1)^3
-(f1*f2*f3^1024*f4^-1)^100
-gap> x32:=ObjByExtRep(fam,[1,1, 2,1, 3,2^20, 4,-1]); x32^0; x32^1; x32^-1; x32^3; x32^-3;
-f1*f2*f3^1048576*f4^-1
-<identity ...>
-f1*f2*f3^1048576*f4^-1
-f4*f3^-1048576*f2^-1*f1^-1
-(f1*f2*f3^1048576*f4^-1)^3
-(f4*f3^-1048576*f2^-1*f1^-1)^3
+gap> ExtRepOfObj(x16^100) = Concatenation(ListWithIdenticalEntries(100, ExtRepOfObj(x16)));
+true
+gap> x32:=ObjByExtRep(fam,[1,1, 2,1, 3,2^20, 4,-1]);;
+gap> ExtRepOfObj(x32);
+[ 1, 1, 2, 1, 3, 1048576, 4, -1 ]
+gap> for i in [0,1,-1,3,-3] do Print(ExtRepOfObj(x32^i),"\n"); od;
+[  ]
+[ 1, 1, 2, 1, 3, 1048576, 4, -1 ]
+[ 4, 1, 3, -1048576, 2, -1, 1, -1 ]
+[ 1, 1, 2, 1, 3, 1048576, 4, -1, 1, 1, 2, 1, 3, 1048576, 4, -1, 1, 1, 2, 1, 
+  3, 1048576, 4, -1 ]
+[ 4, 1, 3, -1048576, 2, -1, 1, -1, 4, 1, 3, -1048576, 2, -1, 1, -1, 4, 1, 3, 
+  -1048576, 2, -1, 1, -1 ]
 
 #
 # test overflow checks when powering

tst/testrandom.g

@@ -27,31 +27,33 @@
 # checkin(e, C): returns if e is in C (usually checkin is '\in').
 
 randomTestInner := function(filter, global_rs, global_randfunc, randfunc, collection, checkin)
-    local test1, test2, test3, test4, test5, test6, local_rs;
+    local RANDOM_REPS, test1, test2, test3, test4, test5, test6, local_rs;
+
+    RANDOM_REPS := 250;
 
     # We do a single call first, to deal with calling Random causing extra attributes
     # of 'collection' to be set, changing the dispatch
     randfunc(collection);
 
     # Firstly, we will generate a base list
     Init(global_rs, 6);
-    test1 := List([1..1000], x -> global_randfunc(collection));
+    test1 := List([1..RANDOM_REPS], x -> global_randfunc(collection));
     # test2 should equal test1
     Init(global_rs, 6);
-    test2 := List([1..1000], x -> global_randfunc(collection));
+    test2 := List([1..RANDOM_REPS], x -> global_randfunc(collection));
     # test3 should also = test1
     Init(global_rs, 6);
-    test3 := List([1..1000], x -> randfunc(global_rs, collection));
+    test3 := List([1..RANDOM_REPS], x -> randfunc(global_rs, collection));
     # test4 should be different (as it came from a different seed)
     Init(global_rs, 8);
-    test4 := List([1..1000], x -> global_randfunc(collection));
+    test4 := List([1..RANDOM_REPS], x -> global_randfunc(collection));
     # test5 should be the same as test4, as it is made from seed 8
     # test6 should be the same as test1. Also, it checks that making test5
     # did not touch the global source at all.
     Init(global_rs, 8);
     local_rs :=  RandomSource(filter, 6);
-    test5 := List([1..1000], x -> randfunc(local_rs, collection));
-    test6 := List([1..1000], x -> global_randfunc(collection));
+    test5 := List([1..RANDOM_REPS], x -> randfunc(local_rs, collection));
+    test6 := List([1..RANDOM_REPS], x -> global_randfunc(collection));
     if ForAny(Concatenation(test1, test2, test3, test4, test5, test6), x -> not (checkin(x, collection)) ) then
         Print("Random member outside collection: ", collection,"\n");
     fi;

tst/teststandard/hash2.tst

@@ -10,12 +10,12 @@ gap> Length(Orbit(g,g.1[1],OnRight));
 gap> g:=GL(8,2);;
 gap> Length(Orbit(g,g.1,OnPoints));
 32385
-gap> m1:=NullMat(64,64,Z(2));;
-gap> for i in [1,9..57] do m1{[i..i+7]}{[i..i+7]}:=g.1;od;  
-gap> m2:=NullMat(64,64,Z(2));;
-gap> for i in [1,9..57] do m2{[i..i+7]}{[i..i+7]}:=g.2;od;
+gap> m1:=NullMat(32,32,Z(2));;
+gap> for i in [1,9..25] do m1{[i..i+7]}{[i..i+7]}:=g.1;od;
+gap> m2:=NullMat(32,32,Z(2));;
+gap> for i in [1,9..25] do m2{[i..i+7]}{[i..i+7]}:=g.2;od;
 gap> h:=Group(m1,m2);;
-gap> Length(Orbit(h,h.1,OnPoints));   
+gap> Length(Orbit(h,h.1,OnPoints));
 32385
 gap> g:=SU(6,3);;
 gap> Length(Orbit(g,g.1[1],OnRight));
@@ -24,11 +24,11 @@ gap> g:=SU(6,2);;
 gap> Length(Orbit(g,g.2^5,OnPoints));
 693
 gap> m1:=NullMat(60,60,Z(4));;
-gap> for i in [1,7..55] do m1{[i..i+5]}{[i..i+5]}:=g.1;od;  
+gap> for i in [1,7..55] do m1{[i..i+5]}{[i..i+5]}:=g.1;od;
 gap> m2:=NullMat(60,60,Z(4));;
 gap> for i in [1,7..55] do m2{[i..i+5]}{[i..i+5]}:=g.2;od;
 gap> h:=Group(m1,m2);;
-gap> Length(Orbit(h,h.1[1],OnRight));  
+gap> Length(Orbit(h,h.1[1],OnRight));
 2079
 gap> Length(Orbit(h,h.2^5,OnPoints));
 693