affine_arith/affine_arith.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 8.0.4 (20230421.1958)
 -->
<!-- Title: affine_arith Pages: 1 -->
<svg width="358pt" height="761pt"
 viewBox="0.00 0.00 358.00 761.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 757)">
<title>affine_arith</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-757 354,-757 354,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-745 330,-745 330,-92.5 8,-92.5"/>
<text text-anchor="middle" x="169" y="-727.7" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="226,-8 226,-84.5 314,-84.5 314,-8 226,-8"/>
<text text-anchor="middle" x="270" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/affine_arith -->
<g id="node1" class="node">
<title>NASALib/affine_arith</title>
<polygon fill="#f7e28d" stroke="black" points="185.5,-640.5 106.5,-640.5 106.5,-604.5 185.5,-604.5 185.5,-640.5"/>
<text text-anchor="middle" x="146" y="-617.45" font-family="Times,serif" font-size="14.00">affine_arith</text>
</g>
<!-- NASALib/interval_arith -->
<g id="node4" class="node">
<title>NASALib/interval_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="279.38,-568.5 190.62,-568.5 190.62,-532.5 279.38,-532.5 279.38,-568.5"/>
<text text-anchor="middle" x="235" y="-545.45" font-family="Times,serif" font-size="14.00">interval_arith</text>
</g>
<!-- NASALib/affine_arith&#45;&gt;NASALib/interval_arith -->
<g id="edge1" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M168,-604.2C179.02,-595.53 192.53,-584.9 204.53,-575.46"/>
<polygon fill="black" stroke="black" points="206.25,-577.78 211.94,-568.85 201.92,-572.28 206.25,-577.78"/>
</g>
<!-- NASALib/reals -->
<g id="node8" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="190,-280.5 136,-280.5 136,-244.5 190,-244.5 190,-280.5"/>
<text text-anchor="middle" x="163" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/affine_arith&#45;&gt;NASALib/reals -->
<g id="edge2" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M157,-405.5C157,-405.5 157,-335.5 157,-335.5"/>
<path fill="none" stroke="black" d="M97,-549.5C97,-549.5 107,-460.5 107,-460.5 107,-460.5 157,-407.5 157,-407.5"/>
</g>
<!-- NASALib/structures -->
<g id="node10" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="289.25,-208.5 220.75,-208.5 220.75,-172.5 289.25,-172.5 289.25,-208.5"/>
<text text-anchor="middle" x="255" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/affine_arith&#45;&gt;NASALib/structures -->
<g id="edge3" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M133.89,-604.2C119.38,-583.47 97,-551.5 97,-551.5"/>
<path fill="none" stroke="black" d="M97,-549.5C97,-549.5 99,-460.5 99,-460.5 99,-460.5 127,-244.5 127,-244.5 127,-244.5 173.33,-225.32 210.25,-210.03"/>
<polygon fill="black" stroke="black" points="211.46,-212.9 219.36,-205.84 208.78,-206.43 211.46,-212.9"/>
</g>
<!-- NASALib/analysis -->
<g id="node2" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="281.75,-352.5 222.25,-352.5 222.25,-316.5 281.75,-316.5 281.75,-352.5"/>
<text text-anchor="middle" x="252" y="-329.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/ints -->
<g id="node5" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="282,-136.5 228,-136.5 228,-100.5 282,-100.5 282,-136.5"/>
<text text-anchor="middle" x="255" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge4" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M241.19,-316.15C231.57,-300.69 219,-280.5 219,-280.5 219,-280.5 209,-263.5 209,-263.5"/>
</g>
<!-- NASALib/orders -->
<g id="node7" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="282,-280.5 228,-280.5 228,-244.5 282,-244.5 282,-280.5"/>
<text text-anchor="middle" x="255" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge5" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M252.74,-316.2C253.06,-308.74 253.44,-299.82 253.8,-291.47"/>
<polygon fill="black" stroke="black" points="257.34,-291.75 254.27,-281.6 250.34,-291.45 257.34,-291.75"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge6" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M230,-316.2C218.98,-307.53 205.47,-296.9 193.47,-287.46"/>
<polygon fill="black" stroke="black" points="196.08,-284.28 186.06,-280.85 191.75,-289.78 196.08,-284.28"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge7" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M264.77,-316.15C276.14,-300.69 291,-280.5 291,-280.5 291,-280.5 301,-263.5 301,-263.5"/>
<path fill="none" stroke="black" d="M301,-261.5C301,-261.5 291,-244.5 291,-244.5 291,-244.5 281.95,-231.17 272.92,-217.88"/>
<polygon fill="black" stroke="black" points="275.3,-216.16 266.79,-209.85 269.51,-220.09 275.3,-216.16"/>
</g>
<!-- lib/finite_sets -->
<g id="node12" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="305.75,-52 234.25,-52 234.25,-16 305.75,-16 305.75,-52"/>
<text text-anchor="middle" x="270" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge8" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M278.85,-316.15C302.76,-300.69 334,-280.5 334,-280.5 334,-280.5 350,-191.5 350,-191.5"/>
</g>
<!-- NASALib/examples -->
<g id="node3" class="node">
<title>NASALib/examples</title>
<polygon fill="#fcfcd7" stroke="black" points="179.88,-712.5 112.12,-712.5 112.12,-676.5 179.88,-676.5 179.88,-712.5"/>
<text text-anchor="middle" x="146" y="-689.45" font-family="Times,serif" font-size="14.00">examples</text>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/affine_arith -->
<g id="edge9" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/affine_arith</title>
<path fill="none" stroke="black" d="M146,-676.2C146,-668.74 146,-659.82 146,-651.47"/>
<polygon fill="black" stroke="black" points="149.5,-651.6 146,-641.6 142.5,-651.6 149.5,-651.6"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/analysis -->
<g id="edge10" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M301,-549.5C301,-549.5 271,-460.5 271,-460.5 271,-460.5 249,-407.5 249,-407.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/interval_arith -->
<g id="edge11" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M235,-621.5C235,-621.5 235,-599.16 235,-579.72"/>
<polygon fill="black" stroke="black" points="238.5,-579.8 235,-569.8 231.5,-579.8 238.5,-579.8"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/ints -->
<g id="edge12" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M117,-189.5C117,-189.5 177.18,-158.97 218.06,-138.24"/>
<polygon fill="black" stroke="black" points="219.4,-140.97 226.74,-133.33 216.23,-134.73 219.4,-140.97"/>
<path fill="none" stroke="black" d="M57,-549.5C57,-549.5 77,-407.5 77,-407.5"/>
<path fill="none" stroke="black" d="M130.28,-676.15C116.28,-660.69 98,-640.5 98,-640.5 98,-640.5 57,-551.5 57,-551.5"/>
<path fill="none" stroke="black" d="M77,-405.5C77,-405.5 117,-191.5 117,-191.5"/>
</g>
<!-- NASALib/lnexp -->
<g id="node6" class="node">
<title>NASALib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="170,-496.5 116,-496.5 116,-460.5 170,-460.5 170,-496.5"/>
<text text-anchor="middle" x="143" y="-473.45" font-family="Times,serif" font-size="14.00">lnexp</text>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/lnexp -->
<g id="edge13" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M235,-621.5C235,-621.5 182,-568.5 182,-568.5 182,-568.5 166.3,-532.67 154.82,-506.47"/>
<polygon fill="black" stroke="black" points="157.74,-505.41 150.52,-497.66 151.33,-508.22 157.74,-505.41"/>
<path fill="none" stroke="black" d="M168,-676.2C194.36,-655.47 235,-623.5 235,-623.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/reals -->
<g id="edge14" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M57,-549.5C57,-549.5 157,-335.5 157,-335.5"/>
<path fill="none" stroke="black" d="M157,-333.5C157,-333.5 158.91,-311.16 160.58,-291.72"/>
<polygon fill="black" stroke="black" points="164.15,-292.07 161.52,-281.8 157.18,-291.47 164.15,-292.07"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/structures -->
<g id="edge15" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M301,-549.5C301,-549.5 301,-479.5 301,-479.5"/>
</g>
<!-- NASALib/trig -->
<g id="node11" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="262,-496.5 208,-496.5 208,-460.5 262,-460.5 262,-496.5"/>
<text text-anchor="middle" x="235" y="-473.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/trig -->
<g id="edge16" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M301,-549.5C301,-549.5 288,-532.5 288,-532.5 288,-532.5 273.63,-518.13 259.85,-504.35"/>
<polygon fill="black" stroke="black" points="262.9,-502.45 253.35,-497.85 257.95,-507.4 262.9,-502.45"/>
<path fill="none" stroke="black" d="M235,-621.5C235,-621.5 288,-568.5 288,-568.5 288,-568.5 301,-551.5 301,-551.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/analysis -->
<g id="edge17" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M189,-477.5C189,-477.5 199,-460.5 199,-460.5 199,-460.5 239,-424.5 239,-424.5 239,-424.5 249,-407.5 249,-407.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/ints -->
<g id="edge18" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M193.09,-532.15C155.76,-516.69 107,-496.5 107,-496.5 107,-496.5 77,-407.5 77,-407.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/lnexp -->
<g id="edge19" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M212.26,-532.2C200.87,-523.53 186.9,-512.9 174.49,-503.46"/>
<polygon fill="black" stroke="black" points="176.88,-500.12 166.8,-496.85 172.64,-505.69 176.88,-500.12"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/reals -->
<g id="edge20" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M223.21,-532.15C212.71,-516.69 199,-496.5 199,-496.5 199,-496.5 189,-479.5 189,-479.5"/>
<path fill="none" stroke="black" d="M189,-477.5C189,-477.5 157,-407.5 157,-407.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/structures -->
<g id="edge21" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M301,-477.5C301,-477.5 301,-263.5 301,-263.5"/>
<path fill="none" stroke="black" d="M251.31,-532.2C270.86,-511.47 301,-479.5 301,-479.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/trig -->
<g id="edge22" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M235,-532.2C235,-524.74 235,-515.82 235,-507.47"/>
<polygon fill="black" stroke="black" points="238.5,-507.6 235,-497.6 231.5,-507.6 238.5,-507.6"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge23" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M258.18,-100C260.13,-89.28 262.67,-75.32 264.89,-63.08"/>
<polygon fill="black" stroke="black" points="268.48,-63.94 266.82,-53.47 261.59,-62.68 268.48,-63.94"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/analysis -->
<g id="edge24" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M249,-405.5C249,-405.5 249.96,-383.16 250.79,-363.72"/>
<polygon fill="black" stroke="black" points="254.33,-363.94 251.26,-353.8 247.33,-363.64 254.33,-363.94"/>
<path fill="none" stroke="black" d="M170.25,-462.45C198.63,-446.78 239,-424.5 239,-424.5 239,-424.5 249,-407.5 249,-407.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/ints -->
<g id="edge25" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M141.41,-460.04C135.77,-397.95 117,-191.5 117,-191.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/reals -->
<g id="edge26" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M146.46,-460.2C150.61,-439.47 157,-407.5 157,-407.5"/>
</g>
<!-- NASALib/series -->
<g id="node9" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="230,-424.5 176,-424.5 176,-388.5 230,-388.5 230,-424.5"/>
<text text-anchor="middle" x="203" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/series -->
<g id="edge27" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M157.83,-460.2C164.88,-451.97 173.44,-441.98 181.21,-432.92"/>
<polygon fill="black" stroke="black" points="184.49,-435.47 188.34,-425.6 179.17,-430.92 184.49,-435.47"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge28" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M255,-244.2C255,-236.74 255,-227.82 255,-219.47"/>
<polygon fill="black" stroke="black" points="258.5,-219.6 255,-209.6 251.5,-219.6 258.5,-219.6"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge29" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M350,-189.5C350,-189.5 350,-119.5 350,-119.5"/>
<path fill="none" stroke="black" d="M280.87,-244.15C303.91,-228.69 334,-208.5 334,-208.5 334,-208.5 350,-191.5 350,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge30" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M151.63,-244.2C138.01,-223.47 117,-191.5 117,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge31" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M185.74,-244.2C197.13,-235.53 211.1,-224.9 223.51,-215.46"/>
<polygon fill="black" stroke="black" points="225.36,-217.69 231.2,-208.85 221.12,-212.12 225.36,-217.69"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge32" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M215.11,-388.2C220.75,-380.14 227.57,-370.39 233.81,-361.48"/>
<polygon fill="black" stroke="black" points="237.16,-363.8 240.03,-353.6 231.42,-359.79 237.16,-363.8"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge33" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M203,-333.5C203,-333.5 209,-263.5 209,-263.5"/>
<path fill="none" stroke="black" d="M209,-261.5C209,-261.5 199,-244.5 199,-244.5 199,-244.5 117,-191.5 117,-191.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge34" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M203,-333.5C203,-333.5 213,-316.5 213,-316.5 213,-316.5 223.97,-302.65 234.7,-289.12"/>
<polygon fill="black" stroke="black" points="237.78,-291.87 241.25,-281.85 232.29,-287.52 237.78,-291.87"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge35" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M203,-333.5C203,-333.5 189.51,-309.89 178.2,-290.1"/>
<polygon fill="black" stroke="black" points="180.89,-288.75 172.89,-281.8 174.81,-292.22 180.89,-288.75"/>
<path fill="none" stroke="black" d="M203,-388.2C203,-367.47 203,-335.5 203,-335.5"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge36" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M255,-172.2C255,-164.74 255,-155.82 255,-147.47"/>
<polygon fill="black" stroke="black" points="258.5,-147.6 255,-137.6 251.5,-147.6 258.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge37" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M350,-117.5C350,-117.5 318.08,-84.58 294.56,-60.33"/>
<polygon fill="black" stroke="black" points="297.44,-58.24 287.97,-53.5 292.41,-63.11 297.44,-58.24"/>
<path fill="none" stroke="black" d="M278.48,-172.2C306.62,-151.47 350,-119.5 350,-119.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/analysis -->
<g id="edge38" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M238.46,-460.2C242.61,-439.47 249,-407.5 249,-407.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/ints -->
<g id="edge39" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M242.79,-460.12C258.17,-425.77 291,-352.5 291,-352.5 291,-352.5 306,-280.5 306,-280.5 306,-280.5 306,-244.5 306,-244.5 306,-244.5 298,-172.5 298,-172.5 298,-172.5 286.77,-158.65 275.78,-145.12"/>
<polygon fill="black" stroke="black" points="278.1,-143.41 269.08,-137.85 272.66,-147.82 278.1,-143.41"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/reals -->
<g id="edge40" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M212.73,-460.15C192.9,-444.69 167,-424.5 167,-424.5 167,-424.5 157,-407.5 157,-407.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/series -->
<g id="edge41" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M227.09,-460.2C223.52,-452.4 219.23,-443.01 215.26,-434.33"/>
<polygon fill="black" stroke="black" points="218.16,-433.24 210.82,-425.6 211.79,-436.15 218.16,-433.24"/>
</g>
</g>
</svg>