chiark / gitweb /
Filled in the observations section.
[matchsticks-search.git] / tabulate.py
index 7130affafd48fbde67ccc89dae10e356462a2efd..79d615320d7fe5d16a39aaf520c5022930cc0fc5 100755 (executable)
@@ -151,8 +151,8 @@ def read_and_build_table_cell(n,m):
         ret += show_bound % str(bound)
     ret += "</a></td>\n"
 
-    dump = "<h2><a name=\"details_%d_%d\">n=%d, m=%d</a></h2>\n" % (n, m, n, m)
-    dump += "<p>Best dissection known for %d into %d, with minimum fragment %s:\n" % (n, m, str(best))
+    dump = "<h3><a name=\"details_%d_%d\">n=%d, m=%d</a></h3>\n" % (n, m, n, m)
+    dump += "<p>Best dissection known for %d into %d: minimum fragment is %s.\n" % (n, m, str(best))
     dump += "<ul><li>Cut up %d sticks of length %d as follows:<ul>\n" % (m, n)
     for count, pieces in dissection[0]:
         dump += "<li>%d &times; (%s)\n" % (count, " + ".join(map(str, pieces)))
@@ -187,7 +187,7 @@ def main(args):
 
     table = "<table>"
     table += "<tr>\n"
-    table += "<th>n \\ m</th>\n"
+    table += "<th>n&nbsp;\\&nbsp;m</th>\n"
     for m in range(2,limit-1):
         table += "<th>%d</th>\n" % m
     table += "</tr>\n"