31:[] 2f:{"title":"Proof visualizer","cells":[{"id":0,"value":"md`# Proof visualizer\n\nTo use, paste the URL of the notebook below, or type and click submit. For more on what this graph means, see [How Observable Runs](/@mbostock/how-observable-runs).\n\nTo share a link to your dependency graph, [click here](?id=${id}).`","pinned":false,"hidden":false,"mode":"ojs"},{"id":3,"value":"viewof id = {\n const {text} = submit({\n value: new URLSearchParams(html``.search).get(\"id\") || \"@neobourbaki/taylors-theorem\"\n });\n text.addEventListener(\"input\", () => {\n let v = text.value, m;\n if (m = /\\.js(\\?|$)/i.exec(v)) v = v.slice(0, m.index);\n if (m = /^https:\\/\\/(api\\.|beta\\.|)observablehq\\.com\\//i.exec(v)) v = v.slice(m[0].length);\n if (v !== text.value) text.value = v;\n });\n text.addEventListener(\"paste\", () => {\n Promises.delay(50).then(() => {\n text.form.dispatchEvent(new CustomEvent(\"submit\"));\n });\n });\n return text.form;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":110,"value":"viewof orient = html``","pinned":false,"hidden":false,"mode":"ojs"},{"id":129,"value":"viewof anon = {\n const form = html`

Include anonymous cells`;\n form.check.onclick = () => {\n form.value = form.check.checked;\n form.dispatchEvent(new CustomEvent(\"input\"));\n };\n form.check.onclick();\n return form;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":22,"value":"chart = dot`digraph \"${id}\" {\nrankdir = ${orient};\n${edges}\n}`","pinned":false,"hidden":false,"mode":"ojs"},{"id":282,"value":"edges = Array.prototype.concat.apply([], [0, 1,2,3,4].map(i => module.default.modules[i].variables))\n .filter(v => !v.from) // Don’t graph dependencies of imports.\n .filter(anon ? () => true : v => v.name)\n .filter(v => ![\"viewof n\", \"vars\", \"vars1\", \"viewof a_zero\", \"a_zero\", \"n\", \"greyblock\", \"width_style\", \"Proposition\"].includes(v.name))\n .map((v, i) => {\n const inputs = v.inputs.filter(i => ![\"tex\", \"md\", \"width\", \"greyblock\", \"width_style\", \"Proposition\"].includes(i));\n const name = v.name || `#${i}`;\n return inputs.map(input => `\"${input}\" -> \"${name}\"`).join(\"\\n\")\n })\n .join(\"\\n\")","pinned":false,"hidden":false,"mode":"ojs"},{"id":75,"value":"html`\n${DOM.download(await rasterize(chart), id, \"Download as PNG\")}\n${DOM.download(await serialize(chart), id, \"Download as SVG\")}\n`","pinned":false,"hidden":false,"mode":"ojs"},{"id":120,"value":"md`---`","pinned":false,"hidden":false,"mode":"ojs"},{"id":12,"value":"module = import(`https://api.observablehq.com/${id}.js`)","pinned":false,"hidden":false,"mode":"ojs"},{"id":7,"value":"import {submit} from \"@mbostock/more-deliberate-inputs\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":20,"value":"import {dot} from \"@mbostock/graphviz\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":79,"value":"import {rasterize, serialize} from \"@mbostock/saving-svg\"","pinned":false,"hidden":false,"mode":"ojs"}],"files":"$W31","stdlib":"1","titling":"auto"}