m,p,n = 2 5 10  number of minors 21  max degree 10  gcd degree 0
rank M = 11 (need 11 )
dim U = 11 (expected 11 )
restricted quadric positive definite: True
pivots (floats): [0.3488314145263025, 6.206385140188062, 0.22645810122486634, 1.113949706223086, 0.3932031125234007, 0.16992033631148945, 0.06026966800848369, 0.11454584136917885, 0.08020454867830011, 0.0328215689605786, 0.04526883257769446]
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
