run-277.m

ZZ := IntegerRing();
ZZx<x> := PolynomialRing(ZZ);

/// DATA for C277
load "277-fields/TR20n";
load "277-fields/test277Gal20";

K0 := NumberField(CAND277_10[1,3]);
residual_traces := [<5,1>];

num_fields := #CAND277_10[2];
fields := func<i | NumberField(CAND277_10[2,i])>;
gals := func<i | TR20n[CAND277_10[3,i]]>;

load "run-test.m";