m,p,n = 2 4 8  number of minors 15  max degree 8  gcd degree 0
rank M = 9 (need 9 )
dim U = 7 (expected 7 )
restricted quadric positive definite: True
pivots (floats): [0.06006388727239758, 0.149109863233893, 0.2492229464775535, 0.013809845351043373, 0.03994492184391219, 0.00249111256224283, 0.0027642927186136285]
complex non-degeneracy: dim ker M = 6  Macaulay degree 4  rank mod p = 126  #monomials = 126
RESULT: in Q(m,m+p): True | rank M = n+1: True | PD certificate (no real solution, incl. degenerate): True | complex non-degenerate: True
ALL CHECKS PASSED
