import os # STYLE FONT = "Helvetica,Arial,sans-serif" # PALETTE INK = "#000000" MUTED = "#8e8e93" PALE = "#bababf" PAPER = "#ffffff" CONCEPT = { "gasket": "#00cad8", "carpet": "#008cff", "sponge": "#6768fa", "prime": "#ff325a", "bound": "#ff8f2c", "window": "#ff3d40", "control": "#8e8e93", } PALETTE = { "black": "#000000", "white": "#ffffff", "red": "#ff3d40", "red-light": "#ff9d95", "red-dark": "#a80016", "orange": "#ff8f2c", "orange-light": "#ffc093", "orange-dark": "#a25400", "yellow": "#ffd100", "yellow-light": "#ffe591", "yellow-dark": "#9e8100", "green": "#32cc58", "green-light": "#5eee79", "green-dark": "#007f2c", "mint": "#00d1bb", "mint-light": "#48efd8", "mint-dark": "#008173", "teal": "#00cad8", "teal-light": "#48e9f7", "teal-dark": "#007c85", "cyan": "#1ec9f3", "cyan-light": "#86e2ff", "cyan-dark": "#007c98", "blue": "#008cff", "blue-light": "#84bdff", "blue-dark": "#00559f", "indigo": "#6768fa", "indigo-light": "#9ea9ff", "indigo-dark": "#3c2abc", "purple": "#d332e9", "purple-light": "#f08aff", "purple-dark": "#870097", "pink": "#ff325a", "pink-light": "#ff9a9f", "pink-dark": "#a50030", "brown": "#b18462", "brown-light": "#dfaf8c", "brown-dark": "#754c2b", "gray": "#8e8e93", "gray-light": "#bababf", "gray-dark": "#56565a", } # PALETTE END STROKE = 1.2 THIN = 0.6 MARGIN = 36 def esc(s): return s.replace("&", "&").replace("<", "<").replace(">", ">") def header(width, height): return ['' % (width, height, width, height), '' % (width, height, PAPER)] def text(x, y, s, size=11, fill=INK, anchor="start", weight=None): w = ' font-weight="%s"' % weight if weight else "" return '%s' % (x, y, FONT, size, fill, anchor, w, esc(s)) def line(x1, y1, x2, y2, stroke=INK, width=STROKE): return '' % (x1, y1, x2, y2, stroke, width) def rect(x, y, w, h, fill, opacity=1.0): return '' % (x, y, w, h, fill, opacity) def circle(x, y, r, fill): return '' % (x, y, r, fill) def save(parts, path): with open(path, "w") as handle: handle.write("\n".join(parts + [""]) + "\n") # STYLE END # ORDER SHARP = CONCEPT["bound"] def bounds(top): return [(D, 2 * D + 1, -(-D // 2)) for D in range(2, top + 1)] def main(): here = os.path.dirname(os.path.abspath(__file__)) out = os.path.join(here, "..", "figures", "order.svg") os.makedirs(os.path.dirname(out), exist_ok=True) data = bounds(14) left = 56 base = 250 unit = 7.0 slot = 44 width = left + slot * len(data) + 20 height = 300 rows = header(width, height) rows.append(line(left - 12, base, width - 10, base)) for D, free, sharp in data: x = left + slot * (D - 2) rows.append(rect(x, base - free * unit, 16, free * unit, PALE)) rows.append(rect(x + 18, base - sharp * unit, 16, sharp * unit, SHARP)) rows.append(text(x + 17, base + 16, str(D), anchor="middle")) rows.append(text(left - 16, base + 16, "D", fill=MUTED, anchor="end")) rows.append(rect(left, 24, 12, 12, PALE)) rows.append(text(left + 18, 34, "free bound 2D+1", size=12)) rows.append(rect(left, 44, 12, 12, SHARP)) rows.append(text(left + 18, 54, "this paper, ceil(D/2)", size=12)) rows.append(text(left, 278, "terms of memory the diagonal slice census needs", size=12, fill=MUTED)) save(rows, out) print("drew figures/order.svg") if __name__ == "__main__": main()