From 158e73beba18676d13fd83d5506de16217bb2c43 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 2 Feb 2014 22:43:51 +0000
Subject: [PATCH] remove self-edges from tdefeats which makes it prettier and
 makes no difference

---
 compute | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compute b/compute
index 6400382..f9855c7 100755
--- a/compute
+++ b/compute
@@ -280,6 +280,10 @@ for (;;) {
 
     my $tdefeats = $defeats->transitive_closure();
 
+    # this makes the debugging output prettier
+    foreach my $ch (@choices) {
+	$tdefeats->delete_edge($ch,$ch);
+    }
     print "closure graph: $tdefeats\n";
 
     print "\nSchwartz set A.6(6)\n";
-- 
2.30.2