m,p,n = 3 3 9  number of minors 20  max degree 9  gcd degree 0
rank M = 10 (need 10 )
dim U = 11 (expected 11 )
restricted quadric positive definite: True
pivots (floats): [0.0025519486142434257, 0.00023288564881759788, 0.0007383546683804005, 0.00042221867218617, 8.099850902055073e-05, 8.499547455545308e-05, 7.317978486828027e-05, 5.779161324663504e-06, 4.0391016600918767e-05, 1.2254162107949124e-05, 1.0156272760389903e-05]
complex non-degeneracy: dim ker M = 10  Macaulay degree 5  rank mod p = 2002  #monomials = 2002
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
