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): [2.894990022897253, 2.604138746297094, 9.582292307939216, 0.3867060406158218, 0.499387127780901, 1.0669460561788697, 1.0705474116504428]
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
