aboutsummaryrefslogtreecommitdiff
path: root/doc/talks/2024-02-03-fosdem/assets/lattice6.svg
diff options
context:
space:
mode:
Diffstat (limited to 'doc/talks/2024-02-03-fosdem/assets/lattice6.svg')
-rw-r--r--doc/talks/2024-02-03-fosdem/assets/lattice6.svg553
1 files changed, 0 insertions, 553 deletions
diff --git a/doc/talks/2024-02-03-fosdem/assets/lattice6.svg b/doc/talks/2024-02-03-fosdem/assets/lattice6.svg
deleted file mode 100644
index 176b1715..00000000
--- a/doc/talks/2024-02-03-fosdem/assets/lattice6.svg
+++ /dev/null
@@ -1,553 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!-- Created with Inkscape (http://www.inkscape.org/) -->
-
-<svg
- width="1000"
- height="400"
- viewBox="0 0 264.58333 105.83333"
- version="1.1"
- id="svg5"
- inkscape:version="1.2.2 (b0a8486541, 2022-12-01)"
- sodipodi:docname="lattice6.svg"
- xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
- xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
- xmlns="http://www.w3.org/2000/svg"
- xmlns:svg="http://www.w3.org/2000/svg">
- <sodipodi:namedview
- id="namedview7"
- pagecolor="#ffffff"
- bordercolor="#666666"
- borderopacity="1.0"
- inkscape:showpageshadow="2"
- inkscape:pageopacity="0.0"
- inkscape:pagecheckerboard="0"
- inkscape:deskcolor="#d1d1d1"
- inkscape:document-units="mm"
- showgrid="false"
- inkscape:zoom="1.0419012"
- inkscape:cx="277.85744"
- inkscape:cy="254.34273"
- inkscape:window-width="1920"
- inkscape:window-height="999"
- inkscape:window-x="0"
- inkscape:window-y="0"
- inkscape:window-maximized="1"
- inkscape:current-layer="layer2" />
- <defs
- id="defs2">
- <marker
- style="overflow:visible"
- id="Arrow2"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9-7"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1-0" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-93"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-6" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9-7-2"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1-0-6" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-93-1"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-6-8" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9-75"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1-9" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9-75-2"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1-9-8" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9-75-7"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1-9-3" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9-75-7-1"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1-9-3-2" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-93-1-4"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-6-8-7" />
- </marker>
- <marker
- style="overflow:visible"
- id="Arrow2-9-7-2-8"
- refX="0"
- refY="0"
- orient="auto-start-reverse"
- inkscape:stockid="Arrow2"
- markerWidth="7.6999998"
- markerHeight="5.5999999"
- viewBox="0 0 7.7 5.6"
- inkscape:isstock="true"
- inkscape:collect="always"
- preserveAspectRatio="xMidYMid">
- <path
- transform="scale(0.7)"
- d="M -2,-4 9,0 -2,4 c 2,-2.33 2,-5.66 0,-8 z"
- style="fill:context-stroke;fill-rule:evenodd;stroke:none"
- id="arrow2L-1-0-6-4" />
- </marker>
- </defs>
- <g
- inkscape:label="Layer 1"
- inkscape:groupmode="layer"
- id="layer1"
- sodipodi:insensitive="true">
- <rect
- style="fill:#ffffff;stroke:none;stroke-width:1;stop-color:#000000"
- id="rect288"
- width="209.84705"
- height="104.42732"
- x="0.77790999"
- y="0.93738818" />
- </g>
- <g
- inkscape:groupmode="layer"
- id="layer2"
- inkscape:label="Layer 2">
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="164.56372"
- y="99.307442"
- id="text951"><tspan
- sodipodi:role="line"
- id="tspan949"
- style="stroke-width:0.264583;fill:#000000"
- x="164.56372"
- y="99.307442">$\{\}$</tspan></text>
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="164.56372"
- y="13.151893"
- id="text1005"><tspan
- sodipodi:role="line"
- id="tspan1003"
- style="stroke-width:0.264583;fill:#000000"
- x="164.56372"
- y="13.151893">$\{a,b,c\}$</tspan></text>
- <g
- id="g1175"
- transform="translate(51.996784,3.5774043)">
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="49.27084"
- y="67.008698"
- id="text1009"><tspan
- sodipodi:role="line"
- id="tspan1007"
- style="stroke-width:0.264583;fill:#000000"
- x="49.27084"
- y="67.008698">$\{a\}$</tspan></text>
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="112.90984"
- y="67.017166"
- id="text1009-3"><tspan
- sodipodi:role="line"
- id="tspan1007-6"
- style="stroke-width:0.264583;fill:#000000"
- x="112.90984"
- y="67.017166">$\{b\}$</tspan></text>
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="176.20593"
- y="67.008698"
- id="text1009-7"><tspan
- sodipodi:role="line"
- id="tspan1007-5"
- style="stroke-width:0.264583;fill:#000000"
- x="176.20593"
- y="67.008698">$\{c\}$</tspan></text>
- </g>
- <g
- id="g1183"
- transform="translate(51.996784,1.0317046)"
- style="fill:#000000">
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="112.90984"
- y="40.841526"
- id="text1117"><tspan
- sodipodi:role="line"
- id="tspan1115"
- style="stroke-width:0.264583;fill:#000000"
- x="112.90984"
- y="40.841526">$\{a,c\}$</tspan></text>
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="49.27084"
- y="40.841526"
- id="text1117-3"><tspan
- sodipodi:role="line"
- id="tspan1115-5"
- style="stroke-width:0.264583;fill:#000000"
- x="49.27084"
- y="40.841526">$\{a,b\}$</tspan></text>
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;text-align:center;text-anchor:middle;stroke-width:0.264583;fill:#000000"
- x="176.20593"
- y="40.841526"
- id="text1117-6"><tspan
- sodipodi:role="line"
- id="tspan1115-2"
- style="stroke-width:0.264583;fill:#000000"
- x="176.20593"
- y="40.841526">$\{b,c\}$</tspan></text>
- </g>
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2)"
- d="M 153.33622,90.367682 118.34198,73.428915"
- id="path1300" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9)"
- d="M 177.46016,90.367682 212.4544,73.428915"
- id="path1300-2" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-93)"
- d="M 153.33622,61.655656 118.34198,44.716889"
- id="path1300-0" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9-7)"
- d="M 177.46016,61.655656 212.4544,44.716889"
- id="path1300-2-6" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-93-1)"
- d="M 118.34198,61.655656 153.33622,44.716889"
- id="path1300-0-7" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9-7-2)"
- d="M 212.4544,61.655656 177.46016,44.716889"
- id="path1300-2-6-9" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-93-1-4)"
- d="M 118.34198,34.227412 153.33622,17.288645"
- id="path1300-0-7-5" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9-7-2-8)"
- d="M 212.4544,34.227412 177.46016,17.288645"
- id="path1300-2-6-9-0" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9-75)"
- d="m 228.52843,61.091809 0.33313,-12.554874 m -0.33313,12.554874 0.33313,-12.554874"
- id="path1300-2-2"
- sodipodi:nodetypes="cc" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9-75-2)"
- d="m 101.90418,61.091809 0.33313,-12.554874 m -0.33313,12.554874 0.33313,-12.554874"
- id="path1300-2-2-9"
- sodipodi:nodetypes="cc" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9-75-7)"
- d="m 165.29305,89.571762 0.33313,-12.554874 m -0.33313,12.554874 0.33313,-12.554874"
- id="path1300-2-2-6"
- sodipodi:nodetypes="cc" />
- <path
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2-9-75-7-1)"
- d="m 165.29305,32.445235 0.33313,-12.554874 m -0.33313,12.554874 0.33313,-12.554874"
- id="path1300-2-2-6-9"
- sodipodi:nodetypes="cc" />
- <circle
- style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663"
- cx="147.35568"
- cy="95.24971"
- r="2.7302806" />
- <circle
- style="fill:#008000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-3"
- cx="126.08154"
- cy="67.968384"
- r="2.7302806" />
- <circle
- style="fill:#800080;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-6"
- cx="119.58919"
- cy="67.645035"
- r="2.7302806" />
- <circle
- style="fill:#ff0000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-1"
- cx="18.004833"
- cy="39.402473"
- r="2.7302806" />
- <circle
- style="fill:#008000;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-3-0"
- cx="18.004833"
- cy="30.371933"
- r="2.7302806" />
- <circle
- style="fill:#800080;stroke:none;stroke-width:0.499999;stroke-dasharray:none;stop-color:#000000"
- id="path3663-6-6"
- cx="18.004833"
- cy="21.341394"
- r="2.7302806" />
- <text
- xml:space="preserve"
- style="font-size:8.46667px;line-height:1.25;font-family:sans-serif;stroke-width:0.264583;fill:#000000"
- x="6.9525447"
- y="13.702217"
- id="text3707"><tspan
- sodipodi:role="line"
- id="tspan3705"
- style="stroke-width:0.264583;fill:#000000"
- x="6.9525447"
- y="13.702217">$write(\{a\})$:</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="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
- sodipodi:role="line"
- id="tspan3748"
- style="fill:#000000;stroke-width:0.264583"
- x="23.457415"
- y="24.042637">$\sqsupseteq \{a\} \to$ OK</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="33.02087"
- id="text3750-3"><tspan
- sodipodi:role="line"
- id="tspan3748-2"
- style="fill:#000000;stroke-width:0.264583"
- x="23.457415"
- 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"
- x="23.457415"
- y="41.972523"
- id="text3750-0"><tspan
- sodipodi:role="line"
- id="tspan3748-6"
- style="fill:#999999;stroke-width:0.264583"
- x="23.457415"
- y="41.972523">$\not\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"
- x="14.395845"
- y="52.022549"
- id="text4280"><tspan
- sodipodi:role="line"
- id="tspan4278"
- style="fill:#000000;stroke-width:0.264583"
- x="14.395845"
- y="52.022549">return OK</tspan></text>
- </g>
-</svg>