diff options
Diffstat (limited to 'doc/talks/2023-01-18-tocatta/assets/lattice8.svg')
| -rw-r--r-- | doc/talks/2023-01-18-tocatta/assets/lattice8.svg | 112 |
1 files changed, 53 insertions, 59 deletions
diff --git a/doc/talks/2023-01-18-tocatta/assets/lattice8.svg b/doc/talks/2023-01-18-tocatta/assets/lattice8.svg index 3bada791..c94a69b2 100644 --- a/doc/talks/2023-01-18-tocatta/assets/lattice8.svg +++ b/doc/talks/2023-01-18-tocatta/assets/lattice8.svg @@ -25,8 +25,8 @@ inkscape:document-units="mm" showgrid="false" inkscape:zoom="1.4734708" - inkscape:cx="451.65469" - inkscape:cy="272.14655" + inkscape:cx="399.39712" + inkscape:cy="248.39311" inkscape:window-width="1920" inkscape:window-height="999" inkscape:window-x="0" @@ -433,8 +433,8 @@ <circle style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000" id="path3663" - cx="147.35568" - cy="95.24971" + cx="132.33408" + cy="68.007973" r="2.7302806" /> <circle style="fill:#008000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000" @@ -480,6 +480,17 @@ <text xml:space="preserve" style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583" + x="6.9525447" + y="65.261436" + id="text3707-1"><tspan + sodipodi:role="line" + id="tspan3705-5" + style="fill:#000000;stroke-width:0.264583" + x="6.9525447" + y="65.261436">$read()$:</tspan></text> + <text + xml:space="preserve" + style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583" x="23.457415" y="24.042637" id="text3750"><tspan @@ -501,15 +512,32 @@ y="33.02087">$\sqsupseteq \{a\} \to$ OK</tspan></text> <text xml:space="preserve" - style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583" + style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583" x="23.457415" y="41.972523" id="text3750-0"><tspan sodipodi:role="line" id="tspan3748-6" - style="fill:#999999;stroke-width:0.264583" + style="fill:#000000;stroke-width:0.264583" x="23.457415" - y="41.972523">$\not\sqsupseteq \{a\}$</tspan></text> + y="41.972523">$\sqsupseteq \{a\}$</tspan></text> + <circle + style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000" + id="path3663-6-6-4" + cx="18.004833" + cy="70.942116" + r="2.7302806" /> + <text + xml:space="preserve" + style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583" + x="23.457415" + y="73.643356" + id="text3750-7"><tspan + sodipodi:role="line" + id="tspan3748-65" + style="fill:#000000;stroke-width:0.264583" + x="23.457415" + y="73.643356">$\to \{\}$</tspan></text> <text xml:space="preserve" style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583" @@ -521,67 +549,33 @@ style="fill:#000000;stroke-width:0.264583" x="14.395845" y="52.022549">return OK</tspan></text> - <circle - style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000" - id="path3663-1-4" - cx="18.004833" - cy="90.979645" - r="2.7302806" /> - <circle - style="fill:#008000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000" - id="path3663-3-0-5" - cx="18.004833" - cy="81.949104" - r="2.7302806" /> - <circle - style="fill:#800080;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000" - id="path3663-6-6-2" - cx="18.004833" - cy="72.918564" - r="2.7302806" /> <text xml:space="preserve" style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583" - x="6.9525447" - y="65.279381" - id="text3707-5"><tspan + x="14.395845" + y="92.005798" + id="text4280-3"><tspan sodipodi:role="line" - id="tspan3705-4" + id="tspan4278-7" style="fill:#000000;stroke-width:0.264583" - x="6.9525447" - y="65.279381">$write(\{b\})$:</tspan></text> - <text - xml:space="preserve" - style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583" - x="23.457415" - y="75.619804" - id="text3750-7"><tspan - sodipodi:role="line" - id="tspan3748-4" - style="fill:#999999;stroke-width:0.264583" - x="23.457415" - y="75.619804">$\not\sqsupseteq \{b\}$</tspan></text> - <text - xml:space="preserve" - style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583" - x="23.457415" - y="84.598038" - id="text3750-3-4"><tspan - sodipodi:role="line" - id="tspan3748-2-3" - style="fill:#999999;stroke-width:0.264583" - x="23.457415" - y="84.598038">$\not\sqsupseteq \{b\}$</tspan></text> + x="14.395845" + y="92.005798">return $\{\}\sqcup\{a\}=\{a\}$</tspan></text> + <circle + style="fill:#800080;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000" + id="path3663-1-5" + cx="18.004833" + cy="81.007744" + r="2.7302806" /> <text xml:space="preserve" - style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#999999;stroke-width:0.264583" + style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;fill:#000000;stroke-width:0.264583" x="23.457415" - y="93.54969" - id="text3750-0-0"><tspan + y="83.577797" + id="text3750-0-6"><tspan sodipodi:role="line" - id="tspan3748-6-7" - style="fill:#999999;stroke-width:0.264583" + id="tspan3748-6-9" + style="fill:#000000;stroke-width:0.264583" x="23.457415" - y="93.54969">$\not\sqsupseteq \{b\}$</tspan></text> + y="83.577797">$\to \{a\}$</tspan></text> </g> </svg> |
