From 7ff909307feec417f9ca7fbc37e07100ce751114 Mon Sep 17 00:00:00 2001
From: Yu Cong <sxlxcsxlxc@gmail.com>
Date: Sun, 19 Oct 2025 23:33:57 +0800
Subject: [PATCH] fix bug

---
 projection.sage | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/projection.sage b/projection.sage
index 4cbff4c..8f5ba2e 100644
--- a/projection.sage
+++ b/projection.sage
@@ -30,9 +30,8 @@ def cogirthip(bases, integral=true):
 
 cnt=0   # actual number of instances tested
 f = lambda g: g.is_connected()
-for n in range(4,5):
+for n in range(4,20):
     for g in filter(f, graphs(n)):
-        g=graphs.CompleteGraph(4)
         A=g.incidence_matrix()
         n,m = A.dimensions()
         # enumerate all vectors in F_2^n with even number of 1s
@@ -50,6 +49,6 @@ for n in range(4,5):
             if gap > 2.01:
                 print(f"bad example! gap={gap}")
                 with open("projection.out", "a") as f:
-                    f.write(str(A_t)+"\n\n")
+                    f.write(str(gap)+"\n"+str(A_t)+"\n")
             else:
                 print(f"n={n},m={m},gap={gap}")
\ No newline at end of file