chiark / gitweb /
Highly compressed world-summary strings.
[rocl] / elite-tantalus
index 8a2919113564e31d746c69f52be89981c6d6f71b..bdb628500b19d8e1407e9fa40267bc137a287f59 100755 (executable)
@@ -7,7 +7,7 @@ package require "vector" "1.0.0"
 package require "graph" "1.0.0"
 
 set gg {1 2 3 4 5 6 7 8}
-set maxdist 80
+set maxdist 100
 set minratio 10
 
 for {set i 0} {$i < [llength $argv]} {incr i} {
@@ -69,7 +69,9 @@ foreach g $gg {
       set dd [$lv get $i $j]
       set r [expr {$dd/"$d.0"}]
       if {$r >= $minratio} {
-       puts "$g: [worldname $w] -> [worldname $ww]: $d $dd ($r)"
+       puts [format "%14s %s -> %s %4.1f %5.1f (%4.1f)" \
+                 $g [world-brief $w] [world-brief $ww] \
+                 [expr {$d/10.0}] [expr {$dd/10.0}] $r]
       }
     }
   }
@@ -77,4 +79,3 @@ foreach g $gg {
   $lv destroy
   $pv destroy
 }
-