simplify test for 'hard' field for C353

run-field-p181.m

+t0 := Cputime();
+
 AttachSpec("mod.spec");
 
 debug:=false;
@@ -73,8 +75,8 @@ procedure solve(f)
   // finding the embeding R1 in R2 takes a long time otherwise
   SetClassGroupBounds("GRH");
 
-  time R2 := AbelianExtension(NumberField(Factorization(ChangeRing(f,R1))[1,1]));
-  time R2 := NumberField(R2);
+  R2 := AbelianExtension(NumberField(Factorization(ChangeRing(f,R1))[1,1]));
+  R2 := NumberField(R2);
 
   ////
 
@@ -83,26 +85,17 @@ procedure solve(f)
   "\nQuadratic extension given by";
   g181a;
 
-  time proj, phis := ModPhis(m, R2);
-
-  "\nUsing rho(Frob)";
-  [ModPrimes(m, R2, proj, phi : debug:=debug, check_frob) : phi in phis];
-
-  "\nUsing rho(Frob)";
-  [ModPrimes(m, R2, proj, phi : debug:=debug,
-                check_frob, check_residual := residual_traces) : phi in phis];
+  proj, phis := ModPhis(m, R2);
 
   "\nUsing the cycle decomposition of rho(Frob)";
   [ModPrimes(m, R2, proj, phi : debug:=debug,
                 check_residual:=residual_traces) : phi in phis];
 
-  "\nUsing the order of rho(Frob)";
-  [ModPrimes(m, R2, proj, phi : debug:=debug, only_order,
+  "\nUsing the actual rho(Frob)";
+  [ModPrimes(m, R2, proj, phi : debug:=debug, check_frob,
                 check_residual:=residual_traces) : phi in phis];
 
-  "\nNOT Using the order of rho(Frob)";
-  [ModPrimes(m, R2, proj, phi : debug:=debug, no_order,
-               check_residual := residual_traces) : phi in phis];
+  "\n";
 
 end procedure;
 
@@ -111,3 +104,5 @@ solve(g137b);
 solve(g181a);
 solve(g181b);
 
+printf "\nTotal time: %o s\n", Cputime(t0);
+