Different lattice figures

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>