mv_analysis/mv_analysis.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: mv_analysis Pages: 1 -->
<svg width="540pt" height="905pt"
 viewBox="0.00 0.00 540.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>mv_analysis</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-901 536,-901 536,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-889 512,-889 512,-92.5 8,-92.5"/>
<text text-anchor="middle" x="260" 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="285,-8 285,-84.5 373,-84.5 373,-8 285,-8"/>
<text text-anchor="middle" x="329" 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="347,-784.5 293,-784.5 293,-748.5 347,-748.5 347,-784.5"/>
<text text-anchor="middle" x="320" 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="327.75,-352.5 268.25,-352.5 268.25,-316.5 327.75,-316.5 327.75,-352.5"/>
<text text-anchor="middle" x="298" 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="M403,-621.5C403,-621.5 383,-479.5 383,-479.5"/>
</g>
<!-- NASALib/lnexp -->
<g id="node5" class="node">
<title>NASALib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="362,-496.5 308,-496.5 308,-460.5 362,-460.5 362,-496.5"/>
<text text-anchor="middle" x="335" 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="M403,-693.5C403,-693.5 403,-623.5 403,-623.5"/>
<path fill="none" stroke="black" d="M403,-621.5C403,-621.5 367.73,-547.84 347.99,-506.63"/>
<polygon fill="black" stroke="black" points="350.81,-505.42 343.34,-497.91 344.5,-508.44 350.81,-505.42"/>
</g>
<!-- NASALib/matrices -->
<g id="node6" class="node">
<title>NASALib/matrices</title>
<polygon fill="#fcfcd7" stroke="black" points="78.25,-352.5 15.75,-352.5 15.75,-316.5 78.25,-316.5 78.25,-352.5"/>
<text text-anchor="middle" x="47" y="-329.45" font-family="Times,serif" font-size="14.00">matrices</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/matrices -->
<g id="edge3" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M292.51,-757.45C241.88,-742.62 139,-712.5 139,-712.5 139,-712.5 62,-623.5 62,-623.5 62,-623.5 62,-623.5 62,-477.5 62,-477.5 54.35,-405.09 49.98,-363.68"/>
<polygon fill="black" stroke="black" points="53.37,-363.49 48.84,-353.91 46.41,-364.22 53.37,-363.49"/>
</g>
<!-- NASALib/metric_space -->
<g id="node7" class="node">
<title>NASALib/metric_space</title>
<polygon fill="#fcfcd7" stroke="black" points="361,-640.5 273,-640.5 273,-604.5 361,-604.5 361,-640.5"/>
<text text-anchor="middle" x="317" y="-617.45" font-family="Times,serif" font-size="14.00">metric_space</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/metric_space -->
<g id="edge4" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M340.52,-748.2C365.1,-727.47 403,-695.5 403,-695.5"/>
<path fill="none" stroke="black" d="M403,-693.5C403,-693.5 371.57,-667.92 346.71,-647.69"/>
<polygon fill="black" stroke="black" points="349.22,-644.4 339.26,-640.8 344.8,-649.83 349.22,-644.4"/>
</g>
<!-- NASALib/mv_analysis -->
<g id="node8" class="node">
<title>NASALib/mv_analysis</title>
<polygon fill="#f7e28d" stroke="black" points="232.12,-712.5 147.88,-712.5 147.88,-676.5 232.12,-676.5 232.12,-712.5"/>
<text text-anchor="middle" x="190" y="-689.45" font-family="Times,serif" font-size="14.00">mv_analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/mv_analysis -->
<g id="edge5" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M292.75,-750.83C275.09,-741.32 251.74,-728.74 231.76,-717.99"/>
<polygon fill="black" stroke="black" points="233.73,-714.53 223.27,-712.88 230.41,-720.7 233.73,-714.53"/>
</g>
<!-- NASALib/structures -->
<g id="node14" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="224.25,-208.5 155.75,-208.5 155.75,-172.5 224.25,-172.5 224.25,-208.5"/>
<text text-anchor="middle" x="190" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/structures -->
<g id="edge6" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M347.36,-749.02C373.19,-733.46 408,-712.5 408,-712.5 408,-712.5 483,-623.5 483,-623.5 483,-623.5 483,-623.5 483,-405.5 483,-405.5 483,-263.5 483,-263.5"/>
</g>
<!-- NASALib/ints -->
<g id="node4" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="217,-136.5 163,-136.5 163,-100.5 217,-100.5 217,-136.5"/>
<text text-anchor="middle" x="190" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge7" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M280.94,-316.2C260.51,-295.47 229,-263.5 229,-263.5"/>
</g>
<!-- NASALib/orders -->
<g id="node9" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="371,-280.5 317,-280.5 317,-244.5 371,-244.5 371,-280.5"/>
<text text-anchor="middle" x="344" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge8" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M309.37,-316.2C314.61,-308.23 320.93,-298.6 326.74,-289.76"/>
<polygon fill="black" stroke="black" points="330.19,-291.88 332.76,-281.6 324.34,-288.04 330.19,-291.88"/>
</g>
<!-- NASALib/reals -->
<g id="node11" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="210,-280.5 156,-280.5 156,-244.5 210,-244.5 210,-280.5"/>
<text text-anchor="middle" x="183" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge9" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M269.28,-316.02C254.15,-306.81 235.44,-295.42 219.32,-285.61"/>
<polygon fill="black" stroke="black" points="221.53,-282.25 211.17,-280.04 217.89,-288.23 221.53,-282.25"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge10" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M298,-316.2C298,-295.47 298,-263.5 298,-263.5"/>
</g>
<!-- lib/finite_sets -->
<g id="node18" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="364.75,-52 293.25,-52 293.25,-16 364.75,-16 364.75,-52"/>
<text text-anchor="middle" x="329" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge11" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M328.08,-321.88C335.81,-318.89 342,-316.5 342,-316.5 342,-316.5 516,-280.5 516,-280.5 516,-280.5 532,-263.5 532,-263.5"/>
<path fill="none" stroke="black" d="M532,-261.5C532,-261.5 532,-191.5 532,-191.5"/>
</g>
<!-- NASALib/dL -->
<g id="node3" class="node">
<title>NASALib/dL</title>
<polygon fill="#fcfcd7" stroke="black" points="347,-856.5 293,-856.5 293,-820.5 347,-820.5 347,-856.5"/>
<text text-anchor="middle" x="320" y="-833.45" font-family="Times,serif" font-size="14.00">dL</text>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ODEs -->
<g id="edge12" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ODEs</title>
<path fill="none" stroke="black" d="M320,-820.2C320,-812.74 320,-803.82 320,-795.47"/>
<polygon fill="black" stroke="black" points="323.5,-795.6 320,-785.6 316.5,-795.6 323.5,-795.6"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/analysis -->
<g id="edge13" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M347.28,-825.78C393.68,-805.86 483,-767.5 483,-767.5"/>
<path fill="none" stroke="black" d="M483,-765.5C483,-765.5 388,-460.5 388,-460.5 388,-460.5 351,-424.5 351,-424.5 351,-424.5 341,-407.5 341,-407.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ints -->
<g id="edge14" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M503,-333.5C503,-333.5 503,-263.5 503,-263.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/lnexp -->
<g id="edge15" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M221,-765.5C221,-765.5 241,-712.5 241,-712.5 241,-712.5 264,-604.5 264,-604.5 264,-604.5 281,-532.5 281,-532.5 281,-532.5 295.64,-518.13 309.68,-504.35"/>
<polygon fill="black" stroke="black" points="311.63,-507.36 316.32,-497.85 306.73,-502.36 311.63,-507.36"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/mv_analysis -->
<g id="edge16" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M221,-765.5C221,-765.5 210.73,-742.32 202.02,-722.64"/>
<polygon fill="black" stroke="black" points="204.91,-721.53 197.66,-713.8 198.51,-724.36 204.91,-721.53"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/orders -->
<g id="edge17" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M503,-549.5C503,-549.5 433,-388.5 433,-388.5 433,-388.5 393,-352.5 393,-352.5 393,-352.5 373.1,-316.35 358.66,-290.13"/>
<polygon fill="black" stroke="black" points="361.34,-288.73 353.45,-281.66 355.2,-292.11 361.34,-288.73"/>
<path fill="none" stroke="black" d="M483,-765.5C483,-765.5 488,-712.5 488,-712.5 488,-712.5 503,-551.5 503,-551.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/reals -->
<g id="edge18" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M221,-765.5C221,-765.5 139,-712.5 139,-712.5 139,-712.5 112,-496.5 112,-496.5 112,-496.5 112,-460.5 112,-460.5 112,-460.5 117,-407.5 117,-407.5"/>
<path fill="none" stroke="black" d="M295.27,-820.02C265.95,-799.28 221,-767.5 221,-767.5"/>
<path fill="none" stroke="black" d="M157,-333.5C157,-333.5 165.53,-310.53 172.82,-290.91"/>
<polygon fill="black" stroke="black" points="176.37,-292.4 176.57,-281.8 169.81,-289.96 176.37,-292.4"/>
<path fill="none" stroke="black" d="M117,-405.5C117,-405.5 157,-335.5 157,-335.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/structures -->
<g id="edge19" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M503,-333.5C503,-333.5 483,-263.5 483,-263.5"/>
<path fill="none" stroke="black" d="M503,-549.5C503,-549.5 503,-335.5 503,-335.5"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge20" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M217.46,-101.2C238.32,-88.82 267.28,-71.63 290.46,-57.87"/>
<polygon fill="black" stroke="black" points="291.86,-60.52 298.68,-52.4 288.29,-54.5 291.86,-60.52"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/analysis -->
<g id="edge21" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M336.48,-460.2C338.26,-439.47 341,-407.5 341,-407.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/ints -->
<g id="edge22" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M330.37,-460.34C323.4,-434.48 311,-388.5 311,-388.5 311,-388.5 259,-352.5 259,-352.5 259,-352.5 229,-263.5 229,-263.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/reals -->
<g id="edge23" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M307.75,-462.45C279.37,-446.78 239,-424.5 239,-424.5 239,-424.5 229,-407.5 229,-407.5"/>
</g>
<!-- NASALib/series -->
<g id="node12" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="302,-424.5 248,-424.5 248,-388.5 302,-388.5 302,-424.5"/>
<text text-anchor="middle" x="275" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/series -->
<g id="edge24" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M320.17,-460.2C313.12,-451.97 304.56,-441.98 296.79,-432.92"/>
<polygon fill="black" stroke="black" points="298.83,-430.92 289.66,-425.6 293.51,-435.47 298.83,-430.92"/>
</g>
<!-- NASALib/matrices&#45;&gt;NASALib/ints -->
<g id="edge25" class="edge">
<title>NASALib/matrices&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M137,-189.5C137,-189.5 147,-172.5 147,-172.5 147,-172.5 158.23,-158.65 169.22,-145.12"/>
<polygon fill="black" stroke="black" points="172.34,-147.82 175.92,-137.85 166.9,-143.41 172.34,-147.82"/>
<path fill="none" stroke="black" d="M97,-261.5C97,-261.5 137,-191.5 137,-191.5"/>
<path fill="none" stroke="black" d="M59.36,-316.2C74.17,-295.47 97,-263.5 97,-263.5"/>
</g>
<!-- NASALib/matrices&#45;&gt;NASALib/reals -->
<g id="edge26" class="edge">
<title>NASALib/matrices&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M78.54,-317.26C98.73,-306.87 125,-293.35 146.15,-282.47"/>
<polygon fill="black" stroke="black" points="147.47,-285.21 154.76,-277.52 144.27,-278.98 147.47,-285.21"/>
</g>
<!-- NASALib/matrices&#45;&gt;NASALib/structures -->
<g id="edge27" class="edge">
<title>NASALib/matrices&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M97,-261.5C97,-261.5 112,-244.5 112,-244.5 112,-244.5 134.55,-229.18 155.39,-215.01"/>
<polygon fill="black" stroke="black" points="157.16,-217.37 163.46,-208.85 153.22,-211.58 157.16,-217.37"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/analysis -->
<g id="edge28" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M333.31,-604.2C352.86,-583.47 383,-551.5 383,-551.5"/>
<path fill="none" stroke="black" d="M383,-549.5C383,-549.5 383,-479.5 383,-479.5"/>
</g>
<!-- NASALib/power -->
<g id="node10" class="node">
<title>NASALib/power</title>
<polygon fill="#fcfcd7" stroke="black" points="344,-568.5 290,-568.5 290,-532.5 344,-532.5 344,-568.5"/>
<text text-anchor="middle" x="317" y="-545.45" font-family="Times,serif" font-size="14.00">power</text>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/power -->
<g id="edge29" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M317,-604.2C317,-596.74 317,-587.82 317,-579.47"/>
<polygon fill="black" stroke="black" points="320.5,-579.6 317,-569.6 313.5,-579.6 320.5,-579.6"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/reals -->
<g id="edge30" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M272.6,-607.57C222.53,-591.87 148,-568.5 148,-568.5 148,-568.5 148,-532.5 148,-532.5 148,-532.5 157,-335.5 157,-335.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/series -->
<g id="edge31" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M305.21,-604.15C294.71,-588.69 281,-568.5 281,-568.5 281,-568.5 277.76,-481.61 276.04,-435.5"/>
<polygon fill="black" stroke="black" points="279.51,-435.59 275.64,-425.73 272.52,-435.85 279.51,-435.59"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node13" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="464.25,-352.5 401.75,-352.5 401.75,-316.5 464.25,-316.5 464.25,-352.5"/>
<text text-anchor="middle" x="433" y="-329.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/sets_aux -->
<g id="edge32" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M340.25,-604.15C360.95,-588.69 388,-568.5 388,-568.5 388,-568.5 433,-424.5 433,-424.5 433,-424.5 433,-389.61 433,-363.52"/>
<polygon fill="black" stroke="black" points="436.5,-363.66 433,-353.66 429.5,-363.66 436.5,-363.66"/>
</g>
<!-- NASALib/topology -->
<g id="node15" class="node">
<title>NASALib/topology</title>
<polygon fill="#fcfcd7" stroke="black" points="424,-424.5 360,-424.5 360,-388.5 424,-388.5 424,-424.5"/>
<text text-anchor="middle" x="392" y="-401.45" font-family="Times,serif" font-size="14.00">topology</text>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/topology -->
<g id="edge33" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M383,-549.5C383,-549.5 388,-496.5 388,-496.5 388,-496.5 389.57,-461.61 390.74,-435.52"/>
<polygon fill="black" stroke="black" points="394.28,-435.81 391.23,-425.66 387.28,-435.49 394.28,-435.81"/>
</g>
<!-- NASALib/vectors -->
<g id="node17" class="node">
<title>NASALib/vectors</title>
<polygon fill="#fcfcd7" stroke="black" points="211.5,-568.5 156.5,-568.5 156.5,-532.5 211.5,-532.5 211.5,-568.5"/>
<text text-anchor="middle" x="184" y="-545.45" font-family="Times,serif" font-size="14.00">vectors</text>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/vectors -->
<g id="edge34" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M283.78,-604.02C264.83,-594.04 241.01,-581.5 221.4,-571.18"/>
<polygon fill="black" stroke="black" points="223.34,-567.72 212.86,-566.16 220.08,-573.92 223.34,-567.72"/>
</g>
<!-- NASALib/metric_space&#45;&gt;lib/finite_sets -->
<g id="edge35" class="edge">
<title>NASALib/metric_space&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M343.52,-604.15C367.15,-588.69 398,-568.5 398,-568.5 398,-568.5 532,-479.5 532,-479.5 532,-479.5 532,-479.5 532,-405.5 532,-405.5 532,-263.5 532,-263.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/analysis -->
<g id="edge36" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M210,-621.5C210,-621.5 299,-460.5 299,-460.5 299,-460.5 341,-407.5 341,-407.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/matrices -->
<g id="edge37" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M117,-477.5C117,-477.5 97,-407.5 97,-407.5"/>
<path fill="none" stroke="black" d="M97,-405.5C97,-405.5 79.83,-381.46 65.61,-361.56"/>
<polygon fill="black" stroke="black" points="68.02,-359.91 59.36,-353.8 62.32,-363.98 68.02,-359.91"/>
<path fill="none" stroke="black" d="M194.94,-676.2C200.87,-655.47 210,-623.5 210,-623.5"/>
<path fill="none" stroke="black" d="M210,-621.5C210,-621.5 144,-568.5 144,-568.5 144,-568.5 117,-479.5 117,-479.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/metric_space -->
<g id="edge38" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M221.72,-676.02C238.21,-666.93 258.55,-655.72 276.2,-645.99"/>
<polygon fill="black" stroke="black" points="277.62,-648.65 284.68,-640.76 274.24,-642.52 277.62,-648.65"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/reals -->
<g id="edge39" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M117,-477.5C117,-477.5 117,-407.5 117,-407.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/structures -->
<g id="edge40" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M97,-405.5C97,-405.5 147,-244.5 147,-244.5 147,-244.5 158.23,-230.65 169.22,-217.12"/>
<polygon fill="black" stroke="black" points="172.34,-219.82 175.92,-209.85 166.9,-215.41 172.34,-219.82"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge41" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M316.82,-249.15C294.08,-238.81 261.18,-223.86 234.59,-211.77"/>
<polygon fill="black" stroke="black" points="236.29,-208.24 225.74,-207.29 233.4,-214.62 236.29,-208.24"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge42" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M371.25,-253.1C419.75,-238.16 516,-208.5 516,-208.5 516,-208.5 532,-191.5 532,-191.5"/>
<path fill="none" stroke="black" d="M532,-189.5C532,-189.5 532,-119.5 532,-119.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/analysis -->
<g id="edge43" class="edge">
<title>NASALib/power&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M383,-477.5C383,-477.5 351,-424.5 351,-424.5 351,-424.5 341,-407.5 341,-407.5"/>
<path fill="none" stroke="black" d="M334.68,-532.15C350.43,-516.69 371,-496.5 371,-496.5 371,-496.5 383,-479.5 383,-479.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/lnexp -->
<g id="edge44" class="edge">
<title>NASALib/power&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M321.45,-532.2C323.39,-524.65 325.71,-515.62 327.88,-507.18"/>
<polygon fill="black" stroke="black" points="331.5,-508.16 330.6,-497.6 324.72,-506.42 331.5,-508.16"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/reals -->
<g id="edge45" class="edge">
<title>NASALib/power&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M306.15,-532.12C284.72,-497.77 239,-424.5 239,-424.5 239,-424.5 229,-407.5 229,-407.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge46" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M171.21,-244.15C160.71,-228.69 147,-208.5 147,-208.5 147,-208.5 137,-191.5 137,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge47" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M184.73,-244.2C185.48,-236.74 186.37,-227.82 187.2,-219.47"/>
<polygon fill="black" stroke="black" points="190.78,-219.9 188.29,-209.6 183.81,-219.21 190.78,-219.9"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge48" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M280.69,-388.2C283.19,-380.57 286.2,-371.42 289,-362.9"/>
<polygon fill="black" stroke="black" points="292.58,-364.2 292.38,-353.6 285.93,-362.01 292.58,-364.2"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge49" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M229,-261.5C229,-261.5 219,-244.5 219,-244.5 219,-244.5 147,-208.5 147,-208.5 147,-208.5 137,-191.5 137,-191.5"/>
<path fill="none" stroke="black" d="M209,-333.5C209,-333.5 229,-263.5 229,-263.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge50" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M269.76,-388.15C265.09,-372.69 259,-352.5 259,-352.5 259,-352.5 259,-316.5 259,-316.5 259,-316.5 284.33,-300.71 307.33,-286.36"/>
<polygon fill="black" stroke="black" points="309,-288.82 315.64,-280.56 305.3,-282.88 309,-288.82"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge51" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M209,-333.5C209,-333.5 200.47,-310.53 193.18,-290.91"/>
<polygon fill="black" stroke="black" points="196.19,-289.96 189.43,-281.8 189.63,-292.4 196.19,-289.96"/>
<path fill="none" stroke="black" d="M258.3,-388.15C243.43,-372.69 224,-352.5 224,-352.5 224,-352.5 209,-335.5 209,-335.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge52" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M451.01,-316.15C467.05,-300.69 488,-280.5 488,-280.5 488,-280.5 503,-263.5 503,-263.5"/>
<path fill="none" stroke="black" d="M503,-261.5C503,-261.5 488,-244.5 488,-244.5 488,-244.5 307.38,-168.74 227.38,-135.18"/>
<polygon fill="black" stroke="black" points="228.81,-131.56 218.24,-130.92 226.1,-138.02 228.81,-131.56"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge53" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M411,-316.2C399.98,-307.53 386.47,-296.9 374.47,-287.46"/>
<polygon fill="black" stroke="black" points="377.08,-284.28 367.06,-280.85 372.75,-289.78 377.08,-284.28"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge54" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M445.36,-316.2C460.17,-295.47 483,-263.5 483,-263.5"/>
<path fill="none" stroke="black" d="M483,-261.5C483,-261.5 317.15,-221.88 235.01,-202.25"/>
<polygon fill="black" stroke="black" points="236.01,-198.66 225.47,-199.74 234.39,-205.46 236.01,-198.66"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge55" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M460.18,-316.15C484.38,-300.69 516,-280.5 516,-280.5 516,-280.5 532,-263.5 532,-263.5"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge56" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M190,-172.2C190,-164.74 190,-155.82 190,-147.47"/>
<polygon fill="black" stroke="black" points="193.5,-147.6 190,-137.6 186.5,-147.6 193.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge57" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M532,-117.5C532,-117.5 434.69,-77.95 374.81,-53.62"/>
<polygon fill="black" stroke="black" points="376.41,-50.08 365.83,-49.56 373.77,-56.57 376.41,-50.08"/>
<path fill="none" stroke="black" d="M224.67,-182.4C311.62,-164.61 532,-119.5 532,-119.5"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/reals -->
<g id="edge58" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M347,-333.5C347,-333.5 337,-316.5 337,-316.5 337,-316.5 224,-280.5 224,-280.5 224,-280.5 222.44,-279.85 219.92,-278.81"/>
<polygon fill="black" stroke="black" points="221.7,-275.34 211.12,-274.74 219.02,-281.81 221.7,-275.34"/>
<path fill="none" stroke="black" d="M380.88,-388.2C367.55,-367.47 347,-335.5 347,-335.5"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/sets_aux -->
<g id="edge59" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M402.13,-388.2C406.75,-380.31 412.32,-370.8 417.45,-362.05"/>
<polygon fill="black" stroke="black" points="420.95,-364 422.98,-353.6 414.91,-360.46 420.95,-364"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/structures -->
<g id="edge60" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M347,-333.5C347,-333.5 337,-316.5 337,-316.5 337,-316.5 308,-280.5 308,-280.5 308,-280.5 298,-263.5 298,-263.5"/>
</g>
<!-- NASALib/trig -->
<g id="node16" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="230,-496.5 176,-496.5 176,-460.5 230,-460.5 230,-496.5"/>
<text text-anchor="middle" x="203" y="-473.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/analysis -->
<g id="edge61" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M341,-405.5C341,-405.5 326.5,-381.89 314.34,-362.1"/>
<polygon fill="black" stroke="black" points="316.85,-360.49 308.63,-353.8 310.88,-364.16 316.85,-360.49"/>
<path fill="none" stroke="black" d="M230.25,-464.13C262.25,-448.43 311,-424.5 311,-424.5 311,-424.5 341,-407.5 341,-407.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/ints -->
<g id="edge62" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M195.91,-460.12C181.9,-425.77 152,-352.5 152,-352.5 152,-352.5 137,-191.5 137,-191.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/reals -->
<g id="edge63" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M209.43,-460.2C217.13,-439.47 229,-407.5 229,-407.5"/>
<path fill="none" stroke="black" d="M229,-405.5C229,-405.5 157,-335.5 157,-335.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/series -->
<g id="edge64" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M220.8,-460.2C229.45,-451.78 240.01,-441.52 249.5,-432.29"/>
<polygon fill="black" stroke="black" points="251.43,-435.33 256.16,-425.85 246.55,-430.31 251.43,-435.33"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/reals -->
<g id="edge65" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M178.43,-532.15C173.48,-516.69 167,-496.5 167,-496.5 167,-496.5 167,-460.5 167,-460.5 167,-460.5 177,-407.5 177,-407.5"/>
<path fill="none" stroke="black" d="M177,-405.5C177,-405.5 157,-335.5 157,-335.5"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/structures -->
<g id="edge66" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M177,-405.5C177,-405.5 204,-316.5 204,-316.5 204,-316.5 298,-263.5 298,-263.5"/>
<path fill="none" stroke="black" d="M298,-261.5C298,-261.5 257.38,-235.17 225.96,-214.81"/>
<polygon fill="black" stroke="black" points="228.27,-211.49 217.97,-208.98 224.46,-217.36 228.27,-211.49"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/trig -->
<g id="edge67" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M188.7,-532.2C190.74,-524.65 193.2,-515.62 195.49,-507.18"/>
<polygon fill="black" stroke="black" points="199.12,-508.17 198.36,-497.6 192.36,-506.34 199.12,-508.17"/>
</g>
</g>
</svg>