Sharedwww / tables / artin / 4288.mOpen in CoCalc
Author: William A. Stein
1
N := 2^6*67;
2
bound := 4000;
3
4
5
F<alp> := GF(25);
6
G<a2,b2,c>:=DirichletGroup(N, F);
7
assert Order(a2) eq 2;
8
assert Order(b2) mod 2 eq 0;
9
assert Order(c) mod 2 eq 0;
10
eps := b2^(Order(b2) div 2)*(c^(Order(c) div 2));
11
12
time M := ModularSymbols(eps,5,+1);
13
"Created M = ", M;
14
15
R<x>:= PolynomialRing(F);
16
I := [<19,x>, <23,x>, <47,x>, <3, x+2>, <7, x+alp^8>];
17
time V := Kernel(I, M);
18
"Created V = ", V;
19
save "4288.space";
20
21
if Dimension(V) ne 2 then
22
error "Dimension of V is not 2.";
23
end if;
24
25
printf "Computing T_2, T_3, T_5, ..., T_%o.\n", PreviousPrime(bound+1);
26
time T := [DualHeckeOperator(V,p) : p in [2..bound] | IsPrime(p)];
27
28
file := Open(IntegerToString(N) cat ".Tp", "w");
29
fprintf file, "F<alp> := GF(%o);\n", #F;
30
fprintf file, "T%o := \n %m;\n", N, T;
31
32
print "All done!";
33