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): [1.0, 1.0, 0.30357375, 0.30357375, 0.380236326428092, 0.380236326428092, 0.9955610519671626]
RESULT: in Q(m,m+p): True | rank M = n+1: True | PD certificate (no real solution, incl. degenerate): True | complex non-degenerate: None
ALL CHECKS PASSED
