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.001400364690109062, 0.0010298868272847093, 0.0008338665826543605, 0.00012301112834335403, 2.3577655816111186e-05, 3.329209827180374e-05, 7.174378133869834e-05, 1.913298618319974e-06, 9.315704593166779e-06, 1.4446394737055085e-05, 1.4031959103615435e-06]
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
