"Source: Text/System/Par.text";
"Line: 452";
"Date: Thu Jul 13 10:19:10 2023";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/Par.text, line: 452
// Example: H5E3 ()
print "Example: H5E3";
ei := GetEchoInput();
SetEchoInput(true);
// no-test
K := GF(2);
for i in [16 .. 19] do
   n := 2^i;
   printf "Dim: 2^%o = %o\n", i, n;
   A := Random(MatrixRing(K, n));
   B := Random(MatrixRing(K, n));
   IndentPush();
   "1 GPU:";
   t0 := Cputime(); SetNGPUs(1); time P1 := A*B; t0 := Cputime(t0);
   "2 GPUs:";
   t1 := Cputime(); SetNGPUs(2); time P2 := A*B; t1 := Cputime(t1);
   printf "Speedup: %.3o\n", t0/t1;
   assert P1 eq P2;
   IndentPop();
end for;
SetEchoInput(ei);
