Q(rt11) Disc=44 -------------------- n=2 Gram Matrix A= [2,rt11] [rt11,6] h=1 Automorphism group size: [8] Trivial case. -------------------- n=4 Gram Matrix A oplus A h=7 Automorphism group sizes: [128, 1152, 32, 96, 144, 48, 144] Neighbour Matrices: N(P)=2 [0 4 1 4 0 0 0] [1 0 0 0 2 4 2] [9 0 0 0 0 0 0] [3 0 0 0 0 6 0] [0 9 0 0 0 0 0] [0 6 0 3 0 0 0] [0 9 0 0 0 0 0] CharPoly = x(x-9)(x-2)(x+2)(x+9)(x^2-18) N(P)=9 [36 0 0 0 8 48 8] [ 0 81 1 18 0 0 0] [ 0 36 16 48 0 0 0] [ 0 54 4 42 0 0 0] [ 9 0 0 0 37 42 12] [18 0 0 0 14 54 14] [ 9 0 0 0 12 42 37] CharPoly = (x-100)^2(x-30)^2(x-25)(x-9)^2 N(P)=5 [ 4 0 0 0 8 16 8] [ 0 25 1 10 0 0 0] [ 0 36 0 0 0 0 0] [ 0 30 0 6 0 0 0] [ 9 0 0 0 9 18 0] [ 6 0 0 0 6 18 6] [ 9 0 0 0 0 18 9] CharPoly = (x-36)^2(x-9)(x-1)^2(x+6)^2 N(P)=7 [ 0 0 64 0 0 0 0] [ 0 0 0 0 32 0 32] [16 0 0 0 8 32 8] [ 0 0 0 0 16 32 16] [ 0 4 36 24 0 0 0] [ 0 0 48 16 0 0 0] [ 0 4 36 24 0 0 0] CharPoly = x(x-64)(x-8)(x+8)(x+64)(x^2-512) N(P)=11 [ 0 16 64 64 0 0 0] [144 0 0 0 0 0 0] [ 16 0 0 0 32 64 32] [ 48 0 0 0 0 96 0] [ 0 0 144 0 0 0 0] [ 0 0 96 48 0 0 0] [ 0 0 144 0 0 0 0] CharPoly = x(x-144)(x-32)(x+32)(x+144)(x^2-4608) -------------------- n=6 Gram Matrix A oplus A oplus A Mass = 1.96 Too big.