/*
  This code can be loaded, or copied and pasted, into Magma.
  It will load the data associated to the BMF, including
  the field, level, and Hecke and Atkin-Lehner eigenvalue data.
  At the *bottom* of the file, there is code to recreate the
  Bianchi modular form in Magma, by creating the BMF space
  and cutting out the corresponding Hecke irreducible subspace.
  From there, you can ask for more eigenvalues or modify as desired.
  It is commented out, as this computation may be lengthy.
*/

P<x> := PolynomialRing(Rationals());
g := P![1, 0, 1];
F<i> := NumberField(g);
ZF := Integers(F);

NN := ideal<ZF | {6936, 12*i + 3924}>;

primesArray := [
[2,i+1],
[5,i+2],
[5,i-2],
[3,3],
[13,i+5],
[13,i-5],
[17,i+4],
[17,i-4],
[29,i+12],
[29,i-12],
[37,i+6],
[37,i-6],
[41,i+9],
[41,i-9],
[7,7],
[53,i+23],
[53,i-23],
[61,i+11],
[61,i-11],
[73,i+27],
[73,i-27],
[89,i+34],
[89,i-34],
[97,i+22],
[97,i-22],
[101,i+10],
[101,i-10],
[109,i+33],
[109,i-33],
[113,i+15],
[113,i-15],
[11,11],
[137,i+37],
[137,i-37],
[149,i+44],
[149,i-44],
[157,i+28],
[157,i-28],
[173,i+80],
[173,i-80],
[181,i+19],
[181,i-19],
[193,i+81],
[193,i-81],
[197,i+14],
[197,i-14],
[229,i+107],
[229,i-107],
[233,i+89],
[233,i-89],
[241,i+64],
[241,i-64],
[257,i+16],
[257,i-16],
[269,i+82],
[269,i-82],
[277,i+60],
[277,i-60],
[281,i+53],
[281,i-53],
[293,i+138],
[293,i-138],
[313,i+25],
[313,i-25],
[317,i+114],
[317,i-114],
[337,i+148],
[337,i-148],
[349,i+136],
[349,i-136],
[353,i+42],
[353,i-42],
[19,19],
[373,i+104],
[373,i-104],
[389,i+115],
[389,i-115],
[397,i+63],
[397,i-63],
[401,i+20],
[401,i-20],
[409,i+143],
[409,i-143],
[421,i+29],
[421,i-29],
[433,i+179],
[433,i-179],
[449,i+67],
[449,i-67],
[457,i+109],
[457,i-109],
[461,i+48],
[461,i-48],
[509,i+208],
[509,i-208],
[521,i+235],
[521,i-235],
[23,23],
[541,i+52],
[541,i-52],
[557,i+118],
[557,i-118],
[569,i+86],
[569,i-86],
[577,i+24],
[577,i-24],
[593,i+77],
[593,i-77],
[601,i+125],
[601,i-125],
[613,i+35],
[613,i-35],
[617,i+194],
[617,i-194],
[641,i+154],
[641,i-154],
[653,i+149],
[653,i-149],
[661,i+106],
[661,i-106],
[673,i+58],
[673,i-58],
[677,i+26],
[677,i-26],
[701,i+135],
[701,i-135],
[709,i+96],
[709,i-96],
[733,i+353],
[733,i-353],
[757,i+87],
[757,i-87],
[761,i+39],
[761,i-39],
[769,i+62],
[769,i-62],
[773,i+317],
[773,i-317],
[797,i+215],
[797,i-215],
[809,i+318],
[809,i-318],
[821,i+295],
[821,i-295],
[829,i+246],
[829,i-246],
[853,i+333],
[853,i-333],
[857,i+207],
[857,i-207],
[877,i+151],
[877,i-151],
[881,i+387],
[881,i-387],
[929,i+324],
[929,i-324],
[937,i+196],
[937,i-196],
[941,i+97],
[941,i-97],
[953,i+442],
[953,i-442],
[31,31],
[977,i+252],
[977,i-252],
[997,i+161],
[997,i-161],
[1009,i+469],
[1009,i-469],
[1013,i+45],
[1013,i-45],
[1021,i+374],
[1021,i-374],
[1033,i+355],
[1033,i-355],
[1049,i+426],
[1049,i-426],
[1061,i+103],
[1061,i-103],
[1069,i+249],
[1069,i-249],
[1093,i+530],
[1093,i-530],
[1097,i+341],
[1097,i-341],
[1109,i+354],
[1109,i-354],
[1117,i+214],
[1117,i-214],
[1129,i+168],
[1129,i-168],
[1153,i+140],
[1153,i-140],
[1181,i+243],
[1181,i-243],
[1193,i+186],
[1193,i-186],
[1201,i+49],
[1201,i-49],
[1213,i+495]];
primes := [ideal<ZF | {F!x : x in I}> : I in primesArray];

heckePol := x;
K := Rationals(); e := 1;

heckeEigenvaluesList := [*
0,
-1,
0,
1,
-7,
-6,
0,
-6,
-4,
5,
-6,
-2,
-9,
3,
-9,
-4,
13,
-4,
-11,
4,
-10,
10,
-16,
-16,
6,
15,
-4,
4,
-15,
5,
-9,
-4,
6,
-17,
20,
-5,
-13,
2,
-6,
23,
14,
-7,
-2,
4,
18,
-14,
-8,
-6,
-24,
12,
-18,
-16,
2,
7,
14,
0,
-21,
14,
-18,
18,
-6,
6,
-10,
-13,
-3,
6,
-23,
18,
21,
-20,
-1,
31,
-20,
-11,
32,
-6,
-26,
12,
-14,
4,
-14,
-31,
-25,
10,
-34,
2,
-16,
-14,
38,
23,
29,
6,
-38,
-35,
34,
-9,
3,
-18,
-26,
-25,
34,
27,
3,
-30,
-25,
-1,
-39,
2,
18,
-34,
2,
1,
6,
32,
-46,
50,
6,
-9,
14,
-10,
4,
-8,
18,
-28,
7,
20,
38,
-20,
-11,
-20,
-41,
34,
-17,
-22,
14,
-28,
-6,
-42,
-12,
18,
26,
1,
15,
30,
-46,
14,
34,
0,
31,
15,
14,
17,
-18,
-37,
-38,
-52,
-28,
50,
46,
18,
-15,
39,
-3,
-36,
-16,
-14,
-16,
0,
-2,
-53,
42,
-20,
-9,
-26,
36,
24,
6,
-18,
9,
-15,
-10,
47,
-56,
-36,
-28,
-47,
4,
8,
-9,
-7,
17,
-5,
-59,
-36,
18,
-8,
-20,
-5,
17,
-8
*];

heckeEigenvalues := AssociativeArray();
for i in [1..#heckeEigenvaluesList] do
    heckeEigenvalues[primes[i]] := heckeEigenvaluesList[i];
end for;

ALEigenvalues := AssociativeArray();
ALEigenvalues[ideal<ZF | {i + 1}>] := 1;
ALEigenvalues[ideal<ZF | {3}>] := -1;
ALEigenvalues[ideal<ZF | {i + 4}>] := 1;

// EXAMPLE:
// pp := Factorization(2*ZF)[1][1];
// heckeEigenvalues[pp];

print "To reconstruct the Bianchi newform f, type
  f, iso := Explode(make_newform());";

function make_newform();
 M := BianchiCuspForms(F, NN);
 S := NewSubspace(M);
 // SetVerbose("Bianchi", 1);
 NFD := NewformDecomposition(S);
 newforms := [* Eigenform(U) : U in NFD *];

 if #newforms eq 0 then;
  print "No Bianchi newforms at this level";
  return 0;
 end if;

 print "Testing ", #newforms, " possible newforms";
 newforms := [* f: f in newforms | IsIsomorphic(BaseField(f), K) *];
 print #newforms, " newforms have the correct Hecke field";

 if #newforms eq 0 then;
  print "No Bianchi newform found with the correct Hecke field";
  return 0;
 end if;

 autos := Automorphisms(K);
 xnewforms := [* *];
 for f in newforms do;
  if K eq RationalField() then;
   Append(~xnewforms, [* f, autos[1] *]);
  else;
   flag, iso := IsIsomorphic(K,BaseField(f));
   for a in autos do;
    Append(~xnewforms, [* f, a*iso *]);
   end for;
  end if;
 end for;
 newforms := xnewforms;

 for P in primes do;
  if Valuation(NN,P) eq 0 then;
   xnewforms := [* *];
   for f_iso in newforms do;
    f, iso := Explode(f_iso);
    if HeckeEigenvalue(f,P) eq iso(heckeEigenvalues[P]) then;
     Append(~xnewforms, f_iso);
    end if;
   end for;
   newforms := xnewforms;
   if #newforms eq 0 then;
    print "No Bianchi newform found which matches the Hecke eigenvalues";
    return 0;
   else if #newforms eq 1 then;
    print "success: unique match";
    return newforms[1];
   end if;
   end if;
  end if;
 end for;
 print #newforms, "Bianchi newforms found which match the Hecke eigenvalues";
 return newforms[1];

end function;