(a,b) = (2,1), (m,p) = (4,2), n = 8, seed 1, coefficients in [-3,3]; 15 Pluecker coordinates, 15 distinct relations R_IJ
  dim U(V_R) = 7 (C(N,m) - n = 7)   [0.0 s]
  restricted forms: 15 non-zero   [0.0 s]
  start 0: lambda_min = 1.8548e-01
  multipliers rounded to integers / 1000: exact test positive definite on U(V_R): True   [0.0 s]
  Q = 0 at 10/10 random integer 4x6 matrices; smallest pivot 0.5655
RESULT (4,2) seed 1: EXACT CERTIFICATE VERIFIED   [0.0 s]
