test 587 with precomputed fields and galois groups

run-587.m

+ZZ := IntegerRing();
+ZZx<x> := PolynomialRing(ZZ);
+
+/// DATA for C587
+load "../Brumer_S6/TR40n";
+load "../Brumer_S6/test587_20";
+
+K0 := NumberField(CAND587_20[1,3]);
+residual_traces := [<3,0>];
+
+num_fields := #CAND587_20[2];
+fields := func<i | NumberField(ZZx!CAND587_20[2,i][1..41])>;
+gals := func<i | TR40n[CAND587_20[2,i][42]]>;
+
+load "run-test.m";