Skip to content
Snippets Groups Projects
Commit 54eefa3e authored by Gonzalo Tornaría's avatar Gonzalo Tornaría
Browse files

report partial time

parent f1429bfb
No related branches found
No related tags found
No related merge requests found
t0 := Cputime();
Attach("Modularity.m");
Attach("GrpExt.m");
Attach("Grp.m");
......@@ -8,6 +10,7 @@ load "ex-277.m";
m := ModNew(R1, rho);
PS := Multiset([]);
time for i := 1 to #qexts do
t := Cputime();
R2:=NumberField(qexts[i]);
proj, phis := ModPhis(m, R2);
dim := Integers() ! Log(2, #Domain(phis[1])/#G1);
......@@ -15,12 +18,14 @@ time for i := 1 to #qexts do
for p in ps do
Include(~PS, p);
end for;
printf "%4o: dim =%2o, %o\n", i, dim, Sort(ps);
printf "%4o: dim =%2o, %-40o %o s\n", i, dim, Sort(ps), Cputime(t);
if i mod 10 eq 0 then
printf "\n%o\n\n", PS;
printf " time: %o s (avg %o s)\n\n", Cputime(t0), Cputime(t0)/i;
end if;
end for;
printf "\n\nFINAL: %o\n\n", PS;
printf "Total time: %o s (avg %o s)\n\n", Cputime(t0), Cputime(t0)/#qexts;
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment