Commit 0b71f5c5 authored by Gonzalo Tornaría's avatar Gonzalo Tornaría

rename R2 --> L0

parent 7acb3d40
......@@ -64,7 +64,7 @@ printf "Init time: %o s\n\n", Cputime(t0);
time for i := 1 to num_fields do
t := Cputime();
R2 :=fields(i);
L0 :=fields(i);
gal2 := gals(i);
cc2 := [c[3] : c in ConjugacyClasses(gal2)];
......@@ -103,7 +103,7 @@ time for i := 1 to num_fields do
continue;
end if;
pat := <frobK0[p], FrobeniusStructure(R2, p)>;
pat := <frobK0[p], FrobeniusStructure(L0, p)>;
if not IsDefined(fc, pat) then
// phi does *not* extend rho
Append(~ps, -p);
......@@ -136,9 +136,9 @@ time for i := 1 to num_fields do
if discK0 mod p eq 0 then
continue;
end if;
frob := FrobeniusElement(R2, p);
galgal, _, s := GaloisGroup(R2);
assert GaloisProof(R2, s);
frob := FrobeniusElement(L0, p);
galgal, _, s := GaloisGroup(L0);
assert GaloisProof(L0, s);
assert frob in galgal;
b, iso := IsIsomorphicPerm(galgal, gal2);
assert b;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment