metric_space/metric_space.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: metric_space Pages: 1 -->
<svg width="734pt" height="905pt"
 viewBox="0.00 0.00 734.00 905.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 901)">
<title>metric_space</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-901 730,-901 730,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-889 706,-889 706,-92.5 8,-92.5"/>
<text text-anchor="middle" x="357" y="-871.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="342,-8 342,-84.5 430,-84.5 430,-8 342,-8"/>
<text text-anchor="middle" x="386" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/ODEs -->
<g id="node1" class="node">
<title>NASALib/ODEs</title>
<polygon fill="#fcfcd7" stroke="black" points="186,-784.5 132,-784.5 132,-748.5 186,-748.5 186,-784.5"/>
<text text-anchor="middle" x="159" y="-761.45" font-family="Times,serif" font-size="14.00">ODEs</text>
</g>
<!-- NASALib/analysis -->
<g id="node2" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="393.75,-352.5 334.25,-352.5 334.25,-316.5 393.75,-316.5 393.75,-352.5"/>
<text text-anchor="middle" x="364" y="-329.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/analysis -->
<g id="edge1" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M168.89,-748.2C180.73,-727.47 199,-695.5 199,-695.5"/>
<path fill="none" stroke="black" d="M199,-693.5C199,-693.5 221,-604.5 221,-604.5 221,-604.5 240,-532.5 240,-532.5 240,-532.5 305,-496.5 305,-496.5 305,-496.5 359,-407.5 359,-407.5"/>
</g>
<!-- NASALib/lnexp -->
<g id="node7" class="node">
<title>NASALib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="204,-496.5 150,-496.5 150,-460.5 204,-460.5 204,-496.5"/>
<text text-anchor="middle" x="177" y="-473.45" font-family="Times,serif" font-size="14.00">lnexp</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/lnexp -->
<g id="edge2" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M159,-748.2C159,-727.47 159,-695.5 159,-695.5"/>
</g>
<!-- NASALib/metric_space -->
<g id="node9" class="node">
<title>NASALib/metric_space</title>
<polygon fill="#f7e28d" stroke="black" points="326,-640.5 238,-640.5 238,-604.5 326,-604.5 326,-640.5"/>
<text text-anchor="middle" x="282" y="-617.45" font-family="Times,serif" font-size="14.00">metric_space</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/metric_space -->
<g id="edge3" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M199,-693.5C199,-693.5 214,-676.5 214,-676.5 214,-676.5 233.13,-661.59 251.1,-647.59"/>
<polygon fill="black" stroke="black" points="253,-649.76 258.73,-640.85 248.7,-644.24 253,-649.76"/>
</g>
<!-- NASALib/mv_analysis -->
<g id="node10" class="node">
<title>NASALib/mv_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="120.12,-712.5 35.88,-712.5 35.88,-676.5 120.12,-676.5 120.12,-712.5"/>
<text text-anchor="middle" x="78" y="-689.45" font-family="Times,serif" font-size="14.00">mv_analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/mv_analysis -->
<g id="edge4" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M138.98,-748.2C129.14,-739.7 117.13,-729.31 106.37,-720.01"/>
<polygon fill="black" stroke="black" points="108.93,-716.74 99.07,-712.85 104.35,-722.03 108.93,-716.74"/>
</g>
<!-- NASALib/structures -->
<g id="node17" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="144.25,-208.5 75.75,-208.5 75.75,-172.5 144.25,-172.5 144.25,-208.5"/>
<text text-anchor="middle" x="110" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/structures -->
<g id="edge5" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M154.37,-748.37C139.82,-694.56 96,-532.5 96,-532.5 96,-532.5 86,-496.5 86,-496.5 86,-496.5 86,-388.5 86,-388.5 86,-388.5 92,-316.5 92,-316.5 92,-316.5 137,-263.5 137,-263.5"/>
<path fill="none" stroke="black" d="M137,-261.5C137,-261.5 128.14,-238.53 120.57,-218.91"/>
<polygon fill="black" stroke="black" points="123.54,-217.87 116.67,-209.8 117.01,-220.39 123.54,-217.87"/>
</g>
<!-- NASALib/ints -->
<g id="node5" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="137,-136.5 83,-136.5 83,-100.5 137,-100.5 137,-136.5"/>
<text text-anchor="middle" x="110" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge6" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M249,-261.5C249,-261.5 239,-244.5 239,-244.5 239,-244.5 67,-208.5 67,-208.5 67,-208.5 57,-191.5 57,-191.5"/>
<path fill="none" stroke="black" d="M335.28,-316.02C301.22,-295.28 249,-263.5 249,-263.5"/>
</g>
<!-- NASALib/orders -->
<g id="node11" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="588,-280.5 534,-280.5 534,-244.5 588,-244.5 588,-280.5"/>
<text text-anchor="middle" x="561" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge7" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M393.92,-322.87C428.65,-310.53 485.96,-290.16 523.6,-276.79"/>
<polygon fill="black" stroke="black" points="524.41,-279.86 532.66,-273.21 522.07,-273.26 524.41,-279.86"/>
</g>
<!-- NASALib/reals -->
<g id="node14" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="230,-280.5 176,-280.5 176,-244.5 230,-244.5 230,-280.5"/>
<text text-anchor="middle" x="203" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge8" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M334.09,-320.5C307.61,-308.98 268.84,-292.13 240.33,-279.73"/>
<polygon fill="black" stroke="black" points="241.9,-276.16 231.33,-275.38 239.11,-282.58 241.9,-276.16"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge9" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M249,-261.5C249,-261.5 239,-244.5 239,-244.5 239,-244.5 191.63,-225.04 154.3,-209.7"/>
<polygon fill="black" stroke="black" points="156.15,-206.27 145.57,-205.7 153.49,-212.74 156.15,-206.27"/>
</g>
<!-- lib/finite_sets -->
<g id="node21" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="421.75,-52 350.25,-52 350.25,-16 421.75,-16 421.75,-52"/>
<text text-anchor="middle" x="386" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge10" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M726,-261.5C726,-261.5 726,-191.5 726,-191.5"/>
<path fill="none" stroke="black" d="M394.1,-328.89C478.28,-315.99 710,-280.5 710,-280.5 710,-280.5 726,-263.5 726,-263.5"/>
</g>
<!-- NASALib/complex_integration -->
<g id="node3" class="node">
<title>NASALib/complex_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="332.25,-784.5 203.75,-784.5 203.75,-748.5 332.25,-748.5 332.25,-784.5"/>
<text text-anchor="middle" x="268" y="-761.45" font-family="Times,serif" font-size="14.00">complex_integration</text>
</g>
<!-- NASALib/measure_integration -->
<g id="node8" class="node">
<title>NASALib/measure_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="575.5,-712.5 448.5,-712.5 448.5,-676.5 575.5,-676.5 575.5,-712.5"/>
<text text-anchor="middle" x="512" y="-689.45" font-family="Times,serif" font-size="14.00">measure_integration</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/measure_integration -->
<g id="edge11" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M328.94,-748.02C362.99,-738.25 405.58,-726.03 441.11,-715.84"/>
<polygon fill="black" stroke="black" points="441.77,-719 450.41,-712.88 439.83,-712.28 441.77,-719"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/metric_space -->
<g id="edge12" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M219,-693.5C219,-693.5 241.22,-668.81 259.27,-648.75"/>
<polygon fill="black" stroke="black" points="261.34,-651.58 265.43,-641.8 256.14,-646.89 261.34,-651.58"/>
</g>
<!-- NASALib/power -->
<g id="node12" class="node">
<title>NASALib/power</title>
<polygon fill="#fcfcd7" stroke="black" points="396,-568.5 342,-568.5 342,-532.5 396,-532.5 396,-568.5"/>
<text text-anchor="middle" x="369" y="-545.45" font-family="Times,serif" font-size="14.00">power</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/power -->
<g id="edge13" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M255.89,-748.2C241.38,-727.47 219,-695.5 219,-695.5"/>
<path fill="none" stroke="black" d="M219,-693.5C219,-693.5 229,-604.5 229,-604.5 229,-604.5 328,-568.5 328,-568.5 328,-568.5 329.56,-567.85 332.08,-566.81"/>
<polygon fill="black" stroke="black" points="332.98,-569.81 340.88,-562.74 330.3,-563.34 332.98,-569.81"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/structures -->
<g id="edge14" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M250.32,-748.15C234.57,-732.69 214,-712.5 214,-712.5 214,-712.5 141,-496.5 141,-496.5 141,-496.5 137,-263.5 137,-263.5"/>
</g>
<!-- NASALib/topology -->
<g id="node18" class="node">
<title>NASALib/topology</title>
<polygon fill="#fcfcd7" stroke="black" points="598,-568.5 534,-568.5 534,-532.5 598,-532.5 598,-568.5"/>
<text text-anchor="middle" x="566" y="-545.45" font-family="Times,serif" font-size="14.00">topology</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/topology -->
<g id="edge15" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M539,-621.5C539,-621.5 547.86,-598.53 555.43,-578.91"/>
<polygon fill="black" stroke="black" points="558.99,-580.39 559.33,-569.8 552.46,-577.87 558.99,-580.39"/>
<path fill="none" stroke="black" d="M298.45,-748.13C343.85,-722.23 424,-676.5 424,-676.5 424,-676.5 539,-623.5 539,-623.5"/>
</g>
<!-- NASALib/dL -->
<g id="node4" class="node">
<title>NASALib/dL</title>
<polygon fill="#fcfcd7" stroke="black" points="282,-856.5 228,-856.5 228,-820.5 282,-820.5 282,-856.5"/>
<text text-anchor="middle" x="255" y="-833.45" font-family="Times,serif" font-size="14.00">dL</text>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ODEs -->
<g id="edge16" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ODEs</title>
<path fill="none" stroke="black" d="M231.27,-820.2C219.27,-811.45 204.52,-800.69 191.49,-791.19"/>
<polygon fill="black" stroke="black" points="193.93,-787.91 183.79,-784.85 189.81,-793.57 193.93,-787.91"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/analysis -->
<g id="edge17" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M282.21,-820.73C307.41,-805.2 341,-784.5 341,-784.5 341,-784.5 341,-748.5 341,-748.5 341,-748.5 335,-604.5 335,-604.5 335,-604.5 323,-551.5 323,-551.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ints -->
<g id="edge18" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M31,-405.5C31,-405.5 57,-263.5 57,-263.5"/>
<path fill="none" stroke="black" d="M57,-189.5C57,-189.5 67,-172.5 67,-172.5 67,-172.5 78.23,-158.65 89.22,-145.12"/>
<polygon fill="black" stroke="black" points="92.34,-147.82 95.92,-137.85 86.9,-143.41 92.34,-147.82"/>
<path fill="none" stroke="black" d="M96,-765.5C96,-765.5 27,-712.5 27,-712.5 27,-712.5 27,-676.5 27,-676.5 27,-676.5 31,-407.5 31,-407.5"/>
<path fill="none" stroke="black" d="M57,-261.5C57,-261.5 57,-191.5 57,-191.5"/>
<path fill="none" stroke="black" d="M227.65,-826.52C188.99,-810.99 123,-784.5 123,-784.5 123,-784.5 96,-767.5 96,-767.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/lnexp -->
<g id="edge19" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M96,-765.5C96,-765.5 159,-695.5 159,-695.5"/>
<path fill="none" stroke="black" d="M159,-693.5C159,-693.5 169.75,-565.65 174.64,-507.59"/>
<polygon fill="black" stroke="black" points="178.21,-507.91 175.56,-497.65 171.23,-507.32 178.21,-507.91"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/mv_analysis -->
<g id="edge20" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M96,-765.5C96,-765.5 90.2,-742.95 85.19,-723.45"/>
<polygon fill="black" stroke="black" points="88.33,-722.62 82.45,-713.8 81.55,-724.36 88.33,-722.62"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/orders -->
<g id="edge21" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M282.49,-833.86C372.86,-821.88 655,-784.5 655,-784.5 655,-784.5 677,-695.5 677,-695.5 677,-695.5 677,-695.5 677,-405.5 677,-405.5 662,-316.5 662,-316.5 662,-316.5 626.68,-297.97 597.81,-282.82"/>
<polygon fill="black" stroke="black" points="599.81,-279.39 589.33,-277.84 596.56,-285.59 599.81,-279.39"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/reals -->
<g id="edge22" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M31,-405.5C31,-405.5 124.42,-328.37 173.57,-287.8"/>
<polygon fill="black" stroke="black" points="175.43,-289.98 180.91,-280.91 170.97,-284.58 175.43,-289.98"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/structures -->
<g id="edge23" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M57,-261.5C57,-261.5 66,-244.5 66,-244.5 66,-244.5 77.49,-230.65 88.73,-217.12"/>
<polygon fill="black" stroke="black" points="91.9,-219.78 95.59,-209.85 86.51,-215.31 91.9,-219.78"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge24" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M137.47,-109.29C184.71,-95.17 281.81,-66.14 339.66,-48.85"/>
<polygon fill="black" stroke="black" points="340.41,-51.98 348.99,-45.76 338.41,-45.27 340.41,-51.98"/>
</g>
<!-- NASALib/lebesgue -->
<g id="node6" class="node">
<title>NASALib/lebesgue</title>
<polygon fill="#fcfcd7" stroke="black" points="502.62,-784.5 439.38,-784.5 439.38,-748.5 502.62,-748.5 502.62,-784.5"/>
<text text-anchor="middle" x="471" y="-761.45" font-family="Times,serif" font-size="14.00">lebesgue</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/analysis -->
<g id="edge25" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M429,-693.5C429,-693.5 400,-388.5 400,-388.5 400,-388.5 390.95,-375.17 381.92,-361.88"/>
<polygon fill="black" stroke="black" points="384.3,-360.16 375.79,-353.85 378.51,-364.09 384.3,-360.16"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/measure_integration -->
<g id="edge26" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M481.13,-748.2C485.75,-740.31 491.32,-730.8 496.45,-722.05"/>
<polygon fill="black" stroke="black" points="499.95,-724 501.98,-713.6 493.91,-720.46 499.95,-724"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/metric_space -->
<g id="edge27" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M438.89,-750.17C406.11,-734.52 360,-712.5 360,-712.5 360,-712.5 327.19,-675.06 304.13,-648.75"/>
<polygon fill="black" stroke="black" points="306.26,-646.87 297.04,-641.66 301,-651.49 306.26,-646.87"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/power -->
<g id="edge28" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M455.61,-748.15C441.9,-732.69 424,-712.5 424,-712.5 424,-712.5 384,-640.5 384,-640.5 384,-640.5 378.07,-605.3 373.66,-579.17"/>
<polygon fill="black" stroke="black" points="377.01,-578.94 371.89,-569.66 370.1,-580.1 377.01,-578.94"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/reals -->
<g id="edge29" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M460.62,-748.2C448.18,-727.47 429,-695.5 429,-695.5"/>
<path fill="none" stroke="black" d="M455,-549.5C455,-549.5 455,-335.5 455,-335.5"/>
<path fill="none" stroke="black" d="M429,-693.5C429,-693.5 455,-551.5 455,-551.5"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node16" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="616.25,-496.5 553.75,-496.5 553.75,-460.5 616.25,-460.5 616.25,-496.5"/>
<text text-anchor="middle" x="585" y="-473.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sets_aux -->
<g id="edge30" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M502.89,-751.3C538.14,-735.6 590,-712.5 590,-712.5 590,-712.5 637,-623.5 637,-623.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/structures -->
<g id="edge31" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M515,-477.5C515,-477.5 515,-335.5 515,-335.5"/>
<path fill="none" stroke="black" d="M429,-693.5C429,-693.5 515,-479.5 515,-479.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/topology -->
<g id="edge32" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M503.06,-750.6C536.78,-734.92 585,-712.5 585,-712.5 585,-712.5 585,-676.5 585,-676.5 585,-676.5 539,-623.5 539,-623.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/analysis -->
<g id="edge33" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M181.94,-460.2C187.87,-439.47 197,-407.5 197,-407.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/ints -->
<g id="edge34" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M167.96,-460.12C150.1,-425.77 112,-352.5 112,-352.5 112,-352.5 57,-191.5 57,-191.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/reals -->
<g id="edge35" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M177,-460.2C177,-439.47 177,-407.5 177,-407.5"/>
</g>
<!-- NASALib/series -->
<g id="node15" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="290,-424.5 236,-424.5 236,-388.5 290,-388.5 290,-424.5"/>
<text text-anchor="middle" x="263" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/series -->
<g id="edge36" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M198.26,-460.2C208.8,-451.61 221.71,-441.11 233.22,-431.74"/>
<polygon fill="black" stroke="black" points="235.14,-433.87 240.69,-424.85 230.72,-428.45 235.14,-433.87"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/metric_space -->
<g id="edge37" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M454.55,-676.02C418.47,-665.03 372.19,-650.95 336.65,-640.13"/>
<polygon fill="black" stroke="black" points="338.04,-636.59 327.45,-637.03 336,-643.29 338.04,-636.59"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/orders -->
<g id="edge38" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M585,-405.5C585,-405.5 572.76,-333.09 565.76,-291.68"/>
<polygon fill="black" stroke="black" points="569.06,-291.19 563.94,-281.91 562.16,-292.36 569.06,-291.19"/>
<path fill="none" stroke="black" d="M525.21,-676.12C551.31,-641.77 607,-568.5 607,-568.5 607,-568.5 607,-532.5 607,-532.5 607,-532.5 545,-496.5 545,-496.5 545,-496.5 545,-460.5 545,-460.5 545,-460.5 585,-407.5 585,-407.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/power -->
<g id="edge39" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M489.73,-676.15C469.9,-660.69 444,-640.5 444,-640.5 444,-640.5 412.45,-603.06 390.28,-576.75"/>
<polygon fill="black" stroke="black" points="392.58,-575.05 383.46,-569.66 387.23,-579.56 392.58,-575.05"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/reals -->
<g id="edge40" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M506.31,-676.2C499.5,-655.47 489,-623.5 489,-623.5"/>
<path fill="none" stroke="black" d="M489,-621.5C489,-621.5 455,-551.5 455,-551.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/series -->
<g id="edge41" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M500.55,-676.27C472.95,-634.74 405,-532.5 405,-532.5 405,-532.5 332.15,-468.37 290.81,-431.98"/>
<polygon fill="black" stroke="black" points="293.56,-429.86 283.74,-425.88 288.94,-435.12 293.56,-429.86"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sets_aux -->
<g id="edge42" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M637,-621.5C637,-621.5 622,-532.5 622,-532.5 622,-532.5 612.52,-518.91 603.15,-505.5"/>
<polygon fill="black" stroke="black" points="605.71,-504.05 597.12,-497.85 599.97,-508.06 605.71,-504.05"/>
<path fill="none" stroke="black" d="M543.22,-676.02C580.24,-655.28 637,-623.5 637,-623.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/structures -->
<g id="edge43" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M489,-621.5C489,-621.5 515,-479.5 515,-479.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/topology -->
<g id="edge44" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M518.67,-676.2C526.67,-655.47 539,-623.5 539,-623.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;lib/finite_sets -->
<g id="edge45" class="edge">
<title>NASALib/measure_integration&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M575.74,-676.44C633.62,-660.95 710,-640.5 710,-640.5 710,-640.5 726,-551.5 726,-551.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/analysis -->
<g id="edge46" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M292.13,-604.2C304.28,-583.47 323,-551.5 323,-551.5"/>
<path fill="none" stroke="black" d="M323,-549.5C323,-549.5 333,-532.5 333,-532.5 333,-532.5 360,-496.5 360,-496.5 360,-496.5 360,-460.5 360,-460.5 360,-460.5 359,-407.5 359,-407.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/power -->
<g id="edge47" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M303.51,-604.2C314.17,-595.61 327.23,-585.11 338.88,-575.74"/>
<polygon fill="black" stroke="black" points="340.84,-577.84 346.44,-568.85 336.45,-572.39 340.84,-577.84"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/reals -->
<g id="edge48" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M223,-477.5C223,-477.5 213,-460.5 213,-460.5 213,-460.5 177,-407.5 177,-407.5"/>
<path fill="none" stroke="black" d="M268.25,-604.15C256,-588.69 240,-568.5 240,-568.5 240,-568.5 223,-479.5 223,-479.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/series -->
<g id="edge49" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M223,-477.5C223,-477.5 236.49,-453.89 247.8,-434.1"/>
<polygon fill="black" stroke="black" points="251.19,-436.22 253.11,-425.8 245.11,-432.75 251.19,-436.22"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/sets_aux -->
<g id="edge50" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M326.46,-608.26C379.18,-592.56 460,-568.5 460,-568.5 460,-568.5 515.05,-529.31 552.08,-502.94"/>
<polygon fill="black" stroke="black" points="553.49,-505.52 559.6,-496.87 549.43,-499.82 553.49,-505.52"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/topology -->
<g id="edge51" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M326.38,-610.71C390.12,-595.21 500,-568.5 500,-568.5 500,-568.5 510.6,-565.77 523.3,-562.5"/>
<polygon fill="black" stroke="black" points="523.96,-565.68 532.77,-559.8 522.22,-558.91 523.96,-565.68"/>
</g>
<!-- NASALib/vectors -->
<g id="node20" class="node">
<title>NASALib/vectors</title>
<polygon fill="#fcfcd7" stroke="black" points="303.5,-568.5 248.5,-568.5 248.5,-532.5 303.5,-532.5 303.5,-568.5"/>
<text text-anchor="middle" x="276" y="-545.45" font-family="Times,serif" font-size="14.00">vectors</text>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/vectors -->
<g id="edge52" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M280.52,-604.2C279.88,-596.74 279.11,-587.82 278.4,-579.47"/>
<polygon fill="black" stroke="black" points="281.81,-579.27 277.47,-569.6 274.83,-579.87 281.81,-579.27"/>
</g>
<!-- NASALib/metric_space&#45;&gt;lib/finite_sets -->
<g id="edge53" class="edge">
<title>NASALib/metric_space&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M326.2,-614.53C438.5,-596.83 726,-551.5 726,-551.5"/>
<path fill="none" stroke="black" d="M726,-549.5C726,-549.5 726,-407.5 726,-407.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/analysis -->
<g id="edge54" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M83.89,-676.15C89.14,-660.69 96,-640.5 96,-640.5 96,-640.5 141,-460.5 141,-460.5 141,-460.5 182,-424.5 182,-424.5 182,-424.5 197,-407.5 197,-407.5"/>
<path fill="none" stroke="black" d="M197,-405.5C197,-405.5 227,-388.5 227,-388.5 227,-388.5 283.37,-366.69 323.79,-351.06"/>
<polygon fill="black" stroke="black" points="324.87,-354 332.93,-347.13 322.35,-347.47 324.87,-354"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/metric_space -->
<g id="edge55" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M120.27,-679C151.36,-668.33 193.89,-653.73 227.54,-642.19"/>
<polygon fill="black" stroke="black" points="228.35,-645.27 236.67,-638.71 226.07,-638.65 228.35,-645.27"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/reals -->
<g id="edge56" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M177,-405.5C177,-405.5 190.26,-333.09 197.84,-291.68"/>
<polygon fill="black" stroke="black" points="201.45,-292.38 199.81,-281.91 194.57,-291.12 201.45,-292.38"/>
<path fill="none" stroke="black" d="M91,-549.5C91,-549.5 128,-460.5 128,-460.5 128,-460.5 177,-407.5 177,-407.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/structures -->
<g id="edge57" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M79.59,-676.09C83.07,-638.17 91,-551.5 91,-551.5"/>
<path fill="none" stroke="black" d="M91,-549.5C91,-549.5 66,-496.5 66,-496.5 66,-496.5 52,-352.5 52,-352.5 52,-352.5 52,-316.5 52,-316.5 52,-316.5 80.41,-255.28 97.46,-218.53"/>
<polygon fill="black" stroke="black" points="100.9,-220.42 101.94,-209.88 94.55,-217.48 100.9,-220.42"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge58" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M533.88,-250.26C526.26,-247.09 520,-244.5 520,-244.5 520,-244.5 262.03,-211.15 155.34,-197.36"/>
<polygon fill="black" stroke="black" points="155.97,-193.78 145.6,-195.97 155.07,-200.73 155.97,-193.78"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge59" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M726,-189.5C726,-189.5 726,-119.5 726,-119.5"/>
<path fill="none" stroke="black" d="M588.33,-251.78C631.34,-236.48 710,-208.5 710,-208.5 710,-208.5 726,-191.5 726,-191.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/analysis -->
<g id="edge60" class="edge">
<title>NASALib/power&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M395,-405.5C395,-405.5 384.73,-382.32 376.02,-362.64"/>
<polygon fill="black" stroke="black" points="378.91,-361.53 371.66,-353.8 372.51,-364.36 378.91,-361.53"/>
<path fill="none" stroke="black" d="M379.15,-532.15C388.19,-516.69 400,-496.5 400,-496.5 400,-496.5 400,-460.5 400,-460.5 400,-460.5 395,-407.5 395,-407.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/lnexp -->
<g id="edge61" class="edge">
<title>NASALib/power&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M341.66,-539.9C298.14,-524.63 218,-496.5 218,-496.5 218,-496.5 216.44,-495.85 213.92,-494.81"/>
<polygon fill="black" stroke="black" points="215.7,-491.34 205.12,-490.74 213.02,-497.81 215.7,-491.34"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/reals -->
<g id="edge62" class="edge">
<title>NASALib/power&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M395,-405.5C395,-405.5 455,-335.5 455,-335.5"/>
<path fill="none" stroke="black" d="M455,-333.5C455,-333.5 403,-316.5 403,-316.5 403,-316.5 244,-280.5 244,-280.5 244,-280.5 242.44,-279.85 239.92,-278.81"/>
<polygon fill="black" stroke="black" points="241.7,-275.34 231.12,-274.74 239.02,-281.81 241.7,-275.34"/>
</g>
<!-- NASALib/probability -->
<g id="node13" class="node">
<title>NASALib/probability</title>
<polygon fill="#fcfcd7" stroke="black" points="645.62,-784.5 570.38,-784.5 570.38,-748.5 645.62,-748.5 645.62,-784.5"/>
<text text-anchor="middle" x="608" y="-761.45" font-family="Times,serif" font-size="14.00">probability</text>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/analysis -->
<g id="edge63" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M635,-477.5C635,-477.5 625,-460.5 625,-460.5 625,-460.5 477.13,-389.68 404,-354.66"/>
<polygon fill="black" stroke="black" points="405.73,-351.12 395.19,-349.96 402.7,-357.44 405.73,-351.12"/>
<path fill="none" stroke="black" d="M657,-621.5C657,-621.5 635,-479.5 635,-479.5"/>
<path fill="none" stroke="black" d="M614.01,-748.09C627.09,-710.17 657,-623.5 657,-623.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/measure_integration -->
<g id="edge64" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M584.27,-748.2C572.27,-739.45 557.52,-728.69 544.49,-719.19"/>
<polygon fill="black" stroke="black" points="546.93,-715.91 536.79,-712.85 542.81,-721.57 546.93,-715.91"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/metric_space -->
<g id="edge65" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M569.88,-753.47C520.31,-737.84 440,-712.5 440,-712.5 440,-712.5 368.95,-672.48 322.14,-646.11"/>
<polygon fill="black" stroke="black" points="324.27,-642.73 313.84,-640.87 320.83,-648.83 324.27,-642.73"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/reals -->
<g id="edge66" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M635,-477.5C635,-477.5 625,-460.5 625,-460.5 625,-460.5 455,-335.5 455,-335.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/structures -->
<g id="edge67" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M657,-621.5C657,-621.5 697,-479.5 697,-479.5 697,-479.5 697,-479.5 697,-405.5 697,-405.5 669,-316.5 669,-316.5 669,-316.5 637,-263.5 637,-263.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/topology -->
<g id="edge68" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M606.46,-748.34C604.13,-722.48 600,-676.5 600,-676.5 600,-676.5 583.63,-616.32 573.61,-579.47"/>
<polygon fill="black" stroke="black" points="576.73,-578.61 570.73,-569.88 569.97,-580.45 576.73,-578.61"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge69" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M175.88,-250.26C168.26,-247.09 162,-244.5 162,-244.5 162,-244.5 67,-208.5 67,-208.5 67,-208.5 57,-191.5 57,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge70" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M180.01,-244.2C168.39,-235.45 154.1,-224.69 141.47,-215.19"/>
<polygon fill="black" stroke="black" points="144.14,-212.06 134.05,-208.85 139.93,-217.66 144.14,-212.06"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge71" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M288.23,-388.02C300.98,-379.18 316.62,-368.34 330.38,-358.8"/>
<polygon fill="black" stroke="black" points="331.87,-361.33 338.1,-352.76 327.88,-355.58 331.87,-361.33"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge72" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M247.91,-388.27C211.54,-346.74 122,-244.5 122,-244.5 122,-244.5 67,-208.5 67,-208.5 67,-208.5 57,-191.5 57,-191.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge73" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M279,-333.5C279,-333.5 325,-316.5 325,-316.5 325,-316.5 456.85,-286.89 523.45,-271.93"/>
<polygon fill="black" stroke="black" points="523.94,-275.19 532.93,-269.58 522.4,-268.36 523.94,-275.19"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge74" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M266.96,-388.2C271.69,-367.47 279,-335.5 279,-335.5"/>
<path fill="none" stroke="black" d="M279,-333.5C279,-333.5 251.71,-308.36 229.84,-288.22"/>
<polygon fill="black" stroke="black" points="232.51,-286 222.79,-281.8 227.77,-291.15 232.51,-286"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge75" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M657,-333.5C657,-333.5 642,-244.5 642,-244.5 642,-244.5 270.01,-157.1 148.15,-128.46"/>
<polygon fill="black" stroke="black" points="149.02,-124.84 138.48,-125.96 147.42,-131.65 149.02,-124.84"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge76" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M585,-460.2C585,-439.47 585,-407.5 585,-407.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge77" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M657,-333.5C657,-333.5 637,-263.5 637,-263.5"/>
<path fill="none" stroke="black" d="M593.83,-460.09C613.05,-422.17 657,-335.5 657,-335.5"/>
<path fill="none" stroke="black" d="M637,-261.5C637,-261.5 597,-244.5 597,-244.5 597,-244.5 276.23,-209.59 155.35,-196.44"/>
<polygon fill="black" stroke="black" points="155.95,-192.87 145.63,-195.27 155.2,-199.83 155.95,-192.87"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge78" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M726,-405.5C726,-405.5 726,-263.5 726,-263.5"/>
<path fill="none" stroke="black" d="M616.64,-461.79C658.21,-441.15 726,-407.5 726,-407.5"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge79" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M110,-172.2C110,-164.74 110,-155.82 110,-147.47"/>
<polygon fill="black" stroke="black" points="113.5,-147.6 110,-137.6 106.5,-147.6 113.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge80" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M726,-117.5C726,-117.5 525.74,-68.91 432.6,-46.31"/>
<polygon fill="black" stroke="black" points="433.61,-42.71 423.06,-43.75 431.96,-49.51 433.61,-42.71"/>
<path fill="none" stroke="black" d="M144.44,-185.59C274.16,-170.84 726,-119.5 726,-119.5"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/reals -->
<g id="edge81" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M547.66,-532.15C531.33,-516.69 510,-496.5 510,-496.5 510,-496.5 455,-335.5 455,-335.5"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/sets_aux -->
<g id="edge82" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M570.7,-532.2C572.74,-524.65 575.2,-515.62 577.49,-507.18"/>
<polygon fill="black" stroke="black" points="581.12,-508.17 580.36,-497.6 574.36,-506.34 581.12,-508.17"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/structures -->
<g id="edge83" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M553.39,-532.2C538.29,-511.47 515,-479.5 515,-479.5"/>
</g>
<!-- NASALib/trig -->
<g id="node19" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="296,-496.5 242,-496.5 242,-460.5 296,-460.5 296,-496.5"/>
<text text-anchor="middle" x="269" y="-473.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/analysis -->
<g id="edge84" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M291.25,-460.2C317.9,-439.47 359,-407.5 359,-407.5"/>
<path fill="none" stroke="black" d="M359,-405.5C359,-405.5 360.6,-383.16 361.98,-363.72"/>
<polygon fill="black" stroke="black" points="365.54,-364.03 362.76,-353.8 358.56,-363.53 365.54,-364.03"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/ints -->
<g id="edge85" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M255.25,-460.15C243,-444.69 227,-424.5 227,-424.5 227,-424.5 67,-208.5 67,-208.5 67,-208.5 57,-191.5 57,-191.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/reals -->
<g id="edge86" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M315,-405.5C315,-405.5 284,-316.5 284,-316.5 284,-316.5 260.38,-301.04 238.65,-286.82"/>
<polygon fill="black" stroke="black" points="240.81,-283.4 230.52,-280.85 236.97,-289.26 240.81,-283.4"/>
<path fill="none" stroke="black" d="M280.37,-460.2C293.99,-439.47 315,-407.5 315,-407.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/series -->
<g id="edge87" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M267.52,-460.2C266.88,-452.74 266.11,-443.82 265.4,-435.47"/>
<polygon fill="black" stroke="black" points="268.81,-435.27 264.47,-425.6 261.83,-435.87 268.81,-435.27"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/reals -->
<g id="edge88" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M285.5,-532.15C293.95,-516.69 305,-496.5 305,-496.5 305,-496.5 315,-407.5 315,-407.5"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/structures -->
<g id="edge89" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M515,-333.5C515,-333.5 260.27,-244.19 154.85,-207.22"/>
<polygon fill="black" stroke="black" points="156.12,-203.61 145.53,-203.61 153.81,-210.22 156.12,-203.61"/>
<path fill="none" stroke="black" d="M303.5,-532.15C328,-516.69 360,-496.5 360,-496.5 360,-496.5 515,-335.5 515,-335.5"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/trig -->
<g id="edge90" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M274.27,-532.2C273.52,-524.74 272.63,-515.82 271.8,-507.47"/>
<polygon fill="black" stroke="black" points="275.19,-507.21 270.71,-497.6 268.22,-507.9 275.19,-507.21"/>
</g>
</g>
</svg>