chiark / gitweb /
Move the HTML container out into a reworkable template file.
authorSimon Tatham <anakin@pobox.com>
Wed, 19 Mar 2014 21:37:37 +0000 (21:37 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 19 Mar 2014 21:37:41 +0000 (21:37 +0000)
tabulate.py
template.html [new file with mode: 0644]

index 485b9b1..7130aff 100755 (executable)
@@ -81,7 +81,11 @@ def invent_dissection(n,m):
     assert best > 0
     return dissection, this_reason
 
-def read(n,m):
+details = {} # maps (n,m) to a snippet of HTML
+
+def read_and_build_table_cell(n,m):
+    ret = ""
+
     best = 0
 
     # Look for appropriate file(s).
@@ -122,9 +126,10 @@ def read(n,m):
     if best == 0:
         # We don't have a stored solution at all, so make up something
         # plausible if we can.
-        dissection, best_nature = invent_dissection(n, m)
+        dissection, auto_reason = invent_dissection(n, m)
         best = find_min_frag(dissection)
         dissections[(n,m)] = dissection
+        best_nature = 'a'
 
     bound, bound_type = bounds.upper_bound(n, m)
 
@@ -139,54 +144,70 @@ def read(n,m):
         show_bound = ""
     else:
         tdclass = "range"
-        show_bound = " &ndash; %s"
-    sys.stdout.write("<td class=\"%s\">" % tdclass)
-    sys.stdout.write(str(best))
+        show_bound = "&nbsp;&ndash;&nbsp;%s"
+    ret += "<td class=\"%s\"><a href=\"#details_%d_%d\">" % (tdclass, n, m)
+    ret += str(best)
     if show_bound != "":
-        sys.stdout.write(show_bound % str(bound))
-    sys.stdout.write("</td>\n")
+        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 += "<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)))
+    dump += "</ul><li>Reassemble as %d sticks of length %d as follows:<ul>\n" % (n, m)
+    for count, pieces in dissection[1]:
+        dump += "<li>%d &times; (%s)\n" % (count, " + ".join(map(str, pieces)))
+    dump += "</ul></ul>\n"
+    if best == bound:
+        dump += "<p>This dissection is confidently believed optimal because an upper bound proof (%s) matches it.\n" % bound_type
+    elif best_nature == 'e':
+        dump += "<p>This dissection is believed optimal because it was found by an exhaustive search program, although the best upper bound proof (%s) gives an upper bound of %s.\n" % (bound_type, bound)
+        tdclass = "believed"
+        show_bound = ""
+    elif best_nature == 'p':
+        dump += "<p>This dissection was found by a search program which may not be exhaustive (if the conjectured denominator bound is false) and hence may not be optimal, though we think it <em>probably</em> is. The best upper bound proof (%s) gives an upper bound of %s.\n" % (bound_type, bound)
+    else:
+        dump += "<p>This dissection was found "
+        if best_nature == 'm':
+            dump += "by hand"
+        else:
+            dump += "by a simplistic automated method (%s)" % auto_reason
+        dump += ", and is not known to be optimal. The best upper bound proof (%s) gives an upper bound of %s.\n" % (bound_type, bound)
+
+    details[(n, m)] = dump
+
+    return ret
 
 def main(args):
     limit = 31 # FIXME: configurable
-    sys.stdout.write("""\
-<html>
-<head>
-<title>Known bounds for stick-dissecting problem</title>
-<style type="text/css">
-table, td, th {
-    border: 1px solid black;
-    border-collapse: collapse;
-}
-td.known {
-    background-color: #00ff00;
-}
-td.believed {
-    background-color: #aaff00;
-}
-td.probable {
-    background-color: #ffff00;
-}
-td.range {
-    background-color: #ff8888;
-}
-</style>
-</head>
-<body>
-<table>
-""")
-    sys.stdout.write("<tr>\n")
-    sys.stdout.write("<th>n \\ m</th>\n")
+
+    subst = {}
+
+    table = "<table>"
+    table += "<tr>\n"
+    table += "<th>n \\ m</th>\n"
     for m in range(2,limit-1):
-        sys.stdout.write("<th>%d</th>\n" % m)
-    sys.stdout.write("</tr>\n")
+        table += "<th>%d</th>\n" % m
+    table += "</tr>\n"
     for n in range(2,limit):
-        sys.stdout.write("<tr>\n")
-        sys.stdout.write("<th>%d</th>\n" % n)
+        table += "<tr>\n"
+        table += "<th>%d</th>\n" % n
         for m in range(2,n):
-            read(n, m)
-        sys.stdout.write("</tr>\n")
-    sys.stdout.write("</table>\n")
-    sys.stdout.write("</body></html>\n")
+            table += read_and_build_table_cell(n, m)
+        table += "</tr>\n"
+    table += "</table>\n"
+    subst["TABLE"] = table
+
+    subst["DISSECTIONS"] = "".join([data for ((n, m), data) in sorted(details.items())])
+
+    with open("template.html") as f:
+        for line in f:
+            if line[:1] == "%" and line[-2:] == "%\n":
+                sys.stdout.write(subst[line[1:-2]])
+            else:
+                sys.stdout.write(line)
 
 if __name__ == "__main__":
     main(sys.argv[1:])
diff --git a/template.html b/template.html
new file mode 100644 (file)
index 0000000..cd6da57
--- /dev/null
@@ -0,0 +1,27 @@
+<html>
+<head>
+<title>Known bounds for stick-dissecting problem</title>
+<style type="text/css">
+table, td, th {
+    border: 1px solid black;
+    border-collapse: collapse;
+}
+td.known {
+    background-color: #00ff00;
+}
+td.believed {
+    background-color: #aaff00;
+}
+td.probable {
+    background-color: #ffff00;
+}
+td.range {
+    background-color: #ff8888;
+}
+</style>
+</head>
+<body>
+%TABLE%
+%DISSECTIONS%
+</body>
+</html>