Low-rank quadratics can fail if chol returns factorization despite being low-rank. Case reported by Dan Iancu on groups