import math 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 # GASKET HERE = os.path.dirname(os.path.abspath(__file__)) OUT = os.path.join(HERE, os.pardir, "figures") F = [(0, 0), (1, 0), (0, 1)] LEVEL = 5 PAD = 18 CELL = 17 R = 4.0 def points(n): pts = [(0, 0)] for _ in range(n): pts = [(2 * x + f[0], 2 * y + f[1]) for (x, y) in pts for f in F] return pts def svg(): side = 2 ** LEVEL span = (side - 1) * CELL w = span + 2 * PAD rows = header(w, w) vis = 0 for (x, y) in points(LEVEL): cx = PAD + x * CELL cy = PAD + span - y * CELL if math.gcd(x, y) == 1: vis += 1 rows.append(circle(cx, cy, R, CONCEPT["gasket"])) else: rows.append('' % (cx, cy, R, MUTED, STROKE)) return rows, vis def main(): os.makedirs(OUT, exist_ok=True) rows, vis = svg() save(rows, os.path.join(OUT, "gasket.svg")) print("gasket.svg: level %d, %d points, %d visible" % (LEVEL, 3 ** LEVEL, vis)) if __name__ == "__main__": main()