orders/orders.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: orders Pages: 1 -->
<svg width="2208pt" height="830pt"
 viewBox="0.00 0.00 2208.00 829.50" 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 825.5)">
<title>orders</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-825.5 2204,-825.5 2204,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="179,-8 179,-813.5 2096,-813.5 2096,-8 179,-8"/>
<text text-anchor="middle" x="1137.5" y="-796.2" 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="2104,-8 2104,-84.5 2192,-84.5 2192,-8 2104,-8"/>
<text text-anchor="middle" x="2148" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_float</title>
<polygon fill="none" stroke="black" points="8,-516.5 8,-665 171,-665 171,-516.5 8,-516.5"/>
<text text-anchor="middle" x="89.5" y="-647.7" font-family="Times,serif" font-size="14.00">float</text>
</g>
<!-- NASALib/ACCoRD -->
<g id="node1" class="node">
<title>NASALib/ACCoRD</title>
<polygon fill="#fcfcd7" stroke="black" points="880.62,-632.5 811.38,-632.5 811.38,-596.5 880.62,-596.5 880.62,-632.5"/>
<text text-anchor="middle" x="846" y="-609.45" font-family="Times,serif" font-size="14.00">ACCoRD</text>
</g>
<!-- NASALib/analysis -->
<g id="node13" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="1311.75,-272.5 1252.25,-272.5 1252.25,-236.5 1311.75,-236.5 1311.75,-272.5"/>
<text text-anchor="middle" x="1282" y="-249.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/analysis -->
<g id="edge1" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M880.87,-608.72C917.55,-603.69 970,-596.5 970,-596.5 970,-596.5 1808,-560.5 1808,-560.5 1808,-560.5 1823,-543.5 1823,-543.5"/>
</g>
<!-- NASALib/aviation -->
<g id="node14" class="node">
<title>NASALib/aviation</title>
<polygon fill="#fcfcd7" stroke="black" points="1293.75,-560.5 1234.25,-560.5 1234.25,-524.5 1293.75,-524.5 1293.75,-560.5"/>
<text text-anchor="middle" x="1264" y="-537.45" font-family="Times,serif" font-size="14.00">aviation</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/aviation -->
<g id="edge2" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/aviation</title>
<path fill="none" stroke="black" d="M881.09,-601.33C888.94,-598.6 895,-596.5 895,-596.5 895,-596.5 1166.03,-566.93 1223.58,-558.46"/>
<polygon fill="black" stroke="black" points="1223.83,-561.78 1233.05,-556.56 1222.58,-554.9 1223.83,-561.78"/>
</g>
<!-- NASALib/shapes -->
<g id="node43" class="node">
<title>NASALib/shapes</title>
<polygon fill="#fcfcd7" stroke="black" points="618,-560.5 564,-560.5 564,-524.5 618,-524.5 618,-560.5"/>
<text text-anchor="middle" x="591" y="-537.45" font-family="Times,serif" font-size="14.00">shapes</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/shapes -->
<g id="edge3" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/shapes</title>
<path fill="none" stroke="black" d="M810.91,-601.33C803.06,-598.6 797,-596.5 797,-596.5 797,-596.5 632,-560.5 632,-560.5 632,-560.5 630.44,-559.85 627.92,-558.81"/>
<polygon fill="black" stroke="black" points="629.7,-555.34 619.12,-554.74 627.02,-561.81 629.7,-555.34"/>
</g>
<!-- NASALib/structures -->
<g id="node45" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="1413.25,-128.5 1344.75,-128.5 1344.75,-92.5 1413.25,-92.5 1413.25,-128.5"/>
<text text-anchor="middle" x="1379" y="-105.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/structures -->
<g id="edge4" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M810.91,-601.33C803.06,-598.6 797,-596.5 797,-596.5 797,-596.5 402,-560.5 402,-560.5 402,-560.5 402,-516.5 402,-516.5 402,-516.5 576,-488.5 576,-488.5 576,-488.5 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/trig -->
<g id="node47" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="1091,-416.5 1037,-416.5 1037,-380.5 1091,-380.5 1091,-416.5"/>
<text text-anchor="middle" x="1064" y="-393.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/trig -->
<g id="edge5" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M810.91,-601.33C803.06,-598.6 797,-596.5 797,-596.5 797,-596.5 555,-560.5 555,-560.5 555,-560.5 525,-543.5 525,-543.5"/>
</g>
<!-- NASALib/vect_analysis -->
<g id="node48" class="node">
<title>NASALib/vect_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="1546.38,-560.5 1457.62,-560.5 1457.62,-524.5 1546.38,-524.5 1546.38,-560.5"/>
<text text-anchor="middle" x="1502" y="-537.45" font-family="Times,serif" font-size="14.00">vect_analysis</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/vect_analysis -->
<g id="edge6" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/vect_analysis</title>
<path fill="none" stroke="black" d="M880.92,-606.83C905.85,-602.07 935,-596.5 935,-596.5 935,-596.5 1444,-560.5 1444,-560.5 1444,-560.5 1445.06,-560.19 1446.89,-559.65"/>
<polygon fill="black" stroke="black" points="1447.55,-562.81 1456.16,-556.64 1445.58,-556.1 1447.55,-562.81"/>
</g>
<!-- NASALib/vectors -->
<g id="node49" class="node">
<title>NASALib/vectors</title>
<polygon fill="#fcfcd7" stroke="black" points="1244.5,-488.5 1189.5,-488.5 1189.5,-452.5 1244.5,-452.5 1244.5,-488.5"/>
<text text-anchor="middle" x="1217" y="-465.45" font-family="Times,serif" font-size="14.00">vectors</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/vectors -->
<g id="edge7" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M881.09,-601.33C888.94,-598.6 895,-596.5 895,-596.5 895,-596.5 1303,-560.5 1303,-560.5 1303,-560.5 1303,-516.5 1303,-516.5 1303,-516.5 1277.6,-503.21 1254.41,-491.07"/>
<polygon fill="black" stroke="black" points="1256.17,-487.52 1245.68,-485.99 1252.92,-493.72 1256.17,-487.52"/>
</g>
<!-- lib/finite_sets -->
<g id="node55" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="2183.75,-52 2112.25,-52 2112.25,-16 2183.75,-16 2183.75,-52"/>
<text text-anchor="middle" x="2148" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;lib/finite_sets -->
<g id="edge8" class="edge">
<title>NASALib/ACCoRD&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M880.87,-608.72C917.55,-603.69 970,-596.5 970,-596.5 970,-596.5 2050,-560.5 2050,-560.5 2050,-560.5 2064,-543.5 2064,-543.5"/>
<path fill="none" stroke="black" d="M2064,-541.5C2064,-541.5 2050,-516.5 2050,-516.5 2050,-516.5 1998,-471.5 1998,-471.5"/>
</g>
<!-- NASALib/Bernstein -->
<g id="node2" class="node">
<title>NASALib/Bernstein</title>
<polygon fill="#fcfcd7" stroke="black" points="723.88,-560.5 656.12,-560.5 656.12,-524.5 723.88,-524.5 723.88,-560.5"/>
<text text-anchor="middle" x="690" y="-537.45" font-family="Times,serif" font-size="14.00">Bernstein</text>
</g>
<!-- NASALib/interval_arith -->
<g id="node25" class="node">
<title>NASALib/interval_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="899.38,-488.5 810.62,-488.5 810.62,-452.5 899.38,-452.5 899.38,-488.5"/>
<text text-anchor="middle" x="855" y="-465.45" font-family="Times,serif" font-size="14.00">interval_arith</text>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/interval_arith -->
<g id="edge9" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M719.86,-524.14C727.2,-519.87 733,-516.5 733,-516.5 733,-516.5 767.86,-503.64 800.31,-491.67"/>
<polygon fill="black" stroke="black" points="801.09,-494.75 809.26,-488 798.67,-488.18 801.09,-494.75"/>
</g>
<!-- NASALib/sigma_set -->
<g id="node44" class="node">
<title>NASALib/sigma_set</title>
<polygon fill="#fcfcd7" stroke="black" points="1445.38,-488.5 1374.62,-488.5 1374.62,-452.5 1445.38,-452.5 1445.38,-488.5"/>
<text text-anchor="middle" x="1410" y="-465.45" font-family="Times,serif" font-size="14.00">sigma_set</text>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/sigma_set -->
<g id="edge10" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M719.86,-524.14C727.2,-519.87 733,-516.5 733,-516.5 733,-516.5 1361,-488.5 1361,-488.5 1361,-488.5 1362.08,-488.12 1363.93,-487.48"/>
<polygon fill="black" stroke="black" points="1364.83,-490.53 1373.13,-483.94 1362.54,-483.92 1364.83,-490.53"/>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/structures -->
<g id="edge11" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M665.27,-524.02C635.95,-503.28 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/CCG -->
<g id="node3" class="node">
<title>NASALib/CCG</title>
<polygon fill="#fcfcd7" stroke="black" points="1381,-344.5 1327,-344.5 1327,-308.5 1381,-308.5 1381,-344.5"/>
<text text-anchor="middle" x="1354" y="-321.45" font-family="Times,serif" font-size="14.00">CCG</text>
</g>
<!-- NASALib/digraphs -->
<g id="node19" class="node">
<title>NASALib/digraphs</title>
<polygon fill="#fcfcd7" stroke="black" points="1412.25,-272.5 1349.75,-272.5 1349.75,-236.5 1412.25,-236.5 1412.25,-272.5"/>
<text text-anchor="middle" x="1381" y="-249.45" font-family="Times,serif" font-size="14.00">digraphs</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/digraphs -->
<g id="edge12" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M1360.67,-308.2C1363.65,-300.48 1367.23,-291.21 1370.54,-282.61"/>
<polygon fill="black" stroke="black" points="1374.07,-284.19 1374.4,-273.6 1367.54,-281.67 1374.07,-284.19"/>
</g>
<!-- NASALib/ints -->
<g id="node26" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="1406,-52 1352,-52 1352,-16 1406,-16 1406,-52"/>
<text text-anchor="middle" x="1379" y="-28.95" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/ints -->
<g id="edge13" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1326.66,-314C1289.6,-298.41 1228,-272.5 1228,-272.5 1228,-272.5 1213,-255.5 1213,-255.5"/>
</g>
<!-- NASALib/orders -->
<g id="node35" class="node">
<title>NASALib/orders</title>
<polygon fill="#f7e28d" stroke="black" points="1408,-200.5 1354,-200.5 1354,-164.5 1408,-164.5 1408,-200.5"/>
<text text-anchor="middle" x="1381" y="-177.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/orders -->
<g id="edge14" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1381.49,-315.66C1424.29,-300.33 1502,-272.5 1502,-272.5 1502,-272.5 1532,-255.5 1532,-255.5"/>
</g>
<!-- NASALib/sets_aux -->
<g id="node42" class="node">
<title>NASALib/sets_aux</title>
<polygon fill="#fcfcd7" stroke="black" points="1493.25,-272.5 1430.75,-272.5 1430.75,-236.5 1493.25,-236.5 1493.25,-272.5"/>
<text text-anchor="middle" x="1462" y="-249.45" font-family="Times,serif" font-size="14.00">sets_aux</text>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/sets_aux -->
<g id="edge15" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1380.97,-308.02C1394.74,-299.1 1411.66,-288.13 1426.47,-278.53"/>
<polygon fill="black" stroke="black" points="1427.88,-281.14 1434.37,-272.76 1424.07,-275.26 1427.88,-281.14"/>
</g>
<!-- NASALib/CCG&#45;&gt;NASALib/structures -->
<g id="edge16" class="edge">
<title>NASALib/CCG&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1326.56,-312.4C1293.69,-296.7 1243,-272.5 1243,-272.5 1243,-272.5 1233,-255.5 1233,-255.5"/>
</g>
<!-- NASALib/CCG&#45;&gt;lib/finite_sets -->
<g id="edge17" class="edge">
<title>NASALib/CCG&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1381.34,-317.2C1395.56,-312.88 1410,-308.5 1410,-308.5 1410,-308.5 1547,-272.5 1547,-272.5 1547,-272.5 1561,-255.5 1561,-255.5"/>
<path fill="none" stroke="black" d="M1561,-253.5C1561,-253.5 1547,-236.5 1547,-236.5 1547,-236.5 1462,-183.5 1462,-183.5"/>
</g>
<!-- NASALib/MetiTarski -->
<g id="node4" class="node">
<title>NASALib/MetiTarski</title>
<polygon fill="#fcfcd7" stroke="black" points="818.38,-560.5 741.62,-560.5 741.62,-524.5 818.38,-524.5 818.38,-560.5"/>
<text text-anchor="middle" x="780" y="-537.45" font-family="Times,serif" font-size="14.00">MetiTarski</text>
</g>
<!-- NASALib/MetiTarski&#45;&gt;NASALib/interval_arith -->
<g id="edge18" class="edge">
<title>NASALib/MetiTarski&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M798.54,-524.2C807.55,-515.78 818.55,-505.52 828.44,-496.29"/>
<polygon fill="black" stroke="black" points="830.49,-499.23 835.41,-489.85 825.72,-494.11 830.49,-499.23"/>
</g>
<!-- NASALib/lnexp -->
<g id="node30" class="node">
<title>NASALib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="1183,-416.5 1129,-416.5 1129,-380.5 1183,-380.5 1183,-416.5"/>
<text text-anchor="middle" x="1156" y="-393.45" font-family="Times,serif" font-size="14.00">lnexp</text>
</g>
<!-- NASALib/MetiTarski&#45;&gt;NASALib/lnexp -->
<g id="edge19" class="edge">
<title>NASALib/MetiTarski&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1130,-469.5C1130,-469.5 1138.53,-446.53 1145.82,-426.91"/>
<polygon fill="black" stroke="black" points="1149.37,-428.4 1149.57,-417.8 1142.81,-425.96 1149.37,-428.4"/>
<path fill="none" stroke="black" d="M812.9,-524C820.8,-519.8 827,-516.5 827,-516.5 827,-516.5 1115,-488.5 1115,-488.5 1115,-488.5 1130,-471.5 1130,-471.5"/>
</g>
<!-- NASALib/MetiTarski&#45;&gt;NASALib/trig -->
<g id="edge20" class="edge">
<title>NASALib/MetiTarski&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M918,-469.5C918,-469.5 928,-452.5 928,-452.5 928,-452.5 986.49,-429.71 1026.76,-414.01"/>
<polygon fill="black" stroke="black" points="1027.76,-416.99 1035.81,-410.1 1025.22,-410.47 1027.76,-416.99"/>
<path fill="none" stroke="black" d="M812.9,-524C820.8,-519.8 827,-516.5 827,-516.5 827,-516.5 908,-488.5 908,-488.5 908,-488.5 918,-471.5 918,-471.5"/>
</g>
<!-- NASALib/ODEs -->
<g id="node5" class="node">
<title>NASALib/ODEs</title>
<polygon fill="#fcfcd7" stroke="black" points="261,-709 207,-709 207,-673 261,-673 261,-709"/>
<text text-anchor="middle" x="234" y="-685.95" font-family="Times,serif" font-size="14.00">ODEs</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/analysis -->
<g id="edge21" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M261.22,-681.1C273.8,-676.99 286,-673 286,-673 286,-673 316,-665 316,-665 316,-665 346,-615.5 346,-615.5"/>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/lnexp -->
<g id="edge22" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M670,-613.5C670,-613.5 675,-596.5 675,-596.5 675,-596.5 974,-560.5 974,-560.5 974,-560.5 1019,-516.5 1019,-516.5 1019,-516.5 1115,-488.5 1115,-488.5 1115,-488.5 1130,-471.5 1130,-471.5"/>
<path fill="none" stroke="black" d="M261.34,-681.7C275.56,-677.38 290,-673 290,-673 290,-673 655,-665 655,-665 655,-665 670,-615.5 670,-615.5"/>
</g>
<!-- NASALib/metric_space -->
<g id="node32" class="node">
<title>NASALib/metric_space</title>
<polygon fill="#fcfcd7" stroke="black" points="1420,-560.5 1332,-560.5 1332,-524.5 1420,-524.5 1420,-560.5"/>
<text text-anchor="middle" x="1376" y="-537.45" font-family="Times,serif" font-size="14.00">metric_space</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/metric_space -->
<g id="edge23" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M261.34,-681.7C275.56,-677.38 290,-673 290,-673 290,-673 890,-665 890,-665 890,-665 900,-615.5 900,-615.5"/>
<path fill="none" stroke="black" d="M900,-613.5C900,-613.5 915,-596.5 915,-596.5 915,-596.5 1308,-560.5 1308,-560.5 1308,-560.5 1313.46,-559.14 1321.28,-557.18"/>
<polygon fill="black" stroke="black" points="1321.93,-560.38 1330.78,-554.55 1320.23,-553.58 1321.93,-560.38"/>
</g>
<!-- NASALib/mv_analysis -->
<g id="node34" class="node">
<title>NASALib/mv_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="449.12,-632.5 364.88,-632.5 364.88,-596.5 449.12,-596.5 449.12,-632.5"/>
<text text-anchor="middle" x="407" y="-609.45" font-family="Times,serif" font-size="14.00">mv_analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/mv_analysis -->
<g id="edge24" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M261.12,-678.76C268.74,-675.59 275,-673 275,-673 275,-673 351,-665 351,-665 351,-665 365.16,-652.48 379.24,-640.04"/>
<polygon fill="black" stroke="black" points="381.24,-643.06 386.41,-633.81 376.6,-637.81 381.24,-643.06"/>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/structures -->
<g id="edge25" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M234,-672.72C234,-650.71 234,-615.5 234,-615.5"/>
</g>
<!-- NASALib/PVS0 -->
<g id="node6" class="node">
<title>NASALib/PVS0</title>
<polygon fill="#fcfcd7" stroke="black" points="1391,-416.5 1337,-416.5 1337,-380.5 1391,-380.5 1391,-416.5"/>
<text text-anchor="middle" x="1364" y="-393.45" font-family="Times,serif" font-size="14.00">PVS0</text>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/CCG -->
<g id="edge26" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/CCG</title>
<path fill="none" stroke="black" d="M1361.53,-380.2C1360.46,-372.74 1359.19,-363.82 1358,-355.47"/>
<polygon fill="black" stroke="black" points="1361.32,-355.01 1356.44,-345.6 1354.39,-356 1361.32,-355.01"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/digraphs -->
<g id="edge27" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/digraphs</title>
<path fill="none" stroke="black" d="M1348.94,-380.15C1335.52,-364.69 1318,-344.5 1318,-344.5 1318,-344.5 1318,-308.5 1318,-308.5 1318,-308.5 1335.72,-293.59 1352.37,-279.59"/>
<polygon fill="black" stroke="black" points="1353.97,-281.97 1359.37,-272.85 1349.47,-276.61 1353.97,-281.97"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/orders -->
<g id="edge28" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1391.34,-387.32C1443.48,-367.91 1552,-327.5 1552,-327.5"/>
<path fill="none" stroke="black" d="M1552,-325.5C1552,-325.5 1532,-255.5 1532,-255.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/sets_aux -->
<g id="edge29" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1400,-325.5C1400,-325.5 1410,-308.5 1410,-308.5 1410,-308.5 1424.1,-294.13 1437.62,-280.35"/>
<polygon fill="black" stroke="black" points="1439.47,-283.44 1443.97,-273.85 1434.47,-278.54 1439.47,-283.44"/>
<path fill="none" stroke="black" d="M1372.9,-380.2C1383.56,-359.47 1400,-327.5 1400,-327.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;NASALib/structures -->
<g id="edge30" class="edge">
<title>NASALib/PVS0&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1336.76,-390.02C1283.56,-375.41 1171,-344.5 1171,-344.5 1171,-344.5 1156,-327.5 1156,-327.5"/>
</g>
<!-- NASALib/PVS0&#45;&gt;lib/finite_sets -->
<g id="edge31" class="edge">
<title>NASALib/PVS0&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1552,-325.5C1552,-325.5 1561,-255.5 1561,-255.5"/>
</g>
<!-- NASALib/Riemann -->
<g id="node7" class="node">
<title>NASALib/Riemann</title>
<polygon fill="#fcfcd7" stroke="black" points="1215.75,-560.5 1150.25,-560.5 1150.25,-524.5 1215.75,-524.5 1215.75,-560.5"/>
<text text-anchor="middle" x="1183" y="-537.45" font-family="Times,serif" font-size="14.00">Riemann</text>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/analysis -->
<g id="edge32" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1150,-469.5C1150,-469.5 1177,-452.5 1177,-452.5 1177,-452.5 1266,-399.5 1266,-399.5"/>
<path fill="none" stroke="black" d="M1266,-397.5C1266,-397.5 1268,-327.5 1268,-327.5"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/interval_arith -->
<g id="edge33" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M1149.82,-528.12C1135.08,-522.18 1121,-516.5 1121,-516.5 1121,-516.5 913,-488.5 913,-488.5 913,-488.5 911.94,-488.19 910.11,-487.65"/>
<polygon fill="black" stroke="black" points="911.42,-484.1 900.84,-484.64 909.45,-490.81 911.42,-484.1"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/lnexp -->
<g id="edge34" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1150,-469.5C1150,-469.5 1151.91,-447.16 1153.58,-427.72"/>
<polygon fill="black" stroke="black" points="1157.15,-428.07 1154.52,-417.8 1150.18,-427.47 1157.15,-428.07"/>
<path fill="none" stroke="black" d="M1174.84,-524.2C1165.07,-503.47 1150,-471.5 1150,-471.5"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/structures -->
<g id="edge35" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1212.17,-524.14C1219.34,-519.87 1225,-516.5 1225,-516.5 1225,-516.5 1454,-488.5 1454,-488.5 1454,-488.5 1454,-452.5 1454,-452.5 1454,-452.5 1328,-416.5 1328,-416.5 1328,-416.5 1318,-399.5 1318,-399.5"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/trig -->
<g id="edge36" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1149.82,-528.12C1135.08,-522.18 1121,-516.5 1121,-516.5 1121,-516.5 928,-488.5 928,-488.5 928,-488.5 918,-471.5 918,-471.5"/>
</g>
<!-- NASALib/Sturm -->
<g id="node8" class="node">
<title>NASALib/Sturm</title>
<polygon fill="#fcfcd7" stroke="black" points="368,-560.5 314,-560.5 314,-524.5 368,-524.5 368,-560.5"/>
<text text-anchor="middle" x="341" y="-537.45" font-family="Times,serif" font-size="14.00">Sturm</text>
</g>
<!-- NASALib/Sturm&#45;&gt;NASALib/interval_arith -->
<g id="edge37" class="edge">
<title>NASALib/Sturm&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M368.36,-532.62C390.5,-525.43 418,-516.5 418,-516.5 418,-516.5 754,-488.5 754,-488.5 754,-488.5 776.07,-484.79 799.58,-480.83"/>
<polygon fill="black" stroke="black" points="800.13,-484.12 809.41,-479.01 798.96,-477.21 800.13,-484.12"/>
</g>
<!-- NASALib/Sturm&#45;&gt;NASALib/ints -->
<g id="edge38" class="edge">
<title>NASALib/Sturm&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M368.5,-529.44C383.07,-523.05 398,-516.5 398,-516.5 398,-516.5 556,-488.5 556,-488.5 556,-488.5 571,-471.5 571,-471.5"/>
</g>
<!-- NASALib/Sturm&#45;&gt;NASALib/structures -->
<g id="edge39" class="edge">
<title>NASALib/Sturm&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M368.12,-524.96C375.74,-520.31 382,-516.5 382,-516.5 382,-516.5 576,-488.5 576,-488.5 576,-488.5 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/TRS -->
<g id="node9" class="node">
<title>NASALib/TRS</title>
<polygon fill="#fcfcd7" stroke="black" points="1473,-344.5 1419,-344.5 1419,-308.5 1473,-308.5 1473,-344.5"/>
<text text-anchor="middle" x="1446" y="-321.45" font-family="Times,serif" font-size="14.00">TRS</text>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/orders -->
<g id="edge40" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1467.26,-308.2C1492.73,-287.47 1532,-255.5 1532,-255.5"/>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/sets_aux -->
<g id="edge41" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1449.96,-308.2C1451.68,-300.65 1453.74,-291.62 1455.67,-283.18"/>
<polygon fill="black" stroke="black" points="1459.27,-284.13 1458.09,-273.6 1452.45,-282.57 1459.27,-284.13"/>
</g>
<!-- NASALib/TRS&#45;&gt;NASALib/structures -->
<g id="edge42" class="edge">
<title>NASALib/TRS&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1418.66,-317.2C1404.44,-312.88 1390,-308.5 1390,-308.5 1390,-308.5 1243,-272.5 1243,-272.5 1243,-272.5 1233,-255.5 1233,-255.5"/>
</g>
<!-- NASALib/Tarski -->
<g id="node10" class="node">
<title>NASALib/Tarski</title>
<polygon fill="#fcfcd7" stroke="black" points="307,-632.5 253,-632.5 253,-596.5 307,-596.5 307,-632.5"/>
<text text-anchor="middle" x="280" y="-609.45" font-family="Times,serif" font-size="14.00">Tarski</text>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/Sturm -->
<g id="edge43" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/Sturm</title>
<path fill="none" stroke="black" d="M295.08,-596.2C302.32,-587.89 311.13,-577.78 319.09,-568.64"/>
<polygon fill="black" stroke="black" points="322.16,-571.44 326.09,-561.6 316.89,-566.84 322.16,-571.44"/>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/ints -->
<g id="edge44" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M278.76,-596.2C277.28,-575.47 275,-543.5 275,-543.5"/>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/structures -->
<g id="edge45" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M283.71,-596.2C288.15,-575.47 295,-543.5 295,-543.5"/>
</g>
<!-- NASALib/affine_arith -->
<g id="node11" class="node">
<title>NASALib/affine_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="505.5,-560.5 426.5,-560.5 426.5,-524.5 505.5,-524.5 505.5,-560.5"/>
<text text-anchor="middle" x="466" y="-537.45" font-family="Times,serif" font-size="14.00">affine_arith</text>
</g>
<!-- NASALib/affine_arith&#45;&gt;NASALib/interval_arith -->
<g id="edge46" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M505.81,-530.32C529.51,-523.66 555,-516.5 555,-516.5 555,-516.5 754,-488.5 754,-488.5 754,-488.5 776.07,-484.79 799.58,-480.83"/>
<polygon fill="black" stroke="black" points="800.13,-484.12 809.41,-479.01 798.96,-477.21 800.13,-484.12"/>
</g>
<!-- NASALib/affine_arith&#45;&gt;NASALib/structures -->
<g id="edge47" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M502.02,-524.15C534.1,-508.69 576,-488.5 576,-488.5 576,-488.5 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/algebra -->
<g id="node12" class="node">
<title>NASALib/algebra</title>
<polygon fill="#fcfcd7" stroke="black" points="1659.88,-560.5 1604.12,-560.5 1604.12,-524.5 1659.88,-524.5 1659.88,-560.5"/>
<text text-anchor="middle" x="1632" y="-537.45" font-family="Times,serif" font-size="14.00">algebra</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/ints -->
<g id="edge48" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1603.77,-532.33C1581.79,-525.2 1555,-516.5 1555,-516.5 1555,-516.5 586,-488.5 586,-488.5 586,-488.5 571,-471.5 571,-471.5"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/orders -->
<g id="edge49" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1657.7,-524.14C1664.01,-519.87 1669,-516.5 1669,-516.5 1669,-516.5 1888,-488.5 1888,-488.5 1888,-488.5 1969,-471.5 1969,-471.5"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/sigma_set -->
<g id="edge50" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M1603.75,-524.69C1596.15,-520.16 1590,-516.5 1590,-516.5 1590,-516.5 1459,-488.5 1459,-488.5 1459,-488.5 1457.92,-488.12 1456.07,-487.48"/>
<polygon fill="black" stroke="black" points="1457.46,-483.92 1446.87,-483.94 1455.17,-490.53 1457.46,-483.92"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/structures -->
<g id="edge51" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1657.7,-524.14C1664.01,-519.87 1669,-516.5 1669,-516.5 1669,-516.5 1883,-471.5 1883,-471.5"/>
<path fill="none" stroke="black" d="M1883,-469.5C1883,-469.5 1527,-416.5 1527,-416.5 1527,-416.5 1502,-236.5 1502,-236.5 1502,-236.5 1345,-200.5 1345,-200.5 1345,-200.5 1335,-183.5 1335,-183.5"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/trig -->
<g id="edge52" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1603.77,-532.33C1581.79,-525.2 1555,-516.5 1555,-516.5 1555,-516.5 641,-488.5 641,-488.5 641,-488.5 631,-471.5 631,-471.5"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/vectors -->
<g id="edge53" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1603.77,-532.33C1581.79,-525.2 1555,-516.5 1555,-516.5 1555,-516.5 1259,-488.5 1259,-488.5 1259,-488.5 1257.4,-487.85 1254.82,-486.81"/>
<polygon fill="black" stroke="black" points="1256.36,-483.25 1245.78,-482.74 1253.74,-489.74 1256.36,-483.25"/>
</g>
<!-- NASALib/algebra&#45;&gt;lib/finite_sets -->
<g id="edge54" class="edge">
<title>NASALib/algebra&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1657.7,-524.14C1664.01,-519.87 1669,-516.5 1669,-516.5 1669,-516.5 1974,-488.5 1974,-488.5 1974,-488.5 1998,-471.5 1998,-471.5"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge55" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1290.16,-236.2C1299.93,-215.47 1315,-183.5 1315,-183.5"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge56" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1306.73,-236.02C1319.1,-227.26 1334.27,-216.54 1347.66,-207.08"/>
<polygon fill="black" stroke="black" points="1349.44,-209.39 1355.59,-200.76 1345.4,-203.68 1349.44,-209.39"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge57" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1295.1,-236.2C1310.8,-215.47 1335,-183.5 1335,-183.5"/>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge58" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1462,-181.5C1462,-181.5 1462,-111.5 1462,-111.5"/>
<path fill="none" stroke="black" d="M1312.06,-243.9C1359.9,-228.63 1448,-200.5 1448,-200.5 1448,-200.5 1462,-183.5 1462,-183.5"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/analysis -->
<g id="edge59" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1264,-524.2C1264,-503.47 1264,-471.5 1264,-471.5"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/structures -->
<g id="edge60" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1236.91,-524.14C1230.26,-519.87 1225,-516.5 1225,-516.5 1225,-516.5 626,-488.5 626,-488.5 626,-488.5 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/trig -->
<g id="edge61" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1236.91,-524.14C1230.26,-519.87 1225,-516.5 1225,-516.5 1225,-516.5 928,-488.5 928,-488.5 928,-488.5 918,-471.5 918,-471.5"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/vectors -->
<g id="edge62" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1252.38,-524.2C1246.98,-516.14 1240.43,-506.39 1234.45,-497.48"/>
<polygon fill="black" stroke="black" points="1236.96,-495.96 1228.48,-489.6 1231.15,-499.86 1236.96,-495.96"/>
</g>
<!-- NASALib/aviation&#45;&gt;lib/finite_sets -->
<g id="edge63" class="edge">
<title>NASALib/aviation&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1294.19,-528.71C1308.71,-522.56 1323,-516.5 1323,-516.5 1323,-516.5 1974,-488.5 1974,-488.5 1974,-488.5 1998,-471.5 1998,-471.5"/>
</g>
<!-- NASALib/complex -->
<g id="node15" class="node">
<title>NASALib/complex</title>
<polygon fill="#fcfcd7" stroke="black" points="772.62,-632.5 709.38,-632.5 709.38,-596.5 772.62,-596.5 772.62,-632.5"/>
<text text-anchor="middle" x="741" y="-609.45" font-family="Times,serif" font-size="14.00">complex</text>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/algebra -->
<g id="edge64" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M772.95,-601.69C780.8,-598.79 787,-596.5 787,-596.5 787,-596.5 1570,-560.5 1570,-560.5 1570,-560.5 1580.89,-557.51 1593.55,-554.04"/>
<polygon fill="black" stroke="black" points="1594.18,-557.22 1602.9,-551.2 1592.33,-550.47 1594.18,-557.22"/>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/lnexp -->
<g id="edge65" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M772.95,-601.69C780.8,-598.79 787,-596.5 787,-596.5 787,-596.5 1121,-560.5 1121,-560.5 1121,-560.5 1131,-543.5 1131,-543.5"/>
<path fill="none" stroke="black" d="M1131,-541.5C1131,-541.5 1130,-471.5 1130,-471.5"/>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/trig -->
<g id="edge66" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M709.03,-604.39C655.85,-589.24 555,-560.5 555,-560.5 555,-560.5 525,-543.5 525,-543.5"/>
<path fill="none" stroke="black" d="M631,-469.5C631,-469.5 641,-452.5 641,-452.5 641,-452.5 962,-416.5 962,-416.5 962,-416.5 996.95,-410.67 1025.94,-405.84"/>
<polygon fill="black" stroke="black" points="1026.38,-409.15 1035.67,-404.06 1025.23,-402.25 1026.38,-409.15"/>
<path fill="none" stroke="black" d="M525,-541.5C525,-541.5 540,-516.5 540,-516.5 540,-516.5 616,-488.5 616,-488.5 616,-488.5 631,-471.5 631,-471.5"/>
</g>
<!-- NASALib/complex_alt -->
<g id="node16" class="node">
<title>NASALib/complex_alt</title>
<polygon fill="#fcfcd7" stroke="black" points="1111.75,-560.5 1028.25,-560.5 1028.25,-524.5 1111.75,-524.5 1111.75,-560.5"/>
<text text-anchor="middle" x="1070" y="-537.45" font-family="Times,serif" font-size="14.00">complex_alt</text>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/lnexp -->
<g id="edge67" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1084.83,-524.2C1102.6,-503.47 1130,-471.5 1130,-471.5"/>
</g>
<!-- NASALib/power -->
<g id="node38" class="node">
<title>NASALib/power</title>
<polygon fill="#fcfcd7" stroke="black" points="1337,-488.5 1283,-488.5 1283,-452.5 1337,-452.5 1337,-488.5"/>
<text text-anchor="middle" x="1310" y="-465.45" font-family="Times,serif" font-size="14.00">power</text>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/power -->
<g id="edge68" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M1112.12,-526.67C1127.41,-521.29 1141,-516.5 1141,-516.5 1141,-516.5 1269,-488.5 1269,-488.5 1269,-488.5 1270.56,-487.85 1273.08,-486.81"/>
<polygon fill="black" stroke="black" points="1273.98,-489.81 1281.88,-482.74 1271.3,-483.34 1273.98,-489.81"/>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/structures -->
<g id="edge69" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1028,-527.68C1010.42,-521.9 994,-516.5 994,-516.5 994,-516.5 626,-488.5 626,-488.5 626,-488.5 591,-471.5 591,-471.5"/>
<path fill="none" stroke="black" d="M591,-469.5C591,-469.5 606,-452.5 606,-452.5 606,-452.5 860,-416.5 860,-416.5 860,-416.5 875,-399.5 875,-399.5"/>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/trig -->
<g id="edge70" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1027.78,-525.74C985.92,-510.12 928,-488.5 928,-488.5 928,-488.5 918,-471.5 918,-471.5"/>
</g>
<!-- NASALib/complex_integration -->
<g id="node17" class="node">
<title>NASALib/complex_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="627.25,-709 498.75,-709 498.75,-673 627.25,-673 627.25,-709"/>
<text text-anchor="middle" x="563" y="-685.95" font-family="Times,serif" font-size="14.00">complex_integration</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/complex_alt -->
<g id="edge71" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/complex_alt</title>
<path fill="none" stroke="black" d="M627.63,-674.95C632.75,-673.76 636,-673 636,-673 636,-673 675,-665 675,-665 675,-665 700,-596.5 700,-596.5 700,-596.5 1014,-560.5 1014,-560.5 1014,-560.5 1015.29,-560.11 1017.49,-559.44"/>
<polygon fill="black" stroke="black" points="1018.29,-562.55 1026.84,-556.3 1016.26,-555.85 1018.29,-562.55"/>
</g>
<!-- NASALib/measure_integration -->
<g id="node31" class="node">
<title>NASALib/measure_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="1198.5,-632.5 1071.5,-632.5 1071.5,-596.5 1198.5,-596.5 1198.5,-632.5"/>
<text text-anchor="middle" x="1135" y="-609.45" font-family="Times,serif" font-size="14.00">measure_integration</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/measure_integration -->
<g id="edge72" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M627.63,-674.95C632.75,-673.76 636,-673 636,-673 636,-673 1057,-665 1057,-665 1057,-665 1078.23,-651.53 1098.53,-638.64"/>
<polygon fill="black" stroke="black" points="1100.15,-641.13 1106.72,-632.81 1096.4,-635.22 1100.15,-641.13"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/metric_space -->
<g id="edge73" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M627.63,-674.95C632.75,-673.76 636,-673 636,-673 636,-673 890,-665 890,-665 890,-665 900,-615.5 900,-615.5"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/power -->
<g id="edge74" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M627.63,-674.95C632.75,-673.76 636,-673 636,-673 636,-673 925,-665 925,-665 925,-665 940,-615.5 940,-615.5"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/structures -->
<g id="edge75" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M234,-613.5C234,-613.5 244,-596.5 244,-596.5 244,-596.5 280,-560.5 280,-560.5 280,-560.5 295,-543.5 295,-543.5"/>
<path fill="none" stroke="black" d="M295,-541.5C295,-541.5 305,-516.5 305,-516.5 305,-516.5 576,-488.5 576,-488.5 576,-488.5 591,-471.5 591,-471.5"/>
<path fill="none" stroke="black" d="M498.41,-678.19C482.54,-675.29 470,-673 470,-673 470,-673 244,-665 244,-665 244,-665 234,-615.5 234,-615.5"/>
</g>
<!-- NASALib/topology -->
<g id="node46" class="node">
<title>NASALib/topology</title>
<polygon fill="#fcfcd7" stroke="black" points="1091,-488.5 1027,-488.5 1027,-452.5 1091,-452.5 1091,-488.5"/>
<text text-anchor="middle" x="1059" y="-465.45" font-family="Times,serif" font-size="14.00">topology</text>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/topology -->
<g id="edge76" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M613.4,-672.5C625.5,-668.3 635,-665 635,-665 635,-665 650,-615.5 650,-615.5"/>
</g>
<!-- NASALib/dL -->
<g id="node18" class="node">
<title>NASALib/dL</title>
<polygon fill="#fcfcd7" stroke="black" points="407,-781 353,-781 353,-745 407,-745 407,-781"/>
<text text-anchor="middle" x="380" y="-757.95" font-family="Times,serif" font-size="14.00">dL</text>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ODEs -->
<g id="edge77" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ODEs</title>
<path fill="none" stroke="black" d="M352.54,-748.83C329.49,-737.79 296.37,-721.9 270.99,-709.74"/>
<polygon fill="black" stroke="black" points="272.87,-706.27 262.34,-705.11 269.84,-712.59 272.87,-706.27"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/analysis -->
<g id="edge78" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M800,-690C800,-690 810,-673 810,-673 810,-673 1223,-665 1223,-665 1223,-665 1253,-596.5 1253,-596.5 1253,-596.5 1808,-560.5 1808,-560.5 1808,-560.5 1823,-543.5 1823,-543.5"/>
<path fill="none" stroke="black" d="M1823,-541.5C1823,-541.5 1808,-516.5 1808,-516.5 1808,-516.5 1485,-488.5 1485,-488.5 1485,-488.5 1454,-452.5 1454,-452.5 1454,-452.5 1313,-416.5 1313,-416.5 1313,-416.5 1266,-399.5 1266,-399.5"/>
<path fill="none" stroke="black" d="M407.22,-758.48C498.79,-746.64 790,-709 790,-709 790,-709 800,-692 800,-692"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ints -->
<g id="edge79" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M352.75,-754.07C301.98,-739.28 198,-709 198,-709 198,-709 188,-615.5 188,-615.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/lnexp -->
<g id="edge80" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M407.49,-745.81C433.96,-730.22 470,-709 470,-709 470,-709 490,-673 490,-673 490,-673 655,-665 655,-665 655,-665 670,-615.5 670,-615.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/mv_analysis -->
<g id="edge81" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M352.51,-745.81C326.04,-730.22 290,-709 290,-709 290,-709 290,-673 290,-673 290,-673 351,-665 351,-665 351,-665 365.16,-652.48 379.24,-640.04"/>
<polygon fill="black" stroke="black" points="381.24,-643.06 386.41,-633.81 376.6,-637.81 381.24,-643.06"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/orders -->
<g id="edge82" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M407.34,-760.44C625.62,-747.96 2077,-665 2077,-665 2077,-665 2077,-596.5 2077,-596.5 2077,-596.5 2035,-543.5 2035,-543.5"/>
<path fill="none" stroke="black" d="M2035,-541.5C2035,-541.5 2025,-516.5 2025,-516.5 2025,-516.5 1984,-488.5 1984,-488.5 1984,-488.5 1969,-471.5 1969,-471.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/structures -->
<g id="edge83" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M800,-690C800,-690 810,-673 810,-673 810,-673 1263,-665 1263,-665 1263,-665 1838,-560.5 1838,-560.5 1838,-560.5 1883,-471.5 1883,-471.5"/>
</g>
<!-- NASALib/digraphs&#45;&gt;NASALib/ints -->
<g id="edge84" class="edge">
<title>NASALib/digraphs&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1364.3,-236.15C1349.43,-220.69 1330,-200.5 1330,-200.5 1330,-200.5 1315,-183.5 1315,-183.5"/>
</g>
<!-- NASALib/digraphs&#45;&gt;NASALib/orders -->
<g id="edge85" class="edge">
<title>NASALib/digraphs&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1381,-236.2C1381,-228.74 1381,-219.82 1381,-211.47"/>
<polygon fill="black" stroke="black" points="1384.5,-211.6 1381,-201.6 1377.5,-211.6 1384.5,-211.6"/>
</g>
<!-- NASALib/digraphs&#45;&gt;NASALib/structures -->
<g id="edge86" class="edge">
<title>NASALib/digraphs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1369.21,-236.15C1358.71,-220.69 1345,-200.5 1345,-200.5 1345,-200.5 1335,-183.5 1335,-183.5"/>
</g>
<!-- NASALib/digraphs&#45;&gt;lib/finite_sets -->
<g id="edge87" class="edge">
<title>NASALib/digraphs&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1402.94,-236.15C1422.48,-220.69 1448,-200.5 1448,-200.5 1448,-200.5 1462,-183.5 1462,-183.5"/>
</g>
<!-- NASALib/exact_real_arith -->
<g id="node20" class="node">
<title>NASALib/exact_real_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="610.5,-632.5 507.5,-632.5 507.5,-596.5 610.5,-596.5 610.5,-632.5"/>
<text text-anchor="middle" x="559" y="-609.45" font-family="Times,serif" font-size="14.00">exact_real_arith</text>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/Sturm -->
<g id="edge88" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/Sturm</title>
<path fill="none" stroke="black" d="M507.33,-598.03C455.08,-582.38 382,-560.5 382,-560.5 382,-560.5 380.44,-559.85 377.92,-558.81"/>
<polygon fill="black" stroke="black" points="379.7,-555.34 369.12,-554.74 377.02,-561.81 379.7,-555.34"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/interval_arith -->
<g id="edge89" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M637,-541.5C637,-541.5 647,-516.5 647,-516.5 647,-516.5 738.38,-496.73 800.01,-483.4"/>
<polygon fill="black" stroke="black" points="800.35,-486.69 809.38,-481.15 798.86,-479.85 800.35,-486.69"/>
<path fill="none" stroke="black" d="M581.27,-596.15C601.1,-580.69 627,-560.5 627,-560.5 627,-560.5 637,-543.5 637,-543.5"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/lnexp -->
<g id="edge90" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M610.68,-600.19C619.03,-598.04 625,-596.5 625,-596.5 625,-596.5 1121,-560.5 1121,-560.5 1121,-560.5 1131,-543.5 1131,-543.5"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/structures -->
<g id="edge91" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M507.29,-602.71C433.03,-587.21 305,-560.5 305,-560.5 305,-560.5 295,-543.5 295,-543.5"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/trig -->
<g id="edge92" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M557.69,-596.15C556.52,-580.69 555,-560.5 555,-560.5 555,-560.5 555,-516.5 555,-516.5 555,-516.5 739,-488.5 739,-488.5 739,-488.5 749,-471.5 749,-471.5"/>
<path fill="none" stroke="black" d="M749,-469.5C749,-469.5 802,-452.5 802,-452.5 802,-452.5 954,-421.75 1026.45,-407.1"/>
<polygon fill="black" stroke="black" points="1026.84,-410.39 1035.95,-404.97 1025.45,-403.52 1026.84,-410.39"/>
</g>
<!-- NASALib/examples -->
<g id="node21" class="node">
<title>NASALib/examples</title>
<polygon fill="#fcfcd7" stroke="black" points="366.88,-709 299.12,-709 299.12,-673 366.88,-673 366.88,-709"/>
<text text-anchor="middle" x="333" y="-685.95" font-family="Times,serif" font-size="14.00">examples</text>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Bernstein -->
<g id="edge93" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Bernstein</title>
<path fill="none" stroke="black" d="M630,-613.5C630,-613.5 650.98,-589.02 668.13,-569.02"/>
<polygon fill="black" stroke="black" points="671.32,-571.67 675.17,-561.8 666,-567.12 671.32,-571.67"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Riemann -->
<g id="edge94" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Riemann</title>
<path fill="none" stroke="black" d="M792,-613.5C792,-613.5 802,-596.5 802,-596.5 802,-596.5 1136,-560.5 1136,-560.5 1136,-560.5 1137.33,-560.02 1139.55,-559.22"/>
<polygon fill="black" stroke="black" points="1140.63,-562.18 1148.85,-555.49 1138.25,-555.6 1140.63,-562.18"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Sturm -->
<g id="edge95" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Sturm</title>
<path fill="none" stroke="black" d="M333.95,-672.62C335.31,-647.73 337.82,-601.65 339.45,-571.8"/>
<polygon fill="black" stroke="black" points="343,-572.03 340.05,-561.86 336.01,-571.65 343,-572.03"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Tarski -->
<g id="edge96" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Tarski</title>
<path fill="none" stroke="black" d="M320.71,-672.72C314.2,-663.57 306.07,-652.14 298.79,-641.91"/>
<polygon fill="black" stroke="black" points="301.06,-640.06 292.41,-633.94 295.35,-644.12 301.06,-640.06"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/affine_arith -->
<g id="edge97" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/affine_arith</title>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 458,-665 458,-665 458,-665 461.78,-607.6 464.14,-571.71"/>
<polygon fill="black" stroke="black" points="467.69,-572.12 464.85,-561.91 460.7,-571.66 467.69,-572.12"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/algebra -->
<g id="edge98" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 1042,-665 1042,-665 1042,-665 1063,-596.5 1063,-596.5 1063,-596.5 1590,-560.5 1590,-560.5 1590,-560.5 1591.35,-559.95 1593.57,-559.05"/>
<polygon fill="black" stroke="black" points="1594.8,-561.93 1602.75,-554.93 1592.17,-555.44 1594.8,-561.93"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/analysis -->
<g id="edge99" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1356,-469.5C1356,-469.5 1346,-452.5 1346,-452.5 1346,-452.5 1266,-399.5 1266,-399.5"/>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 945,-665 945,-665 945,-665 970,-596.5 970,-596.5 970,-596.5 1570,-560.5 1570,-560.5 1570,-560.5 1570,-516.5 1570,-516.5 1570,-516.5 1366,-488.5 1366,-488.5 1366,-488.5 1356,-471.5 1356,-471.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/complex -->
<g id="edge100" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/complex</title>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 675,-665 675,-665 675,-665 692.32,-652.01 709.21,-639.34"/>
<polygon fill="black" stroke="black" points="711.02,-641.61 716.92,-632.81 706.82,-636.01 711.02,-641.61"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/exact_real_arith -->
<g id="edge101" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/exact_real_arith</title>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 493,-665 493,-665 493,-665 510.32,-652.01 527.21,-639.34"/>
<polygon fill="black" stroke="black" points="529.02,-641.61 534.92,-632.81 524.82,-636.01 529.02,-641.61"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/interval_arith -->
<g id="edge102" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M630,-613.5C630,-613.5 637,-543.5 637,-543.5"/>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 620,-665 620,-665 620,-665 630,-615.5 630,-615.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/ints -->
<g id="edge103" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M855,-397.5C855,-397.5 870,-380.5 870,-380.5 870,-380.5 1049,-344.5 1049,-344.5 1049,-344.5 1064,-327.5 1064,-327.5"/>
<path fill="none" stroke="black" d="M1213,-253.5C1213,-253.5 1228,-236.5 1228,-236.5 1228,-236.5 1315,-183.5 1315,-183.5"/>
<path fill="none" stroke="black" d="M188,-613.5C188,-613.5 260,-560.5 260,-560.5 260,-560.5 275,-543.5 275,-543.5"/>
<path fill="none" stroke="black" d="M571,-469.5C571,-469.5 586,-452.5 586,-452.5 586,-452.5 855,-399.5 855,-399.5"/>
<path fill="none" stroke="black" d="M1064,-325.5C1064,-325.5 1074,-308.5 1074,-308.5 1074,-308.5 1213,-255.5 1213,-255.5"/>
<path fill="none" stroke="black" d="M298.92,-680.8C284.07,-676.8 270,-673 270,-673 270,-673 229,-665 229,-665 229,-665 188,-615.5 188,-615.5"/>
<path fill="none" stroke="black" d="M1315,-181.5C1315,-181.5 1315,-111.5 1315,-111.5"/>
<path fill="none" stroke="black" d="M275,-541.5C275,-541.5 290,-516.5 290,-516.5 290,-516.5 556,-488.5 556,-488.5 556,-488.5 571,-471.5 571,-471.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/lnexp -->
<g id="edge104" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 782,-665 782,-665 782,-665 792,-615.5 792,-615.5"/>
<path fill="none" stroke="black" d="M792,-613.5C792,-613.5 802,-596.5 802,-596.5 802,-596.5 1121,-560.5 1121,-560.5 1121,-560.5 1131,-543.5 1131,-543.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/sets_aux -->
<g id="edge105" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 1208,-665 1208,-665 1208,-665 1258,-615.5 1258,-615.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/structures -->
<g id="edge106" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M298.84,-680.41C273.75,-673.36 244,-665 244,-665 244,-665 234,-615.5 234,-615.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/trig -->
<g id="edge107" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M630,-613.5C630,-613.5 645,-596.5 645,-596.5 645,-596.5 939,-560.5 939,-560.5 939,-560.5 939,-516.5 939,-516.5 939,-516.5 918,-471.5 918,-471.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/vectors -->
<g id="edge108" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M367.3,-676.44C372.41,-674.42 376,-673 376,-673 376,-673 905,-665 905,-665 905,-665 935,-596.5 935,-596.5 935,-596.5 1429,-560.5 1429,-560.5 1429,-560.5 1439,-543.5 1439,-543.5"/>
<path fill="none" stroke="black" d="M1439,-541.5C1439,-541.5 1429,-516.5 1429,-516.5 1429,-516.5 1259,-488.5 1259,-488.5 1259,-488.5 1257.4,-487.85 1254.82,-486.81"/>
<polygon fill="black" stroke="black" points="1256.36,-483.25 1245.78,-482.74 1253.74,-489.74 1256.36,-483.25"/>
</g>
<!-- NASALib/extended_nnreal -->
<g id="node22" class="node">
<title>NASALib/extended_nnreal</title>
<polygon fill="#fcfcd7" stroke="black" points="1783.62,-560.5 1678.38,-560.5 1678.38,-524.5 1783.62,-524.5 1783.62,-560.5"/>
<text text-anchor="middle" x="1731" y="-537.45" font-family="Times,serif" font-size="14.00">extended_nnreal</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/analysis -->
<g id="edge109" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1687.6,-524C1677.18,-519.8 1669,-516.5 1669,-516.5 1669,-516.5 1366,-488.5 1366,-488.5 1366,-488.5 1356,-471.5 1356,-471.5"/>
</g>
<!-- NASALib/series -->
<g id="node41" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="1249,-344.5 1195,-344.5 1195,-308.5 1249,-308.5 1249,-344.5"/>
<text text-anchor="middle" x="1222" y="-321.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/series -->
<g id="edge110" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1687.6,-524C1677.18,-519.8 1669,-516.5 1669,-516.5 1669,-516.5 1125,-488.5 1125,-488.5 1125,-488.5 1110,-471.5 1110,-471.5"/>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set -->
<g id="edge111" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M1687.6,-524C1677.18,-519.8 1669,-516.5 1669,-516.5 1669,-516.5 1459,-488.5 1459,-488.5 1459,-488.5 1457.92,-488.12 1456.07,-487.48"/>
<polygon fill="black" stroke="black" points="1457.46,-483.92 1446.87,-483.94 1455.17,-490.53 1457.46,-483.92"/>
</g>
<!-- NASALib/fast_approx -->
<g id="node23" class="node">
<title>NASALib/fast_approx</title>
<polygon fill="#fcfcd7" stroke="black" points="729.88,-488.5 650.12,-488.5 650.12,-452.5 729.88,-452.5 729.88,-488.5"/>
<text text-anchor="middle" x="690" y="-465.45" font-family="Times,serif" font-size="14.00">fast_approx</text>
</g>
<!-- NASALib/fast_approx&#45;&gt;NASALib/trig -->
<g id="edge112" class="edge">
<title>NASALib/fast_approx&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M730.37,-456.79C738.19,-454.33 744,-452.5 744,-452.5 744,-452.5 962,-416.5 962,-416.5 962,-416.5 996.95,-410.67 1025.94,-405.84"/>
<polygon fill="black" stroke="black" points="1026.38,-409.15 1035.67,-404.06 1025.23,-402.25 1026.38,-409.15"/>
</g>
<!-- NASALib/graphs -->
<g id="node24" class="node">
<title>NASALib/graphs</title>
<polygon fill="#fcfcd7" stroke="black" points="1137,-344.5 1083,-344.5 1083,-308.5 1137,-308.5 1137,-344.5"/>
<text text-anchor="middle" x="1110" y="-321.45" font-family="Times,serif" font-size="14.00">graphs</text>
</g>
<!-- NASALib/graphs&#45;&gt;NASALib/ints -->
<g id="edge113" class="edge">
<title>NASALib/graphs&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1135.73,-308.02C1166.23,-287.28 1213,-255.5 1213,-255.5"/>
</g>
<!-- NASALib/graphs&#45;&gt;NASALib/sets_aux -->
<g id="edge114" class="edge">
<title>NASALib/graphs&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1137.44,-319.36C1159.21,-314.49 1186,-308.5 1186,-308.5 1186,-308.5 1372.41,-279.94 1419.9,-270.91"/>
<polygon fill="black" stroke="black" points="1420.51,-274.14 1429.51,-268.56 1418.99,-267.31 1420.51,-274.14"/>
</g>
<!-- NASALib/graphs&#45;&gt;NASALib/structures -->
<g id="edge115" class="edge">
<title>NASALib/graphs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1335,-181.5C1335,-181.5 1345,-164.5 1345,-164.5 1345,-164.5 1353.55,-151.17 1362.07,-137.88"/>
<polygon fill="black" stroke="black" points="1365.41,-140.16 1367.87,-129.85 1359.52,-136.38 1365.41,-140.16"/>
<path fill="none" stroke="black" d="M1137.25,-312.13C1169.25,-296.43 1218,-272.5 1218,-272.5 1218,-272.5 1233,-255.5 1233,-255.5"/>
<path fill="none" stroke="black" d="M1233,-253.5C1233,-253.5 1243,-236.5 1243,-236.5 1243,-236.5 1320,-200.5 1320,-200.5 1320,-200.5 1335,-183.5 1335,-183.5"/>
</g>
<!-- NASALib/graphs&#45;&gt;lib/finite_sets -->
<g id="edge116" class="edge">
<title>NASALib/graphs&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1137.44,-319.36C1159.21,-314.49 1186,-308.5 1186,-308.5 1186,-308.5 1547,-272.5 1547,-272.5 1547,-272.5 1561,-255.5 1561,-255.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/analysis -->
<g id="edge117" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M899.57,-459.12C914.77,-455.58 928,-452.5 928,-452.5 928,-452.5 1192,-416.5 1192,-416.5 1192,-416.5 1266,-399.5 1266,-399.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/ints -->
<g id="edge118" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M855,-452.2C855,-431.47 855,-399.5 855,-399.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/lnexp -->
<g id="edge119" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M899.57,-459.12C914.77,-455.58 928,-452.5 928,-452.5 928,-452.5 1115,-416.5 1115,-416.5 1115,-416.5 1116.56,-415.85 1119.08,-414.81"/>
<polygon fill="black" stroke="black" points="1119.98,-417.81 1127.88,-410.74 1117.3,-411.34 1119.98,-417.81"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/structures -->
<g id="edge120" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M859.94,-452.2C865.87,-431.47 875,-399.5 875,-399.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/trig -->
<g id="edge121" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M899.84,-454.48C937.45,-441.89 990.56,-424.1 1026.08,-412.2"/>
<polygon fill="black" stroke="black" points="1027.14,-415.2 1035.51,-408.71 1024.91,-408.57 1027.14,-415.2"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge122" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1406.43,-34C1472.56,-34 1635.33,-34 1635.33,-34 1635.33,-34 1891.67,-34 1891.67,-34 1891.67,-34 2026.92,-34 2100.93,-34"/>
<polygon fill="black" stroke="black" points="2100.82,-37.5 2110.82,-34 2100.82,-30.5 2100.82,-37.5"/>
</g>
<!-- NASALib/lebesgue -->
<g id="node27" class="node">
<title>NASALib/lebesgue</title>
<polygon fill="#fcfcd7" stroke="black" points="708.62,-709 645.38,-709 645.38,-673 708.62,-673 708.62,-709"/>
<text text-anchor="middle" x="677" y="-685.95" font-family="Times,serif" font-size="14.00">lebesgue</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/analysis -->
<g id="edge123" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1176,-325.5C1176,-325.5 1186,-308.5 1186,-308.5 1186,-308.5 1215.93,-291.98 1242.37,-277.38"/>
<polygon fill="black" stroke="black" points="1243.83,-280.02 1250.89,-272.12 1240.44,-273.89 1243.83,-280.02"/>
<path fill="none" stroke="black" d="M346,-613.5C346,-613.5 356,-596.5 356,-596.5 356,-596.5 407,-543.5 407,-543.5"/>
<path fill="none" stroke="black" d="M645.1,-676.77C639.81,-674.58 636,-673 636,-673 636,-673 356,-665 356,-665 356,-665 346,-615.5 346,-615.5"/>
<path fill="none" stroke="black" d="M407,-541.5C407,-541.5 418,-516.5 418,-516.5 418,-516.5 596,-488.5 596,-488.5 596,-488.5 626,-452.5 626,-452.5 626,-452.5 880,-416.5 880,-416.5 880,-416.5 1161,-344.5 1161,-344.5 1161,-344.5 1176,-327.5 1176,-327.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal -->
<g id="edge124" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M708.9,-676.77C714.19,-674.58 718,-673 718,-673 718,-673 1208,-665 1208,-665 1208,-665 1218,-615.5 1218,-615.5"/>
<path fill="none" stroke="black" d="M1218,-613.5C1218,-613.5 1233,-596.5 1233,-596.5 1233,-596.5 1598.84,-566.29 1667.12,-559.35"/>
<polygon fill="black" stroke="black" points="1667.37,-562.72 1676.88,-558.06 1666.54,-555.77 1667.37,-562.72"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/measure_integration -->
<g id="edge125" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M708.9,-676.77C714.19,-674.58 718,-673 718,-673 718,-673 1057,-665 1057,-665 1057,-665 1078.23,-651.53 1098.53,-638.64"/>
<polygon fill="black" stroke="black" points="1100.15,-641.13 1106.72,-632.81 1096.4,-635.22 1100.15,-641.13"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/metric_space -->
<g id="edge126" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M708.9,-676.77C714.19,-674.58 718,-673 718,-673 718,-673 890,-665 890,-665 890,-665 900,-615.5 900,-615.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/power -->
<g id="edge127" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M708.9,-676.77C714.19,-674.58 718,-673 718,-673 718,-673 925,-665 925,-665 925,-665 940,-615.5 940,-615.5"/>
<path fill="none" stroke="black" d="M940,-613.5C940,-613.5 955,-596.5 955,-596.5 955,-596.5 1555,-560.5 1555,-560.5 1555,-560.5 1565,-543.5 1565,-543.5"/>
<path fill="none" stroke="black" d="M1565,-541.5C1565,-541.5 1555,-516.5 1555,-516.5 1555,-516.5 1351,-488.5 1351,-488.5 1351,-488.5 1349.44,-487.85 1346.92,-486.81"/>
<polygon fill="black" stroke="black" points="1348.7,-483.34 1338.12,-482.74 1346.02,-489.81 1348.7,-483.34"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sets_aux -->
<g id="edge128" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M708.9,-676.77C714.19,-674.58 718,-673 718,-673 718,-673 1223,-665 1223,-665 1223,-665 1258,-615.5 1258,-615.5"/>
<path fill="none" stroke="black" d="M1524,-469.5C1524,-469.5 1482,-308.5 1482,-308.5 1482,-308.5 1477.26,-295.93 1472.39,-283.03"/>
<polygon fill="black" stroke="black" points="1475.35,-281.97 1468.55,-273.85 1468.8,-284.45 1475.35,-281.97"/>
<path fill="none" stroke="black" d="M1258,-613.5C1258,-613.5 1273,-596.5 1273,-596.5 1273,-596.5 1833,-560.5 1833,-560.5 1833,-560.5 1833,-516.5 1833,-516.5 1833,-516.5 1524,-471.5 1524,-471.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sigma_set -->
<g id="edge129" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M1218,-613.5C1218,-613.5 1233,-596.5 1233,-596.5 1233,-596.5 1793,-560.5 1793,-560.5 1793,-560.5 1803,-543.5 1803,-543.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/structures -->
<g id="edge130" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M645.1,-676.77C639.81,-674.58 636,-673 636,-673 636,-673 244,-665 244,-665 244,-665 234,-615.5 234,-615.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/topology -->
<g id="edge131" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M668.67,-672.64C666.62,-668.37 665,-665 665,-665 665,-665 650,-615.5 650,-615.5"/>
<path fill="none" stroke="black" d="M969,-541.5C969,-541.5 984,-516.5 984,-516.5 984,-516.5 1002.34,-505.49 1020.89,-494.37"/>
<polygon fill="black" stroke="black" points="1022.44,-496.92 1029.22,-488.77 1018.84,-490.91 1022.44,-496.92"/>
<path fill="none" stroke="black" d="M650,-613.5C650,-613.5 665,-596.5 665,-596.5 665,-596.5 954,-560.5 954,-560.5 954,-560.5 969,-543.5 969,-543.5"/>
</g>
<!-- NASALib/line_segments -->
<g id="node28" class="node">
<title>NASALib/line_segments</title>
<polygon fill="#fcfcd7" stroke="black" points="2016,-560.5 1922,-560.5 1922,-524.5 2016,-524.5 2016,-560.5"/>
<text text-anchor="middle" x="1969" y="-537.45" font-family="Times,serif" font-size="14.00">line_segments</text>
</g>
<!-- NASALib/line_segments&#45;&gt;NASALib/orders -->
<g id="edge132" class="edge">
<title>NASALib/line_segments&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1969,-524.2C1969,-503.47 1969,-471.5 1969,-471.5"/>
</g>
<!-- NASALib/line_segments&#45;&gt;NASALib/structures -->
<g id="edge133" class="edge">
<title>NASALib/line_segments&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1921.84,-534.8C1869.7,-527.4 1793,-516.5 1793,-516.5 1793,-516.5 626,-488.5 626,-488.5 626,-488.5 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/line_segments&#45;&gt;NASALib/vectors -->
<g id="edge134" class="edge">
<title>NASALib/line_segments&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1921.84,-534.8C1869.7,-527.4 1793,-516.5 1793,-516.5 1793,-516.5 1259,-488.5 1259,-488.5 1259,-488.5 1257.4,-487.85 1254.82,-486.81"/>
<polygon fill="black" stroke="black" points="1256.36,-483.25 1245.78,-482.74 1253.74,-489.74 1256.36,-483.25"/>
</g>
<!-- NASALib/line_segments&#45;&gt;lib/finite_sets -->
<g id="edge135" class="edge">
<title>NASALib/line_segments&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1976.17,-524.2C1984.76,-503.47 1998,-471.5 1998,-471.5"/>
</g>
<!-- NASALib/linear_algebra -->
<g id="node29" class="node">
<title>NASALib/linear_algebra</title>
<polygon fill="#fcfcd7" stroke="black" points="929.62,-560.5 836.38,-560.5 836.38,-524.5 929.62,-524.5 929.62,-560.5"/>
<text text-anchor="middle" x="883" y="-537.45" font-family="Times,serif" font-size="14.00">linear_algebra</text>
</g>
<!-- NASALib/linear_algebra&#45;&gt;NASALib/structures -->
<g id="edge136" class="edge">
<title>NASALib/linear_algebra&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M843.8,-524C834.39,-519.8 827,-516.5 827,-516.5 827,-516.5 626,-488.5 626,-488.5 626,-488.5 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/linear_algebra&#45;&gt;NASALib/vectors -->
<g id="edge137" class="edge">
<title>NASALib/linear_algebra&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M929.95,-529.88C956.33,-523.35 984,-516.5 984,-516.5 984,-516.5 1155,-488.5 1155,-488.5 1155,-488.5 1166.06,-485.47 1178.83,-481.97"/>
<polygon fill="black" stroke="black" points="1179.55,-485.12 1188.26,-479.1 1177.69,-478.37 1179.55,-485.12"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/analysis -->
<g id="edge138" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1183.33,-383.3C1213.55,-367.6 1258,-344.5 1258,-344.5 1258,-344.5 1268,-327.5 1268,-327.5"/>
<path fill="none" stroke="black" d="M1268,-325.5C1268,-325.5 1272.51,-302.95 1276.41,-283.45"/>
<polygon fill="black" stroke="black" points="1280.01,-284.3 1278.54,-273.8 1273.15,-282.92 1280.01,-284.3"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/ints -->
<g id="edge139" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1129.15,-380.15C1105.24,-364.69 1074,-344.5 1074,-344.5 1074,-344.5 1064,-327.5 1064,-327.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/series -->
<g id="edge140" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1172.31,-380.2C1180.23,-371.8 1189.88,-361.57 1198.56,-352.36"/>
<polygon fill="black" stroke="black" points="1200.56,-355.28 1204.87,-345.6 1195.47,-350.48 1200.56,-355.28"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal -->
<g id="edge141" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M1198.69,-599.62C1207.17,-597.77 1213,-596.5 1213,-596.5 1213,-596.5 1597.26,-566.16 1667.17,-559.3"/>
<polygon fill="black" stroke="black" points="1667.35,-562.69 1676.88,-558.06 1666.55,-555.74 1667.35,-562.69"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/metric_space -->
<g id="edge142" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M1195.17,-596.07C1248.51,-580.62 1318,-560.5 1318,-560.5 1318,-560.5 1319.28,-560.13 1321.45,-559.49"/>
<polygon fill="black" stroke="black" points="1322.13,-562.64 1330.75,-556.47 1320.16,-555.93 1322.13,-562.64"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/orders -->
<g id="edge143" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1198.69,-599.62C1207.17,-597.77 1213,-596.5 1213,-596.5 1213,-596.5 2025,-560.5 2025,-560.5 2025,-560.5 2035,-543.5 2035,-543.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/power -->
<g id="edge144" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M1198.69,-599.62C1207.17,-597.77 1213,-596.5 1213,-596.5 1213,-596.5 1555,-560.5 1555,-560.5 1555,-560.5 1565,-543.5 1565,-543.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/series -->
<g id="edge145" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M989,-541.5C989,-541.5 1004,-516.5 1004,-516.5 1004,-516.5 1100,-488.5 1100,-488.5 1100,-488.5 1110,-471.5 1110,-471.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sets_aux -->
<g id="edge146" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1198.69,-599.62C1207.17,-597.77 1213,-596.5 1213,-596.5 1213,-596.5 1828,-560.5 1828,-560.5 1828,-560.5 1828,-516.5 1828,-516.5 1828,-516.5 1519,-488.5 1519,-488.5 1519,-488.5 1489,-452.5 1489,-452.5 1489,-452.5 1410,-399.5 1410,-399.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sigma_set -->
<g id="edge147" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M1198.69,-599.62C1207.17,-597.77 1213,-596.5 1213,-596.5 1213,-596.5 1793,-560.5 1793,-560.5 1793,-560.5 1803,-543.5 1803,-543.5"/>
<path fill="none" stroke="black" d="M1803,-541.5C1803,-541.5 1793,-516.5 1793,-516.5 1793,-516.5 1459,-488.5 1459,-488.5 1459,-488.5 1457.92,-488.12 1456.07,-487.48"/>
<polygon fill="black" stroke="black" points="1457.46,-483.92 1446.87,-483.94 1455.17,-490.53 1457.46,-483.92"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/structures -->
<g id="edge148" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1071.17,-601.83C1054.94,-598.87 1042,-596.5 1042,-596.5 1042,-596.5 305,-560.5 305,-560.5 305,-560.5 295,-543.5 295,-543.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/topology -->
<g id="edge149" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M989,-541.5C989,-541.5 1004,-516.5 1004,-516.5 1004,-516.5 1016.61,-506.19 1029.75,-495.43"/>
<polygon fill="black" stroke="black" points="1031.37,-497.81 1036.89,-488.77 1026.94,-492.39 1031.37,-497.81"/>
<path fill="none" stroke="black" d="M1097.02,-596.15C1063.19,-580.69 1019,-560.5 1019,-560.5 1019,-560.5 989,-543.5 989,-543.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;lib/finite_sets -->
<g id="edge150" class="edge">
<title>NASALib/measure_integration&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1198.69,-599.62C1207.17,-597.77 1213,-596.5 1213,-596.5 1213,-596.5 2050,-560.5 2050,-560.5 2050,-560.5 2064,-543.5 2064,-543.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/analysis -->
<g id="edge151" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1331.85,-526.38C1316.48,-521.12 1303,-516.5 1303,-516.5 1303,-516.5 1181,-488.5 1181,-488.5 1181,-488.5 1181,-452.5 1181,-452.5 1181,-452.5 1266,-399.5 1266,-399.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/power -->
<g id="edge152" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M1359.69,-524.2C1351.77,-515.8 1342.12,-505.57 1333.44,-496.36"/>
<polygon fill="black" stroke="black" points="1336.53,-494.48 1327.13,-489.6 1331.44,-499.28 1336.53,-494.48"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/series -->
<g id="edge153" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1110,-469.5C1110,-469.5 1110,-399.5 1110,-399.5"/>
<path fill="none" stroke="black" d="M1331.85,-526.38C1316.48,-521.12 1303,-516.5 1303,-516.5 1303,-516.5 1125,-488.5 1125,-488.5 1125,-488.5 1110,-471.5 1110,-471.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/sets_aux -->
<g id="edge154" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1413,-524.15C1445.96,-508.69 1489,-488.5 1489,-488.5 1489,-488.5 1524,-471.5 1524,-471.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/topology -->
<g id="edge155" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M1331.85,-526.38C1316.48,-521.12 1303,-516.5 1303,-516.5 1303,-516.5 1105,-488.5 1105,-488.5 1105,-488.5 1103.69,-488.02 1101.52,-487.22"/>
<polygon fill="black" stroke="black" points="1103.04,-483.67 1092.45,-483.49 1100.61,-490.24 1103.04,-483.67"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/vectors -->
<g id="edge156" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1336.29,-524.02C1311.34,-513.03 1279.34,-498.95 1254.77,-488.13"/>
<polygon fill="black" stroke="black" points="1256.3,-484.54 1245.74,-483.71 1253.48,-490.94 1256.3,-484.54"/>
</g>
<!-- NASALib/metric_space&#45;&gt;lib/finite_sets -->
<g id="edge157" class="edge">
<title>NASALib/metric_space&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1998,-469.5C1998,-469.5 1974,-452.5 1974,-452.5 1974,-452.5 1561,-255.5 1561,-255.5"/>
<path fill="none" stroke="black" d="M1420.15,-526.38C1435.52,-521.12 1449,-516.5 1449,-516.5 1449,-516.5 1974,-488.5 1974,-488.5 1974,-488.5 1998,-471.5 1998,-471.5"/>
</g>
<!-- NASALib/mult_poly -->
<g id="node33" class="node">
<title>NASALib/mult_poly</title>
<polygon fill="#fcfcd7" stroke="black" points="1009.12,-488.5 936.88,-488.5 936.88,-452.5 1009.12,-452.5 1009.12,-488.5"/>
<text text-anchor="middle" x="973" y="-465.45" font-family="Times,serif" font-size="14.00">mult_poly</text>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/analysis -->
<g id="edge158" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1009.32,-455.78C1014.44,-453.84 1018,-452.5 1018,-452.5 1018,-452.5 1192,-416.5 1192,-416.5 1192,-416.5 1266,-399.5 1266,-399.5"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/lnexp -->
<g id="edge159" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1009.32,-455.78C1014.44,-453.84 1018,-452.5 1018,-452.5 1018,-452.5 1115,-416.5 1115,-416.5 1115,-416.5 1116.56,-415.85 1119.08,-414.81"/>
<polygon fill="black" stroke="black" points="1119.98,-417.81 1127.88,-410.74 1117.3,-411.34 1119.98,-417.81"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/series -->
<g id="edge160" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1009.39,-454.31C1046.92,-438.65 1100,-416.5 1100,-416.5 1100,-416.5 1110,-399.5 1110,-399.5"/>
<path fill="none" stroke="black" d="M1110,-397.5C1110,-397.5 1120,-380.5 1120,-380.5 1120,-380.5 1155.88,-361.86 1185.08,-346.68"/>
<polygon fill="black" stroke="black" points="1186.41,-349.42 1193.67,-341.7 1183.18,-343.21 1186.41,-349.42"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/structures -->
<g id="edge161" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1156,-325.5C1156,-325.5 1171,-308.5 1171,-308.5 1171,-308.5 1218,-272.5 1218,-272.5 1218,-272.5 1233,-255.5 1233,-255.5"/>
<path fill="none" stroke="black" d="M875,-397.5C875,-397.5 952,-380.5 952,-380.5 952,-380.5 1146,-344.5 1146,-344.5 1146,-344.5 1156,-327.5 1156,-327.5"/>
<path fill="none" stroke="black" d="M948.52,-452.02C919.5,-431.28 875,-399.5 875,-399.5"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/trig -->
<g id="edge162" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M995.49,-452.2C1006.76,-443.53 1020.58,-432.9 1032.85,-423.46"/>
<polygon fill="black" stroke="black" points="1034.66,-425.72 1040.45,-416.85 1030.39,-420.17 1034.66,-425.72"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/analysis -->
<g id="edge163" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M407,-596.2C407,-575.47 407,-543.5 407,-543.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/metric_space -->
<g id="edge164" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M449.5,-605.65C473.6,-601.19 499,-596.5 499,-596.5 499,-596.5 1303,-560.5 1303,-560.5 1303,-560.5 1310.74,-558.7 1321.18,-556.27"/>
<polygon fill="black" stroke="black" points="1321.91,-559.46 1330.85,-553.78 1320.32,-552.64 1321.91,-559.46"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/structures -->
<g id="edge165" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M373.6,-596.15C343.85,-580.69 305,-560.5 305,-560.5 305,-560.5 295,-543.5 295,-543.5"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge166" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1380.51,-164.2C1380.29,-156.74 1380.04,-147.82 1379.8,-139.47"/>
<polygon fill="black" stroke="black" points="1383.27,-139.5 1379.49,-129.6 1376.28,-139.7 1383.27,-139.5"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge167" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1401.02,-164.2C1425.01,-143.47 1462,-111.5 1462,-111.5"/>
<path fill="none" stroke="black" d="M1462,-109.5C1462,-109.5 2100,-84.5 2100,-84.5 2100,-84.5 2111.91,-72.22 2123.87,-59.89"/>
<polygon fill="black" stroke="black" points="2125.76,-62.93 2130.21,-53.31 2120.74,-58.06 2125.76,-62.93"/>
</g>
<!-- NASALib/polygon_merge -->
<g id="node36" class="node">
<title>NASALib/polygon_merge</title>
<polygon fill="#fcfcd7" stroke="black" points="920.75,-709 819.25,-709 819.25,-673 920.75,-673 920.75,-709"/>
<text text-anchor="middle" x="870" y="-685.95" font-family="Times,serif" font-size="14.00">polygon_merge</text>
</g>
<!-- NASALib/polygon_merge&#45;&gt;NASALib/line_segments -->
<g id="edge168" class="edge">
<title>NASALib/polygon_merge&#45;&gt;NASALib/line_segments</title>
<path fill="none" stroke="black" d="M921.12,-688.77C1130.04,-683.74 1908,-665 1908,-665 1908,-665 1937.57,-606.1 1955.54,-570.32"/>
<polygon fill="black" stroke="black" points="1958.9,-572.42 1960.26,-561.91 1952.65,-569.27 1958.9,-572.42"/>
</g>
<!-- NASALib/polygons -->
<g id="node37" class="node">
<title>NASALib/polygons</title>
<polygon fill="#fcfcd7" stroke="black" points="2067.75,-632.5 2002.25,-632.5 2002.25,-596.5 2067.75,-596.5 2067.75,-632.5"/>
<text text-anchor="middle" x="2035" y="-609.45" font-family="Times,serif" font-size="14.00">polygons</text>
</g>
<!-- NASALib/polygon_merge&#45;&gt;NASALib/polygons -->
<g id="edge169" class="edge">
<title>NASALib/polygon_merge&#45;&gt;NASALib/polygons</title>
<path fill="none" stroke="black" d="M921.05,-688.82C1135.32,-683.86 1951,-665 1951,-665 1951,-665 1974.27,-651.29 1996.32,-638.29"/>
<polygon fill="black" stroke="black" points="1997.78,-640.91 2004.62,-632.81 1994.23,-634.87 1997.78,-640.91"/>
</g>
<!-- NASALib/polygon_merge&#45;&gt;NASALib/structures -->
<g id="edge170" class="edge">
<title>NASALib/polygon_merge&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M818.78,-676.61C810.73,-674.5 805,-673 805,-673 805,-673 244,-665 244,-665 244,-665 234,-615.5 234,-615.5"/>
</g>
<!-- NASALib/polygon_merge&#45;&gt;lib/finite_sets -->
<g id="edge171" class="edge">
<title>NASALib/polygon_merge&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M920.9,-688.97C1153.02,-684.25 2100,-665 2100,-665 2100,-665 2100,-596.5 2100,-596.5 2100,-596.5 2064,-543.5 2064,-543.5"/>
</g>
<!-- NASALib/polygons&#45;&gt;NASALib/line_segments -->
<g id="edge172" class="edge">
<title>NASALib/polygons&#45;&gt;NASALib/line_segments</title>
<path fill="none" stroke="black" d="M2018.69,-596.2C2010.77,-587.8 2001.12,-577.57 1992.44,-568.36"/>
<polygon fill="black" stroke="black" points="1995.53,-566.48 1986.13,-561.6 1990.44,-571.28 1995.53,-566.48"/>
</g>
<!-- NASALib/polygons&#45;&gt;NASALib/orders -->
<g id="edge173" class="edge">
<title>NASALib/polygons&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M2035,-596.2C2035,-575.47 2035,-543.5 2035,-543.5"/>
</g>
<!-- NASALib/polygons&#45;&gt;NASALib/vectors -->
<g id="edge174" class="edge">
<title>NASALib/polygons&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M2001.82,-610.5C1877.85,-599.29 1449,-560.5 1449,-560.5 1449,-560.5 1439,-543.5 1439,-543.5"/>
</g>
<!-- NASALib/polygons&#45;&gt;lib/finite_sets -->
<g id="edge175" class="edge">
<title>NASALib/polygons&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M2042.17,-596.2C2050.76,-575.47 2064,-543.5 2064,-543.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/analysis -->
<g id="edge176" class="edge">
<title>NASALib/power&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1299.12,-452.2C1286.09,-431.47 1266,-399.5 1266,-399.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/lnexp -->
<g id="edge177" class="edge">
<title>NASALib/power&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1282.82,-457.15C1257.91,-445.82 1220.79,-428.95 1193.14,-416.38"/>
<polygon fill="black" stroke="black" points="1194.98,-412.92 1184.42,-411.97 1192.08,-419.29 1194.98,-412.92"/>
</g>
<!-- NASALib/probability -->
<g id="node39" class="node">
<title>NASALib/probability</title>
<polygon fill="#fcfcd7" stroke="black" points="460.62,-709 385.38,-709 385.38,-673 460.62,-673 460.62,-709"/>
<text text-anchor="middle" x="423" y="-685.95" font-family="Times,serif" font-size="14.00">probability</text>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/analysis -->
<g id="edge178" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M447.31,-672.64C453.28,-668.37 458,-665 458,-665 458,-665 458,-596.5 458,-596.5 458,-596.5 418,-560.5 418,-560.5 418,-560.5 407,-543.5 407,-543.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/measure_integration -->
<g id="edge179" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M460.81,-680.41C476.01,-676.55 490,-673 490,-673 490,-673 1057,-665 1057,-665 1057,-665 1078.23,-651.53 1098.53,-638.64"/>
<polygon fill="black" stroke="black" points="1100.15,-641.13 1106.72,-632.81 1096.4,-635.22 1100.15,-641.13"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/metric_space -->
<g id="edge180" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M460.81,-680.41C476.01,-676.55 490,-673 490,-673 490,-673 890,-665 890,-665 890,-665 900,-615.5 900,-615.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/structures -->
<g id="edge181" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M385.06,-676.28C379.72,-674.34 376,-673 376,-673 376,-673 244,-665 244,-665 244,-665 234,-615.5 234,-615.5"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/topology -->
<g id="edge182" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M461.06,-677.56C468.99,-674.96 475,-673 475,-673 475,-673 635,-665 635,-665 635,-665 650,-615.5 650,-615.5"/>
</g>
<!-- NASALib/scott -->
<g id="node40" class="node">
<title>NASALib/scott</title>
<polygon fill="#fcfcd7" stroke="black" points="1033,-632.5 979,-632.5 979,-596.5 1033,-596.5 1033,-632.5"/>
<text text-anchor="middle" x="1006" y="-609.45" font-family="Times,serif" font-size="14.00">scott</text>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/algebra -->
<g id="edge183" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M1033.12,-602.26C1040.74,-599.09 1047,-596.5 1047,-596.5 1047,-596.5 1590,-560.5 1590,-560.5 1590,-560.5 1591.35,-559.95 1593.57,-559.05"/>
<polygon fill="black" stroke="black" points="1594.8,-561.93 1602.75,-554.93 1592.17,-555.44 1594.8,-561.93"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/orders -->
<g id="edge184" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1903,-541.5C1903,-541.5 1913,-516.5 1913,-516.5 1913,-516.5 1969,-471.5 1969,-471.5"/>
<path fill="none" stroke="black" d="M1969,-469.5C1969,-469.5 1888,-452.5 1888,-452.5 1888,-452.5 1532,-399.5 1532,-399.5"/>
<path fill="none" stroke="black" d="M1033.5,-605.3C1048.07,-600.95 1063,-596.5 1063,-596.5 1063,-596.5 1828,-560.5 1828,-560.5 1828,-560.5 1903,-543.5 1903,-543.5"/>
<path fill="none" stroke="black" d="M1532,-397.5C1532,-397.5 1532,-255.5 1532,-255.5"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/structures -->
<g id="edge185" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M978.51,-609.47C944.21,-604.44 890,-596.5 890,-596.5 890,-596.5 305,-560.5 305,-560.5 305,-560.5 295,-543.5 295,-543.5"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/topology -->
<g id="edge186" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/topology</title>
<path fill="none" stroke="black" d="M996.85,-596.2C985.9,-575.47 969,-543.5 969,-543.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge187" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1236.83,-308.2C1243.88,-299.97 1252.44,-289.98 1260.21,-280.92"/>
<polygon fill="black" stroke="black" points="1263.49,-283.47 1267.34,-273.6 1258.17,-278.92 1263.49,-283.47"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge188" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1219.78,-308.2C1217.11,-287.47 1213,-255.5 1213,-255.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge189" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1249.36,-320.32C1319.81,-306.99 1502,-272.5 1502,-272.5 1502,-272.5 1532,-255.5 1532,-255.5"/>
<path fill="none" stroke="black" d="M1532,-253.5C1532,-253.5 1517,-236.5 1517,-236.5 1517,-236.5 1458.51,-213.71 1418.24,-198.01"/>
<polygon fill="black" stroke="black" points="1419.78,-194.47 1409.19,-194.1 1417.24,-200.99 1419.78,-194.47"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/ints -->
<g id="edge190" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1430.51,-240.44C1425,-238.16 1421,-236.5 1421,-236.5 1421,-236.5 1330,-200.5 1330,-200.5 1330,-200.5 1315,-183.5 1315,-183.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/orders -->
<g id="edge191" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1441.98,-236.2C1432.14,-227.7 1420.13,-217.31 1409.37,-208.01"/>
<polygon fill="black" stroke="black" points="1411.93,-204.74 1402.07,-200.85 1407.35,-210.03 1411.93,-204.74"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;NASALib/structures -->
<g id="edge192" class="edge">
<title>NASALib/sets_aux&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1430.34,-239.16C1395.69,-223.46 1345,-200.5 1345,-200.5 1345,-200.5 1335,-183.5 1335,-183.5"/>
</g>
<!-- NASALib/sets_aux&#45;&gt;lib/finite_sets -->
<g id="edge193" class="edge">
<title>NASALib/sets_aux&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1462,-236.2C1462,-215.47 1462,-183.5 1462,-183.5"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/structures -->
<g id="edge194" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M591,-524.2C591,-503.47 591,-471.5 591,-471.5"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/trig -->
<g id="edge195" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M618.12,-524.96C625.74,-520.31 632,-516.5 632,-516.5 632,-516.5 739,-488.5 739,-488.5 739,-488.5 749,-471.5 749,-471.5"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/vectors -->
<g id="edge196" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M618.34,-529.29C632.56,-522.95 647,-516.5 647,-516.5 647,-516.5 1155,-488.5 1155,-488.5 1155,-488.5 1166.06,-485.47 1178.83,-481.97"/>
<polygon fill="black" stroke="black" points="1179.55,-485.12 1188.26,-479.1 1177.69,-478.37 1179.55,-485.12"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/analysis -->
<g id="edge197" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1374.4,-452.2C1331.76,-431.47 1266,-399.5 1266,-399.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/orders -->
<g id="edge198" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1440.47,-452.02C1476.61,-431.28 1532,-399.5 1532,-399.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/series -->
<g id="edge199" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1374.31,-456.81C1330.23,-441.13 1261,-416.5 1261,-416.5 1261,-416.5 1245.3,-380.67 1233.82,-354.47"/>
<polygon fill="black" stroke="black" points="1236.74,-353.41 1229.52,-345.66 1230.33,-356.22 1236.74,-353.41"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/sets_aux -->
<g id="edge200" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1410,-452.2C1410,-431.47 1410,-399.5 1410,-399.5"/>
<path fill="none" stroke="black" d="M1410,-397.5C1410,-397.5 1400,-327.5 1400,-327.5"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge201" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1379,-92.22C1379,-83.63 1379,-73.03 1379,-63.3"/>
<polygon fill="black" stroke="black" points="1382.5,-63.44 1379,-53.44 1375.5,-63.44 1382.5,-63.44"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge202" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1413.5,-101C1430.75,-96.75 1448,-92.5 1448,-92.5 1448,-92.5 2100,-84.5 2100,-84.5 2100,-84.5 2111.91,-72.22 2123.87,-59.89"/>
<polygon fill="black" stroke="black" points="2125.76,-62.93 2130.21,-53.31 2120.74,-58.06 2125.76,-62.93"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/sets_aux -->
<g id="edge203" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/sets_aux</title>
<path fill="none" stroke="black" d="M1091.02,-463.17C1115.47,-458.34 1145,-452.5 1145,-452.5 1145,-452.5 1400,-416.5 1400,-416.5 1400,-416.5 1410,-399.5 1410,-399.5"/>
</g>
<!-- NASALib/topology&#45;&gt;NASALib/structures -->
<g id="edge204" class="edge">
<title>NASALib/topology&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1026.7,-456.11C1021.61,-454 1018,-452.5 1018,-452.5 1018,-452.5 875,-399.5 875,-399.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/analysis -->
<g id="edge205" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1091.28,-382.6C1119.97,-366.92 1161,-344.5 1161,-344.5 1161,-344.5 1176,-327.5 1176,-327.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/ints -->
<g id="edge206" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1064,-380.2C1064,-359.47 1064,-327.5 1064,-327.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/series -->
<g id="edge207" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1091.16,-385.47C1117.05,-374 1156.23,-356.64 1184.97,-343.9"/>
<polygon fill="black" stroke="black" points="1185.94,-346.86 1193.66,-339.61 1183.1,-340.46 1185.94,-346.86"/>
</g>
<!-- NASALib/vect_analysis&#45;&gt;NASALib/analysis -->
<g id="edge208" class="edge">
<title>NASALib/vect_analysis&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1264,-469.5C1264,-469.5 1266,-399.5 1266,-399.5"/>
<path fill="none" stroke="black" d="M1461.4,-524C1451.65,-519.8 1444,-516.5 1444,-516.5 1444,-516.5 1274,-488.5 1274,-488.5 1274,-488.5 1264,-471.5 1264,-471.5"/>
</g>
<!-- NASALib/vect_analysis&#45;&gt;NASALib/vectors -->
<g id="edge209" class="edge">
<title>NASALib/vect_analysis&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1461.4,-524C1451.65,-519.8 1444,-516.5 1444,-516.5 1444,-516.5 1259,-488.5 1259,-488.5 1259,-488.5 1257.4,-487.85 1254.82,-486.81"/>
<polygon fill="black" stroke="black" points="1256.36,-483.25 1245.78,-482.74 1253.74,-489.74 1256.36,-483.25"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/structures -->
<g id="edge210" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1318,-397.5C1318,-397.5 1314,-344.5 1314,-344.5 1314,-344.5 1314,-308.5 1314,-308.5 1314,-308.5 1321,-272.5 1321,-272.5 1321,-272.5 1335,-183.5 1335,-183.5"/>
<path fill="none" stroke="black" d="M1242.23,-452.02C1272.14,-431.28 1318,-399.5 1318,-399.5"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/trig -->
<g id="edge211" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1189.29,-456.82C1164.63,-445.54 1128.35,-428.94 1101.17,-416.51"/>
<polygon fill="black" stroke="black" points="1102.79,-412.94 1092.24,-411.96 1099.88,-419.31 1102.79,-412.94"/>
</g>
<!-- NASALib/while -->
<g id="node50" class="node">
<title>NASALib/while</title>
<polygon fill="#fcfcd7" stroke="black" points="781,-709 727,-709 727,-673 781,-673 781,-709"/>
<text text-anchor="middle" x="754" y="-685.95" font-family="Times,serif" font-size="14.00">while</text>
</g>
<!-- NASALib/while&#45;&gt;NASALib/orders -->
<g id="edge212" class="edge">
<title>NASALib/while&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M781.12,-678.76C788.74,-675.59 795,-673 795,-673 795,-673 1263,-665 1263,-665 1263,-665 1838,-560.5 1838,-560.5 1838,-560.5 1903,-543.5 1903,-543.5"/>
</g>
<!-- NASALib/while&#45;&gt;NASALib/scott -->
<g id="edge213" class="edge">
<title>NASALib/while&#45;&gt;NASALib/scott</title>
<path fill="none" stroke="black" d="M781.12,-678.76C788.74,-675.59 795,-673 795,-673 795,-673 965,-665 965,-665 965,-665 974.79,-653.17 984.81,-641.08"/>
<polygon fill="black" stroke="black" points="987.98,-643.75 991.66,-633.81 982.59,-639.28 987.98,-643.75"/>
</g>
<!-- float/axm_bnd -->
<g id="node51" class="node">
<title>float/axm_bnd</title>
<polygon fill="#fcfcd7" stroke="black" points="162.5,-560.5 95.5,-560.5 95.5,-524.5 162.5,-524.5 162.5,-560.5"/>
<text text-anchor="middle" x="129" y="-537.45" font-family="Times,serif" font-size="14.00">axm_bnd</text>
</g>
<!-- float/axm_bnd&#45;&gt;NASALib/power -->
<g id="edge214" class="edge">
<title>float/axm_bnd&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M162.73,-533.31C192.77,-526.02 232,-516.5 232,-516.5 232,-516.5 1269,-488.5 1269,-488.5 1269,-488.5 1270.56,-487.85 1273.08,-486.81"/>
<polygon fill="black" stroke="black" points="1273.98,-489.81 1281.88,-482.74 1271.3,-483.34 1273.98,-489.81"/>
</g>
<!-- float/axm_bnd&#45;&gt;NASALib/trig -->
<g id="edge215" class="edge">
<title>float/axm_bnd&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M542,-469.5C542,-469.5 626,-452.5 626,-452.5 626,-452.5 918.97,-417.05 1025.7,-404.13"/>
<polygon fill="black" stroke="black" points="1026.09,-407.49 1035.6,-402.82 1025.25,-400.54 1026.09,-407.49"/>
<path fill="none" stroke="black" d="M162.73,-533.31C192.77,-526.02 232,-516.5 232,-516.5 232,-516.5 518,-488.5 518,-488.5 518,-488.5 542,-471.5 542,-471.5"/>
</g>
<!-- float/fnd_bnd -->
<g id="node52" class="node">
<title>float/fnd_bnd</title>
<polygon fill="#fcfcd7" stroke="black" points="159.5,-632.5 98.5,-632.5 98.5,-596.5 159.5,-596.5 159.5,-632.5"/>
<text text-anchor="middle" x="129" y="-609.45" font-family="Times,serif" font-size="14.00">fnd_bnd</text>
</g>
<!-- float/fnd_bnd&#45;&gt;NASALib/power -->
<g id="edge216" class="edge">
<title>float/fnd_bnd&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M246,-541.5C246,-541.5 260,-516.5 260,-516.5 260,-516.5 1269,-488.5 1269,-488.5 1269,-488.5 1270.56,-487.85 1273.08,-486.81"/>
<polygon fill="black" stroke="black" points="1273.98,-489.81 1281.88,-482.74 1271.3,-483.34 1273.98,-489.81"/>
</g>
<!-- float/fnd_bnd&#45;&gt;NASALib/trig -->
<g id="edge217" class="edge">
<title>float/fnd_bnd&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M246,-541.5C246,-541.5 260,-516.5 260,-516.5 260,-516.5 518,-488.5 518,-488.5 518,-488.5 542,-471.5 542,-471.5"/>
<path fill="none" stroke="black" d="M158.22,-596.02C192.88,-575.28 246,-543.5 246,-543.5"/>
</g>
<!-- float/fnd_bnd&#45;&gt;float/axm_bnd -->
<g id="edge218" class="edge">
<title>float/fnd_bnd&#45;&gt;float/axm_bnd</title>
<path fill="none" stroke="black" d="M129,-596.2C129,-588.74 129,-579.82 129,-571.47"/>
<polygon fill="black" stroke="black" points="132.5,-571.6 129,-561.6 125.5,-571.6 132.5,-571.6"/>
</g>
<!-- float/fnd_unb -->
<g id="node53" class="node">
<title>float/fnd_unb</title>
<polygon fill="#fcfcd7" stroke="black" points="77.5,-560.5 16.5,-560.5 16.5,-524.5 77.5,-524.5 77.5,-560.5"/>
<text text-anchor="middle" x="47" y="-537.45" font-family="Times,serif" font-size="14.00">fnd_unb</text>
</g>
<!-- float/fnd_bnd&#45;&gt;float/fnd_unb -->
<g id="edge219" class="edge">
<title>float/fnd_bnd&#45;&gt;float/fnd_unb</title>
<path fill="none" stroke="black" d="M108.73,-596.2C98.68,-587.61 86.37,-577.11 75.39,-567.74"/>
<polygon fill="black" stroke="black" points="78.2,-564.68 68.32,-560.85 73.65,-570 78.2,-564.68"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/analysis -->
<g id="edge220" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1035,-325.5C1035,-325.5 1074,-308.5 1074,-308.5 1074,-308.5 1238,-272.5 1238,-272.5 1238,-272.5 1239.55,-271.9 1242.06,-270.93"/>
<polygon fill="black" stroke="black" points="1242.86,-273.99 1250.92,-267.12 1240.33,-267.46 1242.86,-273.99"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/interval_arith -->
<g id="edge221" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M74.09,-524.14C80.74,-519.87 86,-516.5 86,-516.5 86,-516.5 754,-488.5 754,-488.5 754,-488.5 776.07,-484.79 799.58,-480.83"/>
<polygon fill="black" stroke="black" points="800.13,-484.12 809.41,-479.01 798.96,-477.21 800.13,-484.12"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/lnexp -->
<g id="edge222" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M504,-469.5C504,-469.5 641,-452.5 641,-452.5 641,-452.5 1115,-416.5 1115,-416.5 1115,-416.5 1116.56,-415.85 1119.08,-414.81"/>
<polygon fill="black" stroke="black" points="1119.98,-417.81 1127.88,-410.74 1117.3,-411.34 1119.98,-417.81"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/structures -->
<g id="edge223" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M504,-469.5C504,-469.5 528,-452.5 528,-452.5 528,-452.5 1035,-327.5 1035,-327.5"/>
<path fill="none" stroke="black" d="M1035,-325.5C1035,-325.5 1059,-308.5 1059,-308.5 1059,-308.5 1256.75,-186.76 1341.34,-134.68"/>
<polygon fill="black" stroke="black" points="1342.92,-137.21 1349.6,-128.98 1339.25,-131.24 1342.92,-137.21"/>
<path fill="none" stroke="black" d="M74.09,-524.14C80.74,-519.87 86,-516.5 86,-516.5 86,-516.5 504,-471.5 504,-471.5"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/trig -->
<g id="edge224" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M504,-469.5C504,-469.5 528,-452.5 528,-452.5 528,-452.5 903.64,-415.36 1025.98,-403.26"/>
<polygon fill="black" stroke="black" points="1026.08,-406.67 1035.68,-402.2 1025.39,-399.7 1026.08,-406.67"/>
</g>
<!-- float/ieee854 -->
<g id="node54" class="node">
<title>float/ieee854</title>
<polygon fill="#fcfcd7" stroke="black" points="76,-632.5 18,-632.5 18,-596.5 76,-596.5 76,-632.5"/>
<text text-anchor="middle" x="47" y="-609.45" font-family="Times,serif" font-size="14.00">ieee854</text>
</g>
<!-- float/ieee854&#45;&gt;NASALib/ints -->
<g id="edge225" class="edge">
<title>float/ieee854&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1315,-109.5C1315,-109.5 1338.58,-82.06 1357.11,-60.48"/>
<polygon fill="black" stroke="black" points="1360.29,-63.15 1364.16,-53.28 1354.99,-58.58 1360.29,-63.15"/>
<path fill="none" stroke="black" d="M33.9,-596.15C22.24,-580.69 7,-560.5 7,-560.5 7,-560.5 7,-516.5 7,-516.5 7,-516.5 1315,-111.5 1315,-111.5"/>
</g>
<!-- float/ieee854&#45;&gt;float/fnd_unb -->
<g id="edge226" class="edge">
<title>float/ieee854&#45;&gt;float/fnd_unb</title>
<path fill="none" stroke="black" d="M47,-596.2C47,-588.74 47,-579.82 47,-571.47"/>
<polygon fill="black" stroke="black" points="50.5,-571.6 47,-561.6 43.5,-571.6 50.5,-571.6"/>
</g>
</g>
</svg>