b=1: v = (1 + i z^2, z)
  b = 1: linear system 4 x 4, rank 4, dim K_v = 0 (expected (b-1)^2 = 0)
  K_v = 0  => (NS)
b=2: v = (i z, 1 + i z^4, 1 + z^2 + i z^3)
  b = 2: linear system 8 x 9, rank 8, dim K_v = 1 (expected (b-1)^2 = 1)
  H0: Re = [['4', '0', '0'], ['0', '2', '0'], ['0', '0', '-2']]  Im = [['0', '-1', '1'], ['1', '0', '1'], ['-1', '-1', '0']]
  v^* H0 v = 2 z^8 ; det H0 = -20 (imag part 0) ; trace = 4  => rank 3 iff det != 0
b=3: integer v from out/cc_m2_exact.txt
  b = 3: linear system 12 x 16, rank 12, dim K_v = 4 (expected (b-1)^2 = 4)
  cubic generators (Re and Im of all 3x3 minors of H(t)): 28
   degree 3: Macaulay rank mod 2147483587 = 16 of 20
   degree 4: Macaulay rank mod 2147483587 = 34 of 35
   degree 5: Macaulay rank mod 2147483587 = 56 of 56
  => no nonzero complex t with rank H(t) <= 2  => (NS)
RESULTS: True True True
