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
linear system 16 x 25, rank 16, dim K_v = 9
cubic generators: 190
degree 7 : 6435 monomials, 495 multipliers
   rows used 400: rank 399 of 6435  (0 s)
   rows used 800: rank 798 of 6435  (2 s)
   rows used 1200: rank 1191 of 6435  (23 s)
   rows used 1600: rank 1584 of 6435  (61 s)
   rows used 2000: rank 1975 of 6435  (97 s)
   rows used 2400: rank 2364 of 6435  (130 s)
   rows used 2800: rank 2752 of 6435  (161 s)
   rows used 3200: rank 3143 of 6435  (190 s)
   rows used 3600: rank 3532 of 6435  (218 s)
   rows used 4000: rank 3918 of 6435  (243 s)
   rows used 4400: rank 4300 of 6435  (267 s)
   rows used 4800: rank 4684 of 6435  (287 s)
   rows used 5200: rank 5066 of 6435  (303 s)
   rows used 5600: rank 5441 of 6435  (317 s)
   rows used 6000: rank 5821 of 6435  (329 s)
   rows used 6400: rank 6188 of 6435  (338 s)
   rows used 6800: rank 6435 of 6435  (343 s)
FINAL: Macaulay rank mod 1048573 = 6435 of 6435 ; rows used 6800 ; 343 s
=> no nonzero complex t with rank H(t) <= 2 => (NS) for this (2,8) curve
