chiark / gitweb /
remove self-edges from tdefeats which makes it prettier and makes no difference
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:51 +0000 (22:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:51 +0000 (22:43 +0000)
compute

diff --git a/compute b/compute
index 6400382c45a97e726dcb1cfa35cce2a7d74e6c2b..f9855c784eb17d7cbdc023ae73e68c5154a861dd 100755 (executable)
--- 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";