test/Figs/test_dot_x5.dot.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0)
 -->
<!-- Title: 0.5 Pages: 1 -->
<svg width="374pt" height="326pt"
 viewBox="0.00 0.00 373.50 326.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 322)">
<title>0.5</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-322 369.5,-322 369.5,4 -4,4"/>
<!-- node_1 -->
<g id="node1" class="node">
<title>node_1</title>
<polygon fill="none" stroke="black" points="151,-291 151,-318 271,-318 271,-291 151,-291"/>
<text text-anchor="start" x="202" y="-300.8" font-family="Times,serif" font-size="14.00">1/2</text>
<polygon fill="none" stroke="black" points="151,-260 151,-291 240,-291 240,-260 151,-260"/>
<text text-anchor="start" x="159" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="163" y="-272.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">&#45;1</text>
<text text-anchor="start" x="175" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="183" y="-271.8" font-family="Times,serif" font-size="14.00"> &#45;1/2 </text>
<text text-anchor="start" x="217" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="221" y="-272.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="228" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="240,-260 240,-291 271,-291 271,-260 240,-260"/>
<text text-anchor="start" x="248" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="252" y="-272.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="259" y="-272.8" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- node_2 -->
<g id="node2" class="node">
<title>node_2</title>
<polygon fill="none" stroke="black" points="16,-197 16,-224 75,-224 75,-197 16,-197"/>
<text text-anchor="start" x="39.5" y="-207.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">&#45;1</text>
<polygon fill="none" stroke="black" points="16,-166 16,-197 44,-197 44,-166 16,-166"/>
<text text-anchor="start" x="21" y="-177.8" font-family="Times,serif" font-size="14.00"> Ø </text>
<polygon fill="none" stroke="black" points="44,-166 44,-197 75,-197 75,-166 44,-166"/>
<text text-anchor="start" x="52" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="56" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="63" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- node_1&#45;&gt;node_2 -->
<g id="edge1" class="edge">
<title>node_1:&#45;1,1&#45;&gt;node_2</title>
<path fill="none" stroke="#cd0000" d="M157,-275C124.43,-275 94.68,-252.42 74.03,-231.4"/>
<polygon fill="#cd0000" stroke="#cd0000" points="76.53,-228.95 67.12,-224.07 71.44,-233.75 76.53,-228.95"/>
</g>
<!-- node_4 -->
<g id="node4" class="node">
<title>node_4</title>
<polygon fill="none" stroke="black" points="125,-197 125,-224 211,-224 211,-197 125,-197"/>
<text text-anchor="start" x="157" y="-206.8" font-family="Times,serif" font-size="14.00">&#45;1/2</text>
<polygon fill="none" stroke="black" points="125,-166 125,-197 161,-197 161,-166 125,-166"/>
<text text-anchor="start" x="133" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="137" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">&#45;1</text>
<text text-anchor="start" x="149" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="161,-166 161,-197 211,-197 211,-166 161,-166"/>
<text text-anchor="start" x="169" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="173" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="180" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="188" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="192" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<text text-anchor="start" x="199" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- node_1&#45;&gt;node_4 -->
<g id="edge3" class="edge">
<title>node_1:&#45;1/2,2&#45;&gt;node_4</title>
<path fill="none" stroke="#cd0000" d="M198,-266C198,-254.86 194.75,-243.48 190.4,-233.22"/>
<polygon fill="#cd0000" stroke="#cd0000" points="193.56,-231.71 186.14,-224.14 187.22,-234.68 193.56,-231.71"/>
</g>
<!-- node_10 -->
<g id="node10" class="node">
<title>node_10</title>
<text text-anchor="start" x="252.5" y="-192.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_1&#45;&gt;node_10 -->
<g id="edge9" class="edge">
<title>node_1:0,3&#45;&gt;node_10</title>
<path fill="none" stroke="#cd0000" d="M225,-266C225,-250.49 231.44,-234.58 238.45,-221.85"/>
<polygon fill="#cd0000" stroke="#cd0000" points="241.49,-223.59 243.57,-213.2 235.46,-220.02 241.49,-223.59"/>
</g>
<!-- node_11 -->
<g id="node11" class="node">
<title>node_11</title>
<polygon fill="none" stroke="black" points="307,-197 307,-224 366,-224 366,-197 307,-197"/>
<text text-anchor="start" x="333" y="-207.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="307,-166 307,-197 338,-197 338,-166 307,-166"/>
<text text-anchor="start" x="315" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="319" y="-178.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="326" y="-178.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="338,-166 338,-197 366,-197 366,-166 338,-166"/>
<text text-anchor="start" x="343" y="-177.8" font-family="Times,serif" font-size="14.00"> Ø </text>
</g>
<!-- node_1&#45;&gt;node_11 -->
<g id="edge10" class="edge">
<title>node_1:1,1&#45;&gt;node_11</title>
<path fill="none" stroke="#0000cd" d="M256,-266C256,-253.83 277.22,-235.63 297.8,-220.84"/>
<polygon fill="#0000cd" stroke="#0000cd" points="300.03,-223.55 306.21,-214.95 296.01,-217.82 300.03,-223.55"/>
</g>
<!-- node_3 -->
<g id="node3" class="node">
<title>node_3</title>
<text text-anchor="start" x="23.5" y="-98.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_2&#45;&gt;node_3 -->
<g id="edge2" class="edge">
<title>node_2:0,1&#45;&gt;node_3</title>
<path fill="none" stroke="#0000cd" d="M60,-172C60,-156.32 53.14,-140.4 45.68,-127.7"/>
<polygon fill="#0000cd" stroke="#0000cd" points="48.53,-125.66 40.23,-119.08 42.62,-129.4 48.53,-125.66"/>
</g>
<!-- node_5 -->
<g id="node5" class="node">
<title>node_5</title>
<polygon fill="none" stroke="black" points="73,-103 73,-130 132,-130 132,-103 73,-103"/>
<text text-anchor="start" x="96.5" y="-113.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">&#45;1</text>
<polygon fill="none" stroke="black" points="73,-72 73,-103 101,-103 101,-72 73,-72"/>
<text text-anchor="start" x="78" y="-83.8" font-family="Times,serif" font-size="14.00"> Ø </text>
<polygon fill="none" stroke="black" points="101,-72 101,-103 132,-103 132,-72 101,-72"/>
<text text-anchor="start" x="109" y="-84.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="113" y="-84.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="120" y="-84.8" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- node_4&#45;&gt;node_5 -->
<g id="edge4" class="edge">
<title>node_4:&#45;1,1&#45;&gt;node_5</title>
<path fill="none" stroke="#cd0000" d="M143,-172C143,-160.34 138.72,-148.91 132.92,-138.77"/>
<polygon fill="#cd0000" stroke="#cd0000" points="135.81,-136.8 127.5,-130.22 129.89,-140.54 135.81,-136.8"/>
</g>
<!-- node_7 -->
<g id="node7" class="node">
<title>node_7</title>
<text text-anchor="start" x="173.5" y="-98.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_4&#45;&gt;node_7 -->
<g id="edge6" class="edge">
<title>node_4:0,1&#45;&gt;node_7</title>
<path fill="none" stroke="#0000cd" d="M177,-172C177,-157.95 177,-142.31 177,-129.38"/>
<polygon fill="#0000cd" stroke="#0000cd" points="180.5,-129.26 177,-119.26 173.5,-129.26 180.5,-129.26"/>
</g>
<!-- node_8 -->
<g id="node8" class="node">
<title>node_8</title>
<polygon fill="none" stroke="black" points="223,-103 223,-130 282,-130 282,-103 223,-103"/>
<text text-anchor="start" x="249" y="-113.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="223,-72 223,-103 254,-103 254,-72 223,-72"/>
<text text-anchor="start" x="231" y="-84.8" font-family="Times,serif" font-size="14.00"> </text>
<text text-anchor="start" x="235" y="-84.8" font-family="Times,serif" text-decoration="overline" font-size="14.00">0</text>
<text text-anchor="start" x="242" y="-84.8" font-family="Times,serif" font-size="14.00"> </text>
<polygon fill="none" stroke="black" points="254,-72 254,-103 282,-103 282,-72 254,-72"/>
<text text-anchor="start" x="259" y="-83.8" font-family="Times,serif" font-size="14.00"> Ø </text>
</g>
<!-- node_4&#45;&gt;node_8 -->
<g id="edge7" class="edge">
<title>node_4:1,2&#45;&gt;node_8</title>
<path fill="none" stroke="#0000cd" d="M196,-172C196,-156.3 204.7,-142.1 215.24,-130.66"/>
<polygon fill="#0000cd" stroke="#0000cd" points="217.76,-133.09 222.36,-123.55 212.81,-128.14 217.76,-133.09"/>
</g>
<!-- node_6 -->
<g id="node6" class="node">
<title>node_6</title>
<text text-anchor="start" x="113.5" y="-15.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_5&#45;&gt;node_6 -->
<g id="edge5" class="edge">
<title>node_5:0,1&#45;&gt;node_6</title>
<path fill="none" stroke="#0000cd" d="M117,-78C117,-67.62 117,-56.21 117,-46.22"/>
<polygon fill="#0000cd" stroke="#0000cd" points="120.5,-46.04 117,-36.04 113.5,-46.04 120.5,-46.04"/>
</g>
<!-- node_9 -->
<g id="node9" class="node">
<title>node_9</title>
<text text-anchor="start" x="234.5" y="-15.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_8&#45;&gt;node_9 -->
<g id="edge8" class="edge">
<title>node_8:0,1&#45;&gt;node_9</title>
<path fill="none" stroke="#cd0000" d="M238,-78C238,-67.62 238,-56.21 238,-46.22"/>
<polygon fill="#cd0000" stroke="#cd0000" points="241.5,-46.04 238,-36.04 234.5,-46.04 241.5,-46.04"/>
</g>
<!-- node_12 -->
<g id="node12" class="node">
<title>node_12</title>
<text text-anchor="start" x="323.5" y="-98.3" font-family="Times,serif" font-weight="bold" font-size="14.00">0</text>
</g>
<!-- node_11&#45;&gt;node_12 -->
<g id="edge11" class="edge">
<title>node_11:0,1&#45;&gt;node_12</title>
<path fill="none" stroke="#cd0000" d="M322,-172C322,-157.91 323.02,-142.27 324.14,-129.35"/>
<polygon fill="#cd0000" stroke="#cd0000" points="327.64,-129.52 325.08,-119.24 320.67,-128.87 327.64,-129.52"/>
</g>
</g>
</svg>