Skip to content

Commit

Permalink
Adjust test files.
Browse files Browse the repository at this point in the history
Hopefully these versions are safe on 32 and 64 bit
  • Loading branch information
stevelinton committed Dec 17, 2018
1 parent 6ad791a commit c044ee3
Show file tree
Hide file tree
Showing 12 changed files with 235 additions and 237 deletions.
4 changes: 2 additions & 2 deletions tst/testbugfix/00016.tst
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
## bug 2 for fix 4.
gap> 1 * One( Integers mod NextPrimeInt( 2^16 ) );
ZmodpZObj( 1, 65537 )
gap> 1 * One( Integers mod NextPrimeInt( 2^24 ) );
ZmodpZObj( 1, 16777259 )
gap> f:=FreeGroup("a","b");;g:=f/[Comm(f.1,f.2),f.1^5,f.2^7];;Pcgs(g);;
gap> n:=Subgroup(g,[g.2]);; m:=ModuloPcgs(g,n);;
gap> ExponentsOfPcElement(m,m[1]);
Expand Down
4 changes: 2 additions & 2 deletions tst/testbugfix/2007-01-22-t00169.tst
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# 2007/01/22 (SL)
gap> F := GF(7,3);;
gap> F1 := GF(F,2);;
gap> F1 := GF(F,4);;
gap> a := PrimitiveRoot(F1);;
gap> B := Basis(F1);;
gap> Coefficients(B,a^0);
[ z0, 0z ]
[ z0, 0z, 0z, 0z ]
6 changes: 3 additions & 3 deletions tst/testbugfix/2007-02-14-t00170.tst
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# 2007/02/14 (SL)
gap> m:= [ [ Z(2,18)^0, 0*Z(2,18) ],
> [ Z(2)^0+Z(2,18)+Z(2,18)^2+Z(2,18)^7+Z(2,18)^8+Z(2,18)^10+Z(2,18)^12
> +Z(2,18)^14+Z(2,18)^15, Z(2,18)^0 ] ];;
gap> m:= [ [ Z(2,28)^0, 0*Z(2,28) ],
> [ Z(2)^0+Z(2,28)+Z(2,28)^2+Z(2,28)^7+Z(2,28)^8+Z(2,28)^10+Z(2,28)^12
> +Z(2,28)^14+Z(2,28)^15, Z(2,28)^0 ] ];;
gap> KroneckerProduct( [[Z(2)]], m );
[ <a GF2 vector of length 2>, [ 1+z+z2+z7+z8+z10+z12+z14+z15, z0 ] ]
4 changes: 2 additions & 2 deletions tst/testbugfix/2007-02-23-t00172.tst
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
# 2007/02/23 (Max)
gap> Enumerator(GF(74761));
<enumerator of GF(74761)>
gap> Enumerator(GF(33554467));
<enumerator of GF(33554467)>
2 changes: 1 addition & 1 deletion tst/testbugfix/2007-03-12-t00173.tst
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# 2007/03/12 (SL)
gap> z := Z(3,12)-Z(3,12);
gap> z := Z(3,20)-Z(3,20);
0z
gap> DegreeFFE(z);
1
Expand Down
6 changes: 3 additions & 3 deletions tst/testbugfix/2007-03-20-t00175.tst
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# 2007/03/20 (SL)
gap> x := Z(2,18)^((2^18-1)/511);;
gap> b := Basis(GF(512));;
gap> x := Z(2,28)^((2^28-1)/16383);;
gap> b := Basis(GF(2^14));;
gap> Coefficients(b,x);
[ 0z, z0, 0z, 0z, 0z, 0z, 0z, 0z, 0z ]
[ 0z, z0, 0z, 0z, 0z, 0z, 0z, 0z, 0z, 0z, 0z, 0z, 0z, 0z ]
4 changes: 2 additions & 2 deletions tst/testbugfix/2008-03-26-t00206.tst
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
# 2008/03/26 (TB)
gap> FrobeniusCharacterValue( E(55), 2 );
z+z2+z3+z4+z5+z6+z8+z10+z12+z13+z14+z16+z17+z19
gap> FrobeniusCharacterValue( E(55), 2 ) = Z(2,20)^19065;
true
6 changes: 2 additions & 4 deletions tst/testbugfix/2008-08-13-t00200.tst
Original file line number Diff line number Diff line change
Expand Up @@ -3,13 +3,11 @@ gap> Z(3,20) + Z(3,20)^0;
1+z
gap> AA := Z(3^10)^30683;
Z(3^10)^30683
gap> BB := Z(3)^0+Z(3^15)^3+Z(3^15)^4+2*Z(3^15)^5+2*Z(3^15)^8+2*Z(3^15)^10+2*Z(3^15)^11+Z(3^15)^13;
1+z3+z4+2z5+2z8+2z10+2z11+z13
gap> BB := Z(3)^0+Z(3^15)^3+Z(3^15)^4+2*Z(3^15)^5+2*Z(3^15)^8+2*Z(3^15)^10+2*Z(3^15)^11+Z(3^15)^13;;
gap> AA=BB;
false
gap> RT := Z(3^6);
Z(3^6)
gap> DD := Z(3^12)+Z(3^12)^2+2*Z(3^12)^3+2*Z(3^12)^4+Z(3^12)^5+Z(3^12)^6+Z(3^12)^7+Z(3^12)^8+2*Z(3^12)^9;
z+z2+2z3+2z4+z5+z6+z7+z8+2z9
gap> DD := Z(3^12)+Z(3^12)^2+2*Z(3^12)^3+2*Z(3^12)^4+Z(3^12)^5+Z(3^12)^6+Z(3^12)^7+Z(3^12)^8+2*Z(3^12)^9;;
gap> LogFFE(DD,RT);
340
356 changes: 177 additions & 179 deletions tst/testinstall/ffeconway.tst

Large diffs are not rendered by default.

10 changes: 6 additions & 4 deletions tst/testinstall/hpc/comprvec.tst
Original file line number Diff line number Diff line change
Expand Up @@ -58,8 +58,9 @@ gap> t:=CopyToVectorRep(v,4);
[ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2) ]
gap> RepresentationsOfObject(t);
[ "IsDataObjectRep", "Is8BitVectorRep" ]
gap> F:=GF(2^17);;
gap> v:=Filtered(F,x -> x in GF(256));
gap> F:=GF(2^25);;
gap> p:=PrimitiveElement(F);;
gap> v:=[0*p, p^0];
[ 0z, z0 ]
gap> IS_VECFFE(v);
false
Expand All @@ -77,8 +78,9 @@ gap> z1=z2;
true
gap> List([z,z1,z2],x -> IsIdenticalObj(v,x));
[ false, false, false ]
gap> F:=GF(41^3);;
gap> v:=Filtered(F,x -> x in GF(41));;
gap> F:=GF(41^5);;
gap> p:=PrimitiveElement(F)^((41^5-1)/(41-1));;
gap> v:=Concatenation([0*p],List([0..39],x->p^x));;
gap> IS_VECFFE(v);
false
gap> IsFFECollection(v);
Expand Down
2 changes: 1 addition & 1 deletion tst/testinstall/hpc/tasks.tst
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ gap> CallAsTask(ZmodnZ,33);
(Integers mod 33)
gap> CallAsTask(ZmodnZ,70001);
GF(70001)
gap> CallAsTask( Z, 2, 17);
gap> CallAsTask( Z, 2, 35);
z
gap> z:=CallAsTask( Z, 65537, 2 );
z
Expand Down
68 changes: 34 additions & 34 deletions tst/testinstall/zmodnz.tst
Original file line number Diff line number Diff line change
Expand Up @@ -138,15 +138,15 @@ GF(7)
#
# large prime field
#
gap> p:= NextPrimeInt( MAXSIZE_GF_INTERNAL );
65537
gap> p:= NextPrimeInt( 2^32 );
4294967311
gap> Famp:= ElementsFamily( FamilyObj( Integers mod p ) );;
gap> z1:= ZmodnZObj( Famp, -3 );
ZmodpZObj( 65534, 65537 )
ZmodpZObj( 4294967308, 4294967311 )
gap> z2:= ZmodnZObj( Famp, 1 );
ZmodpZObj( 1, 65537 )
ZmodpZObj( 1, 4294967311 )
gap> z3:= ZmodnZObj( Famp, 10 );
ZmodpZObj( 10, 65537 )
ZmodpZObj( 10, 4294967311 )
gap> z1 = z2; z2 = z3;
false
false
Expand All @@ -161,51 +161,51 @@ gap> z1 = Zero( GF(p) ); Zero( GF(p) ) = z1;
false
false
gap> z1 + z2; z1 + z3; z2 + z3; z1 + 1; 2 + z2;
ZmodpZObj( 65535, 65537 )
ZmodpZObj( 7, 65537 )
ZmodpZObj( 11, 65537 )
ZmodpZObj( 65535, 65537 )
ZmodpZObj( 3, 65537 )
ZmodpZObj( 4294967309, 4294967311 )
ZmodpZObj( 7, 4294967311 )
ZmodpZObj( 11, 4294967311 )
ZmodpZObj( 4294967309, 4294967311 )
ZmodpZObj( 3, 4294967311 )
gap> z1 - z2; z1 - z3; z2 - z3; z1 - 1; 2 - z2;
ZmodpZObj( 65533, 65537 )
ZmodpZObj( 65524, 65537 )
ZmodpZObj( 65528, 65537 )
ZmodpZObj( 65533, 65537 )
ZmodpZObj( 1, 65537 )
ZmodpZObj( 4294967307, 4294967311 )
ZmodpZObj( 4294967298, 4294967311 )
ZmodpZObj( 4294967302, 4294967311 )
ZmodpZObj( 4294967307, 4294967311 )
ZmodpZObj( 1, 4294967311 )
gap> z1 * z2; z1 * z3; z2 * z3; z1 * 1; 2 * z2;
ZmodpZObj( 65534, 65537 )
ZmodpZObj( 65507, 65537 )
ZmodpZObj( 10, 65537 )
ZmodpZObj( 65534, 65537 )
ZmodpZObj( 2, 65537 )
ZmodpZObj( 4294967308, 4294967311 )
ZmodpZObj( 4294967281, 4294967311 )
ZmodpZObj( 10, 4294967311 )
ZmodpZObj( 4294967308, 4294967311 )
ZmodpZObj( 2, 4294967311 )
gap> z1 / z2; z1 / z3; z2 / z3; z1 / 1; 2 / z2;
ZmodpZObj( 65534, 65537 )
ZmodpZObj( 58983, 65537 )
ZmodpZObj( 45876, 65537 )
ZmodpZObj( 65534, 65537 )
ZmodpZObj( 2, 65537 )
ZmodpZObj( 4294967308, 4294967311 )
ZmodpZObj( 1288490193, 4294967311 )
ZmodpZObj( 3865470580, 4294967311 )
ZmodpZObj( 4294967308, 4294967311 )
ZmodpZObj( 2, 4294967311 )
gap> z2^3; z2^(-2); z2^0;
ZmodpZObj( 1, 65537 )
ZmodpZObj( 1, 65537 )
ZmodpZObj( 1, 65537 )
ZmodpZObj( 1, 4294967311 )
ZmodpZObj( 1, 4294967311 )
ZmodpZObj( 1, 4294967311 )
gap> DegreeFFE( z1 ); DegreeFFE( z2 ); DegreeFFE( z3 );
1
1
1
gap> Int( z1 ); Int( z2 ); Int( z3 );
65534
4294967308
1
10
gap> SquareRoots( GF(p), z1 );
[ ]
[ ZmodpZObj( 122581002, 4294967311 ), ZmodpZObj( 4172386309, 4294967311 ) ]
gap> SquareRoots( GF(p), z2 );
[ ZmodpZObj( 1, 65537 ), ZmodpZObj( 65536, 65537 ) ]
[ ZmodpZObj( 1, 4294967311 ), ZmodpZObj( 4294967310, 4294967311 ) ]
gap> SquareRoots( GF(p), z3 );
[ ]
[ ZmodpZObj( 495820313, 4294967311 ), ZmodpZObj( 3799146998, 4294967311 ) ]
gap> ModulusOfZmodnZObj( z1 );
65537
4294967311
gap> DefaultRingByGenerators( [ z1 ] );
GF(65537)
GF(4294967311)
#
# ring that is not a field
Expand Down

0 comments on commit c044ee3

Please sign in to comment.