analysis/analysis.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 8.0.4 (20230421.1958)
 -->
<!-- Title: analysis Pages: 1 -->
<svg width="2252pt" height="830pt"
 viewBox="0.00 0.00 2252.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>analysis</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-825.5 2248,-825.5 2248,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="104,-8 104,-813.5 1869,-813.5 1869,-8 104,-8"/>
<text text-anchor="middle" x="986.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="8,-8 8,-84.5 96,-84.5 96,-8 8,-8"/>
<text text-anchor="middle" x="52" 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="1909,-516.5 1909,-665 2072,-665 2072,-516.5 1909,-516.5"/>
<text text-anchor="middle" x="1990.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="1158.62,-632.5 1089.38,-632.5 1089.38,-596.5 1158.62,-596.5 1158.62,-632.5"/>
<text text-anchor="middle" x="1124" y="-609.45" font-family="Times,serif" font-size="14.00">ACCoRD</text>
</g>
<!-- NASALib/analysis -->
<g id="node10" class="node">
<title>NASALib/analysis</title>
<polygon fill="#f7e28d" stroke="black" points="1035.75,-272.5 976.25,-272.5 976.25,-236.5 1035.75,-236.5 1035.75,-272.5"/>
<text text-anchor="middle" x="1006" 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="M1147,-469.5C1147,-469.5 1132,-452.5 1132,-452.5 1132,-452.5 1080,-416.5 1080,-416.5 1080,-416.5 1039.56,-328.51 1018.47,-282.62"/>
<polygon fill="black" stroke="black" points="1021.28,-281.35 1013.92,-273.73 1014.92,-284.28 1021.28,-281.35"/>
<path fill="none" stroke="black" d="M1158.96,-598.31C1195.01,-582.65 1246,-560.5 1246,-560.5 1246,-560.5 1246,-516.5 1246,-516.5 1246,-516.5 1152,-488.5 1152,-488.5 1152,-488.5 1147,-471.5 1147,-471.5"/>
</g>
<!-- NASALib/aviation -->
<g id="node11" class="node">
<title>NASALib/aviation</title>
<polygon fill="#fcfcd7" stroke="black" points="1104.75,-560.5 1045.25,-560.5 1045.25,-524.5 1104.75,-524.5 1104.75,-560.5"/>
<text text-anchor="middle" x="1075" 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="M1111.89,-596.2C1106.25,-588.14 1099.43,-578.39 1093.19,-569.48"/>
<polygon fill="black" stroke="black" points="1095.58,-567.79 1086.97,-561.6 1089.84,-571.8 1095.58,-567.79"/>
</g>
<!-- NASALib/reals -->
<g id="node35" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="930,-200.5 876,-200.5 876,-164.5 930,-164.5 930,-200.5"/>
<text text-anchor="middle" x="903" y="-177.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/reals -->
<g id="edge3" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1159.01,-606.02C1227.37,-591.41 1372,-560.5 1372,-560.5 1372,-560.5 1372,-516.5 1372,-516.5 1372,-516.5 1202,-488.5 1202,-488.5 1202,-488.5 1172,-452.5 1172,-452.5 1172,-452.5 1110,-416.5 1110,-416.5 1110,-416.5 1095,-255.5 1095,-255.5"/>
</g>
<!-- NASALib/shapes -->
<g id="node38" class="node">
<title>NASALib/shapes</title>
<polygon fill="#fcfcd7" stroke="black" points="1007,-560.5 953,-560.5 953,-524.5 1007,-524.5 1007,-560.5"/>
<text text-anchor="middle" x="980" y="-537.45" font-family="Times,serif" font-size="14.00">shapes</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/shapes -->
<g id="edge4" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/shapes</title>
<path fill="none" stroke="black" d="M1089.14,-596.55C1067.34,-585.96 1039.29,-572.32 1017.08,-561.53"/>
<polygon fill="black" stroke="black" points="1018.86,-558.01 1008.33,-556.79 1015.8,-564.31 1018.86,-558.01"/>
</g>
<!-- NASALib/structures -->
<g id="node40" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="884.25,-128.5 815.75,-128.5 815.75,-92.5 884.25,-92.5 884.25,-128.5"/>
<text text-anchor="middle" x="850" y="-105.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/structures -->
<g id="edge5" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1095.19,-596.15C1069.52,-580.69 1036,-560.5 1036,-560.5 1036,-560.5 1016,-516.5 1016,-516.5 1016,-516.5 961,-416.5 961,-416.5 961,-416.5 932,-344.5 932,-344.5 932,-344.5 902,-236.5 902,-236.5 902,-236.5 867,-200.5 867,-200.5 867,-200.5 857,-183.5 857,-183.5"/>
</g>
<!-- NASALib/trig -->
<g id="node41" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="1188,-416.5 1134,-416.5 1134,-380.5 1188,-380.5 1188,-416.5"/>
<text text-anchor="middle" x="1161" y="-393.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/trig -->
<g id="edge6" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1147,-469.5C1147,-469.5 1151.51,-446.95 1155.41,-427.45"/>
<polygon fill="black" stroke="black" points="1159.01,-428.3 1157.54,-417.8 1152.15,-426.92 1159.01,-428.3"/>
</g>
<!-- NASALib/vect_analysis -->
<g id="node42" class="node">
<title>NASALib/vect_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="1363.38,-560.5 1274.62,-560.5 1274.62,-524.5 1363.38,-524.5 1363.38,-560.5"/>
<text text-anchor="middle" x="1319" y="-537.45" font-family="Times,serif" font-size="14.00">vect_analysis</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/vect_analysis -->
<g id="edge7" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/vect_analysis</title>
<path fill="none" stroke="black" d="M1158.86,-600.99C1188.05,-590.51 1230.23,-575.37 1263.97,-563.26"/>
<polygon fill="black" stroke="black" points="1264.92,-566.27 1273.14,-559.6 1262.55,-559.69 1264.92,-566.27"/>
</g>
<!-- NASALib/vectors -->
<g id="node43" class="node">
<title>NASALib/vectors</title>
<polygon fill="#fcfcd7" stroke="black" points="1087.5,-488.5 1032.5,-488.5 1032.5,-452.5 1087.5,-452.5 1087.5,-488.5"/>
<text text-anchor="middle" x="1060" y="-465.45" font-family="Times,serif" font-size="14.00">vectors</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;NASALib/vectors -->
<g id="edge8" class="edge">
<title>NASALib/ACCoRD&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1122.21,-596.16C1119.34,-568.26 1114,-516.5 1114,-516.5 1114,-516.5 1101.86,-506.38 1089.08,-495.74"/>
<polygon fill="black" stroke="black" points="1091.65,-492.48 1081.72,-488.77 1087.16,-497.86 1091.65,-492.48"/>
</g>
<!-- lib/finite_sets -->
<g id="node49" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="87.75,-52 16.25,-52 16.25,-16 87.75,-16 87.75,-52"/>
<text text-anchor="middle" x="52" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/ACCoRD&#45;&gt;lib/finite_sets -->
<g id="edge9" class="edge">
<title>NASALib/ACCoRD&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1089.21,-610.1C1038.43,-605.14 950,-596.5 950,-596.5 950,-596.5 195,-560.5 195,-560.5 195,-560.5 136,-543.5 136,-543.5"/>
</g>
<!-- NASALib/Bernstein -->
<g id="node2" class="node">
<title>NASALib/Bernstein</title>
<polygon fill="#fcfcd7" stroke="black" points="1542.88,-560.5 1475.12,-560.5 1475.12,-524.5 1542.88,-524.5 1542.88,-560.5"/>
<text text-anchor="middle" x="1509" y="-537.45" font-family="Times,serif" font-size="14.00">Bernstein</text>
</g>
<!-- NASALib/interval_arith -->
<g id="node20" class="node">
<title>NASALib/interval_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="1354.38,-488.5 1265.62,-488.5 1265.62,-452.5 1354.38,-452.5 1354.38,-488.5"/>
<text text-anchor="middle" x="1310" y="-465.45" font-family="Times,serif" font-size="14.00">interval_arith</text>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/interval_arith -->
<g id="edge10" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M1479.14,-524.14C1471.8,-519.87 1466,-516.5 1466,-516.5 1466,-516.5 1368,-488.5 1368,-488.5 1368,-488.5 1366.94,-488.19 1365.11,-487.65"/>
<polygon fill="black" stroke="black" points="1366.42,-484.1 1355.84,-484.64 1364.45,-490.81 1366.42,-484.1"/>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/reals -->
<g id="edge11" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1175,-253.5C1175,-253.5 1160,-236.5 1160,-236.5 1160,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
</g>
<!-- NASALib/sigma_set -->
<g id="node39" class="node">
<title>NASALib/sigma_set</title>
<polygon fill="#fcfcd7" stroke="black" points="654.38,-416.5 583.62,-416.5 583.62,-380.5 654.38,-380.5 654.38,-416.5"/>
<text text-anchor="middle" x="619" y="-393.45" font-family="Times,serif" font-size="14.00">sigma_set</text>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/sigma_set -->
<g id="edge12" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M1227,-469.5C1227,-469.5 1212,-452.5 1212,-452.5 1212,-452.5 805.29,-416.15 665.51,-403.66"/>
<polygon fill="black" stroke="black" points="666.03,-400.1 655.76,-402.7 665.41,-407.07 666.03,-400.1"/>
<path fill="none" stroke="black" d="M1479.14,-524.14C1471.8,-519.87 1466,-516.5 1466,-516.5 1466,-516.5 1232,-488.5 1232,-488.5 1232,-488.5 1227,-471.5 1227,-471.5"/>
</g>
<!-- NASALib/Bernstein&#45;&gt;NASALib/structures -->
<g id="edge13" class="edge">
<title>NASALib/Bernstein&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1227,-469.5C1227,-469.5 1204,-380.5 1204,-380.5 1204,-380.5 1190,-344.5 1190,-344.5 1190,-344.5 1175,-255.5 1175,-255.5"/>
<path fill="none" stroke="black" d="M1175,-253.5C1175,-253.5 1149,-236.5 1149,-236.5 1149,-236.5 1064,-200.5 1064,-200.5 1064,-200.5 1014,-164.5 1014,-164.5 1014,-164.5 943.24,-141.63 894.67,-125.94"/>
<polygon fill="black" stroke="black" points="895.97,-122.36 885.38,-122.61 893.82,-129.02 895.97,-122.36"/>
</g>
<!-- NASALib/MetiTarski -->
<g id="node3" class="node">
<title>NASALib/MetiTarski</title>
<polygon fill="#fcfcd7" stroke="black" points="1637.38,-560.5 1560.62,-560.5 1560.62,-524.5 1637.38,-524.5 1637.38,-560.5"/>
<text text-anchor="middle" x="1599" y="-537.45" font-family="Times,serif" font-size="14.00">MetiTarski</text>
</g>
<!-- NASALib/MetiTarski&#45;&gt;NASALib/interval_arith -->
<g id="edge14" class="edge">
<title>NASALib/MetiTarski&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M1566.1,-524C1558.2,-519.8 1552,-516.5 1552,-516.5 1552,-516.5 1368,-488.5 1368,-488.5 1368,-488.5 1366.94,-488.19 1365.11,-487.65"/>
<polygon fill="black" stroke="black" points="1366.42,-484.1 1355.84,-484.64 1364.45,-490.81 1366.42,-484.1"/>
</g>
<!-- NASALib/lnexp -->
<g id="node25" class="node">
<title>NASALib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="1512,-416.5 1458,-416.5 1458,-380.5 1512,-380.5 1512,-416.5"/>
<text text-anchor="middle" x="1485" y="-393.45" font-family="Times,serif" font-size="14.00">lnexp</text>
</g>
<!-- NASALib/MetiTarski&#45;&gt;NASALib/lnexp -->
<g id="edge15" class="edge">
<title>NASALib/MetiTarski&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1575.1,-524.15C1553.81,-508.69 1526,-488.5 1526,-488.5 1526,-488.5 1509.49,-452.67 1497.43,-426.47"/>
<polygon fill="black" stroke="black" points="1500.27,-425.28 1492.91,-417.66 1493.91,-428.21 1500.27,-425.28"/>
</g>
<!-- NASALib/MetiTarski&#45;&gt;NASALib/reals -->
<g id="edge16" class="edge">
<title>NASALib/MetiTarski&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1566.1,-524C1558.2,-519.8 1552,-516.5 1552,-516.5 1552,-516.5 1383,-488.5 1383,-488.5 1383,-488.5 1383,-452.5 1383,-452.5 1383,-452.5 1399,-399.5 1399,-399.5"/>
<path fill="none" stroke="black" d="M1399,-397.5C1399,-397.5 1250,-344.5 1250,-344.5 1250,-344.5 1200,-236.5 1200,-236.5 1200,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
</g>
<!-- NASALib/MetiTarski&#45;&gt;NASALib/trig -->
<g id="edge17" class="edge">
<title>NASALib/MetiTarski&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1566.1,-524C1558.2,-519.8 1552,-516.5 1552,-516.5 1552,-516.5 1257,-488.5 1257,-488.5 1257,-488.5 1232,-452.5 1232,-452.5 1232,-452.5 1211.84,-437.45 1193.01,-423.4"/>
<polygon fill="black" stroke="black" points="1195.36,-420.03 1185.25,-416.85 1191.17,-425.64 1195.36,-420.03"/>
</g>
<!-- NASALib/ODEs -->
<g id="node4" class="node">
<title>NASALib/ODEs</title>
<polygon fill="#fcfcd7" stroke="black" points="1685,-709 1631,-709 1631,-673 1685,-673 1685,-709"/>
<text text-anchor="middle" x="1658" y="-685.95" font-family="Times,serif" font-size="14.00">ODEs</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/analysis -->
<g id="edge18" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1840,-613.5C1840,-613.5 1795,-516.5 1795,-516.5 1795,-516.5 1650,-488.5 1650,-488.5 1650,-488.5 1611,-471.5 1611,-471.5"/>
<path fill="none" stroke="black" d="M1611,-325.5C1611,-325.5 1070,-272.5 1070,-272.5 1070,-272.5 1059.24,-269.64 1046.55,-266.27"/>
<polygon fill="black" stroke="black" points="1047.69,-262.69 1037.13,-263.5 1045.89,-269.45 1047.69,-262.69"/>
<path fill="none" stroke="black" d="M1611,-469.5C1611,-469.5 1611,-327.5 1611,-327.5"/>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/lnexp -->
<g id="edge19" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1611,-469.5C1611,-469.5 1596,-452.5 1596,-452.5 1596,-452.5 1554.37,-432.62 1522.1,-417.21"/>
<polygon fill="black" stroke="black" points="1523.97,-413.75 1513.44,-412.6 1520.95,-420.07 1523.97,-413.75"/>
</g>
<!-- NASALib/metric_space -->
<g id="node27" class="node">
<title>NASALib/metric_space</title>
<polygon fill="#fcfcd7" stroke="black" points="524,-560.5 436,-560.5 436,-524.5 524,-524.5 524,-560.5"/>
<text text-anchor="middle" x="480" y="-537.45" font-family="Times,serif" font-size="14.00">metric_space</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/metric_space -->
<g id="edge20" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M1840,-613.5C1840,-613.5 1788,-596.5 1788,-596.5 1788,-596.5 538,-560.5 538,-560.5 538,-560.5 536.72,-560.13 534.55,-559.49"/>
<polygon fill="black" stroke="black" points="535.84,-555.93 525.25,-556.47 533.87,-562.64 535.84,-555.93"/>
<path fill="none" stroke="black" d="M1685.2,-685.93C1732.52,-678.84 1825,-665 1825,-665 1825,-665 1840,-615.5 1840,-615.5"/>
</g>
<!-- NASALib/mv_analysis -->
<g id="node29" class="node">
<title>NASALib/mv_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="1677.12,-632.5 1592.88,-632.5 1592.88,-596.5 1677.12,-596.5 1677.12,-632.5"/>
<text text-anchor="middle" x="1635" y="-609.45" font-family="Times,serif" font-size="14.00">mv_analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/mv_analysis -->
<g id="edge21" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M1652.67,-672.72C1649.96,-663.95 1646.6,-653.07 1643.54,-643.17"/>
<polygon fill="black" stroke="black" points="1646.68,-642.47 1640.39,-633.94 1639.99,-644.53 1646.68,-642.47"/>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/structures -->
<g id="edge22" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1611,-325.5C1611,-325.5 1611,-183.5 1611,-183.5"/>
</g>
<!-- NASALib/Riemann -->
<g id="node5" class="node">
<title>NASALib/Riemann</title>
<polygon fill="#fcfcd7" stroke="black" points="1780.75,-560.5 1715.25,-560.5 1715.25,-524.5 1780.75,-524.5 1780.75,-560.5"/>
<text text-anchor="middle" x="1748" y="-537.45" font-family="Times,serif" font-size="14.00">Riemann</text>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/analysis -->
<g id="edge23" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1315,-325.5C1315,-325.5 1300,-308.5 1300,-308.5 1300,-308.5 1070,-272.5 1070,-272.5 1070,-272.5 1059.24,-269.64 1046.55,-266.27"/>
<polygon fill="black" stroke="black" points="1047.69,-262.69 1037.13,-263.5 1045.89,-269.45 1047.69,-262.69"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/interval_arith -->
<g id="edge24" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M1715.1,-524C1707.2,-519.8 1701,-516.5 1701,-516.5 1701,-516.5 1383,-488.5 1383,-488.5 1383,-488.5 1375.4,-486.73 1365.1,-484.33"/>
<polygon fill="black" stroke="black" points="1366.1,-480.74 1355.57,-481.88 1364.51,-487.56 1366.1,-480.74"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/lnexp -->
<g id="edge25" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1571,-469.5C1571,-469.5 1556,-452.5 1556,-452.5 1556,-452.5 1535.84,-437.45 1517.01,-423.4"/>
<polygon fill="black" stroke="black" points="1519.36,-420.03 1509.25,-416.85 1515.17,-425.64 1519.36,-420.03"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/reals -->
<g id="edge26" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1275,-253.5C1275,-253.5 1260,-236.5 1260,-236.5 1260,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/structures -->
<g id="edge27" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1571,-469.5C1571,-469.5 1527,-380.5 1527,-380.5 1527,-380.5 1315,-327.5 1315,-327.5"/>
<path fill="none" stroke="black" d="M1275,-253.5C1275,-253.5 1611,-183.5 1611,-183.5"/>
<path fill="none" stroke="black" d="M1315,-325.5C1315,-325.5 1280,-272.5 1280,-272.5 1280,-272.5 1275,-255.5 1275,-255.5"/>
<path fill="none" stroke="black" d="M1611,-181.5C1611,-181.5 1024,-128.5 1024,-128.5 1024,-128.5 946.83,-120.96 895.27,-115.92"/>
<polygon fill="black" stroke="black" points="895.67,-112.35 885.38,-114.86 894.99,-119.31 895.67,-112.35"/>
</g>
<!-- NASALib/Riemann&#45;&gt;NASALib/trig -->
<g id="edge28" class="edge">
<title>NASALib/Riemann&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1571,-469.5C1571,-469.5 1536,-452.5 1536,-452.5 1536,-452.5 1294.59,-418.38 1199.16,-404.89"/>
<polygon fill="black" stroke="black" points="1199.66,-401.29 1189.27,-403.35 1198.68,-408.22 1199.66,-401.29"/>
<path fill="none" stroke="black" d="M1715.1,-524C1707.2,-519.8 1701,-516.5 1701,-516.5 1701,-516.5 1586,-488.5 1586,-488.5 1586,-488.5 1571,-471.5 1571,-471.5"/>
</g>
<!-- NASALib/Sturm -->
<g id="node6" class="node">
<title>NASALib/Sturm</title>
<polygon fill="#fcfcd7" stroke="black" points="895,-560.5 841,-560.5 841,-524.5 895,-524.5 895,-560.5"/>
<text text-anchor="middle" x="868" y="-537.45" font-family="Times,serif" font-size="14.00">Sturm</text>
</g>
<!-- NASALib/Sturm&#45;&gt;NASALib/interval_arith -->
<g id="edge29" class="edge">
<title>NASALib/Sturm&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M895.29,-530.32C911.53,-523.66 929,-516.5 929,-516.5 929,-516.5 1232,-488.5 1232,-488.5 1232,-488.5 1242.17,-486.28 1255.17,-483.45"/>
<polygon fill="black" stroke="black" points="1255.51,-486.74 1264.53,-481.19 1254.02,-479.9 1255.51,-486.74"/>
</g>
<!-- NASALib/ints -->
<g id="node21" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="877,-52 823,-52 823,-16 877,-16 877,-52"/>
<text text-anchor="middle" x="850" y="-28.95" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/Sturm&#45;&gt;NASALib/ints -->
<g id="edge30" class="edge">
<title>NASALib/Sturm&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M797,-253.5C797,-253.5 797,-183.5 797,-183.5"/>
<path fill="none" stroke="black" d="M797,-181.5C797,-181.5 797,-111.5 797,-111.5"/>
</g>
<!-- NASALib/Sturm&#45;&gt;NASALib/reals -->
<g id="edge31" class="edge">
<title>NASALib/Sturm&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M797,-253.5C797,-253.5 812,-236.5 812,-236.5 812,-236.5 841.01,-219.61 866.27,-204.89"/>
<polygon fill="black" stroke="black" points="867.82,-207.46 874.7,-199.4 864.29,-201.41 867.82,-207.46"/>
<path fill="none" stroke="black" d="M851.63,-524.15C837.05,-508.69 818,-488.5 818,-488.5 818,-488.5 797,-255.5 797,-255.5"/>
</g>
<!-- NASALib/Sturm&#45;&gt;NASALib/structures -->
<g id="edge32" class="edge">
<title>NASALib/Sturm&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M797,-181.5C797,-181.5 815.2,-157.46 830.27,-137.56"/>
<polygon fill="black" stroke="black" points="833.65,-139.89 836.9,-129.8 828.07,-135.66 833.65,-139.89"/>
</g>
<!-- NASALib/Tarski -->
<g id="node7" class="node">
<title>NASALib/Tarski</title>
<polygon fill="#fcfcd7" stroke="black" points="941,-632.5 887,-632.5 887,-596.5 941,-596.5 941,-632.5"/>
<text text-anchor="middle" x="914" y="-609.45" font-family="Times,serif" font-size="14.00">Tarski</text>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/Sturm -->
<g id="edge33" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/Sturm</title>
<path fill="none" stroke="black" d="M902.63,-596.2C897.39,-588.23 891.07,-578.6 885.26,-569.76"/>
<polygon fill="black" stroke="black" points="887.66,-568.04 879.24,-561.6 881.81,-571.88 887.66,-568.04"/>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/ints -->
<g id="edge34" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M817,-181.5C817,-181.5 797,-111.5 797,-111.5"/>
<path fill="none" stroke="black" d="M912.21,-596.16C909.34,-568.26 904,-516.5 904,-516.5 904,-516.5 846,-488.5 846,-488.5 846,-488.5 817,-255.5 817,-255.5"/>
<path fill="none" stroke="black" d="M817,-253.5C817,-253.5 817,-183.5 817,-183.5"/>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/reals -->
<g id="edge35" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M817,-253.5C817,-253.5 832,-236.5 832,-236.5 832,-236.5 852.16,-221.45 870.99,-207.4"/>
<polygon fill="black" stroke="black" points="872.83,-209.64 878.75,-200.85 868.64,-204.03 872.83,-209.64"/>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/structures -->
<g id="edge36" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M817,-181.5C817,-181.5 827.93,-158.32 837.21,-138.64"/>
<polygon fill="black" stroke="black" points="840.74,-140.34 841.84,-129.8 834.41,-137.36 840.74,-140.34"/>
</g>
<!-- NASALib/affine_arith -->
<g id="node8" class="node">
<title>NASALib/affine_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="782.5,-560.5 703.5,-560.5 703.5,-524.5 782.5,-524.5 782.5,-560.5"/>
<text text-anchor="middle" x="743" 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="edge37" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M780.8,-524C789.87,-519.8 797,-516.5 797,-516.5 797,-516.5 1232,-488.5 1232,-488.5 1232,-488.5 1242.17,-486.28 1255.17,-483.45"/>
<polygon fill="black" stroke="black" points="1255.51,-486.74 1264.53,-481.19 1254.02,-479.9 1255.51,-486.74"/>
</g>
<!-- NASALib/affine_arith&#45;&gt;NASALib/reals -->
<g id="edge38" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M757,-253.5C757,-253.5 772,-236.5 772,-236.5 772,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
</g>
<!-- NASALib/affine_arith&#45;&gt;NASALib/structures -->
<g id="edge39" class="edge">
<title>NASALib/affine_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M757,-253.5C757,-253.5 737,-183.5 737,-183.5"/>
<path fill="none" stroke="black" d="M743.85,-524.04C746.89,-461.95 757,-255.5 757,-255.5"/>
</g>
<!-- NASALib/algebra -->
<g id="node9" class="node">
<title>NASALib/algebra</title>
<polygon fill="#fcfcd7" stroke="black" points="1456.88,-560.5 1401.12,-560.5 1401.12,-524.5 1456.88,-524.5 1456.88,-560.5"/>
<text text-anchor="middle" x="1429" y="-537.45" font-family="Times,serif" font-size="14.00">algebra</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/ints -->
<g id="edge40" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1115,-253.5C1115,-253.5 1100,-236.5 1100,-236.5 1100,-236.5 1009,-183.5 1009,-183.5"/>
<path fill="none" stroke="black" d="M1009,-181.5C1009,-181.5 1029,-111.5 1029,-111.5"/>
<path fill="none" stroke="black" d="M1207,-469.5C1207,-469.5 1192,-452.5 1192,-452.5 1192,-452.5 1125,-416.5 1125,-416.5 1125,-416.5 1115,-255.5 1115,-255.5"/>
</g>
<!-- NASALib/orders -->
<g id="node30" class="node">
<title>NASALib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="446,-200.5 392,-200.5 392,-164.5 446,-164.5 446,-200.5"/>
<text text-anchor="middle" x="419" y="-177.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/orders -->
<g id="edge41" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M1207,-469.5C1207,-469.5 1197,-380.5 1197,-380.5 1197,-380.5 1170,-344.5 1170,-344.5 1170,-344.5 1140,-236.5 1140,-236.5 1140,-236.5 460,-200.5 460,-200.5 460,-200.5 458.44,-199.85 455.92,-198.81"/>
<polygon fill="black" stroke="black" points="457.7,-195.34 447.12,-194.74 455.02,-201.81 457.7,-195.34"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/reals -->
<g id="edge42" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1115,-253.5C1115,-253.5 1100,-236.5 1100,-236.5 1100,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/sigma_set -->
<g id="edge43" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M1400.75,-524.69C1393.15,-520.16 1387,-516.5 1387,-516.5 1387,-516.5 1222,-488.5 1222,-488.5 1222,-488.5 1207,-471.5 1207,-471.5"/>
<path fill="none" stroke="black" d="M1207,-469.5C1207,-469.5 1152,-452.5 1152,-452.5 1152,-452.5 795.39,-417.04 665.56,-404.13"/>
<polygon fill="black" stroke="black" points="666.1,-400.57 655.8,-403.06 665.4,-407.53 666.1,-400.57"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/structures -->
<g id="edge44" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1009,-181.5C1009,-181.5 982,-164.5 982,-164.5 982,-164.5 932.95,-144.81 894.65,-129.43"/>
<polygon fill="black" stroke="black" points="896.27,-125.9 885.68,-125.43 893.66,-132.4 896.27,-125.9"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/trig -->
<g id="edge45" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1207,-469.5C1207,-469.5 1191.34,-445.68 1178.3,-425.83"/>
<polygon fill="black" stroke="black" points="1180.79,-424.24 1172.37,-417.8 1174.94,-428.08 1180.79,-424.24"/>
</g>
<!-- NASALib/algebra&#45;&gt;NASALib/vectors -->
<g id="edge46" class="edge">
<title>NASALib/algebra&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1400.83,-529.15C1386.47,-522.85 1372,-516.5 1372,-516.5 1372,-516.5 1142,-488.5 1142,-488.5 1142,-488.5 1119.72,-483.88 1098.38,-479.46"/>
<polygon fill="black" stroke="black" points="1099.26,-475.86 1088.76,-477.26 1097.84,-482.71 1099.26,-475.86"/>
</g>
<!-- NASALib/algebra&#45;&gt;lib/finite_sets -->
<g id="edge47" class="edge">
<title>NASALib/algebra&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1400.83,-529.15C1386.47,-522.85 1372,-516.5 1372,-516.5 1372,-516.5 427,-488.5 427,-488.5 427,-488.5 228,-471.5 228,-471.5"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/ints -->
<g id="edge48" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1005.35,-236.15C1004.76,-220.69 1004,-200.5 1004,-200.5 1004,-200.5 1004,-164.5 1004,-164.5 1004,-164.5 1029,-111.5 1029,-111.5"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/orders -->
<g id="edge49" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M975.87,-245.5C959.27,-241.09 942,-236.5 942,-236.5 942,-236.5 460,-200.5 460,-200.5 460,-200.5 458.44,-199.85 455.92,-198.81"/>
<polygon fill="black" stroke="black" points="457.7,-195.34 447.12,-194.74 455.02,-201.81 457.7,-195.34"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/reals -->
<g id="edge50" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M980.27,-236.02C967.27,-227.18 951.32,-216.34 937.29,-206.8"/>
<polygon fill="black" stroke="black" points="939.64,-203.49 929.4,-200.76 935.7,-209.28 939.64,-203.49"/>
</g>
<!-- NASALib/analysis&#45;&gt;NASALib/structures -->
<g id="edge51" class="edge">
<title>NASALib/analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M991.91,-236.2C975.03,-215.47 949,-183.5 949,-183.5"/>
</g>
<!-- NASALib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge52" class="edge">
<title>NASALib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M975.87,-245.5C959.27,-241.09 942,-236.5 942,-236.5 942,-236.5 308,-200.5 308,-200.5 308,-200.5 284,-183.5 284,-183.5"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/analysis -->
<g id="edge53" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1058.3,-524.15C1043.43,-508.69 1024,-488.5 1024,-488.5 1024,-488.5 937,-327.5 937,-327.5"/>
<path fill="none" stroke="black" d="M937,-325.5C937,-325.5 961.56,-300.59 981.37,-280.48"/>
<polygon fill="black" stroke="black" points="983.42,-283.38 987.94,-273.8 978.43,-278.47 983.42,-283.38"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/reals -->
<g id="edge54" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M937,-325.5C937,-325.5 937,-255.5 937,-255.5"/>
<path fill="none" stroke="black" d="M937,-253.5C937,-253.5 925.74,-230.32 916.18,-210.64"/>
<polygon fill="black" stroke="black" points="918.92,-209.27 911.4,-201.8 912.63,-212.33 918.92,-209.27"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/structures -->
<g id="edge55" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M949,-181.5C949,-181.5 939,-164.5 939,-164.5 939,-164.5 912.58,-148.77 888.53,-134.44"/>
<polygon fill="black" stroke="black" points="890.52,-130.96 880.14,-128.85 886.94,-136.98 890.52,-130.96"/>
<path fill="none" stroke="black" d="M937,-253.5C937,-253.5 949,-183.5 949,-183.5"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/trig -->
<g id="edge56" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1085.55,-524.09C1100.39,-499.58 1127.57,-454.69 1144.94,-426.02"/>
<polygon fill="black" stroke="black" points="1148.45,-427.98 1150.64,-417.61 1142.46,-424.35 1148.45,-427.98"/>
</g>
<!-- NASALib/aviation&#45;&gt;NASALib/vectors -->
<g id="edge57" class="edge">
<title>NASALib/aviation&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1071.29,-524.2C1069.68,-516.65 1067.74,-507.62 1065.93,-499.18"/>
<polygon fill="black" stroke="black" points="1069.18,-498.65 1063.67,-489.6 1062.34,-500.12 1069.18,-498.65"/>
</g>
<!-- NASALib/aviation&#45;&gt;lib/finite_sets -->
<g id="edge58" class="edge">
<title>NASALib/aviation&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M1044.81,-528.71C1030.29,-522.56 1016,-516.5 1016,-516.5 1016,-516.5 427,-488.5 427,-488.5 427,-488.5 228,-471.5 228,-471.5"/>
</g>
<!-- NASALib/complex -->
<g id="node12" class="node">
<title>NASALib/complex</title>
<polygon fill="#fcfcd7" stroke="black" points="1778.62,-632.5 1715.38,-632.5 1715.38,-596.5 1778.62,-596.5 1778.62,-632.5"/>
<text text-anchor="middle" x="1747" y="-609.45" font-family="Times,serif" font-size="14.00">complex</text>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/algebra -->
<g id="edge59" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M1715.05,-601.69C1707.2,-598.79 1701,-596.5 1701,-596.5 1701,-596.5 1514.59,-567.94 1467.49,-558.79"/>
<polygon fill="black" stroke="black" points="1468.57,-555.22 1458.04,-556.38 1467,-562.04 1468.57,-555.22"/>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/lnexp -->
<g id="edge60" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1591,-469.5C1591,-469.5 1576,-452.5 1576,-452.5 1576,-452.5 1546.99,-435.61 1521.73,-420.89"/>
<polygon fill="black" stroke="black" points="1523.71,-417.41 1513.3,-415.4 1520.18,-423.46 1523.71,-417.41"/>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/reals -->
<g id="edge61" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1591,-469.5C1591,-469.5 1576,-380.5 1576,-380.5 1576,-380.5 1280,-236.5 1280,-236.5 1280,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
<path fill="none" stroke="black" d="M1761.08,-596.15C1773.62,-580.69 1790,-560.5 1790,-560.5 1790,-560.5 1790,-516.5 1790,-516.5 1790,-516.5 1606,-488.5 1606,-488.5 1606,-488.5 1591,-471.5 1591,-471.5"/>
</g>
<!-- NASALib/complex&#45;&gt;NASALib/trig -->
<g id="edge62" class="edge">
<title>NASALib/complex&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1591,-469.5C1591,-469.5 1576,-452.5 1576,-452.5 1576,-452.5 1301.52,-417.45 1199.01,-404.35"/>
<polygon fill="black" stroke="black" points="1199.59,-400.77 1189.23,-402.98 1198.71,-407.72 1199.59,-400.77"/>
</g>
<!-- NASALib/complex_alt -->
<g id="node13" class="node">
<title>NASALib/complex_alt</title>
<polygon fill="#fcfcd7" stroke="black" points="685.75,-560.5 602.25,-560.5 602.25,-524.5 685.75,-524.5 685.75,-560.5"/>
<text text-anchor="middle" x="644" y="-537.45" font-family="Times,serif" font-size="14.00">complex_alt</text>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/lnexp -->
<g id="edge63" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M723,-469.5C723,-469.5 758,-452.5 758,-452.5 758,-452.5 1404,-416.5 1404,-416.5 1404,-416.5 1426.01,-411.88 1447.09,-407.46"/>
<polygon fill="black" stroke="black" points="1447.51,-410.73 1456.58,-405.26 1446.07,-403.88 1447.51,-410.73"/>
</g>
<!-- NASALib/power -->
<g id="node33" class="node">
<title>NASALib/power</title>
<polygon fill="#fcfcd7" stroke="black" points="694,-488.5 640,-488.5 640,-452.5 694,-452.5 694,-488.5"/>
<text text-anchor="middle" x="667" y="-465.45" font-family="Times,serif" font-size="14.00">power</text>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/power -->
<g id="edge64" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M649.69,-524.2C652.19,-516.57 655.2,-507.42 658,-498.9"/>
<polygon fill="black" stroke="black" points="661.58,-500.2 661.38,-489.6 654.93,-498.01 661.58,-500.2"/>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/reals -->
<g id="edge65" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M737,-253.5C737,-253.5 752,-236.5 752,-236.5 752,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
<path fill="none" stroke="black" d="M723,-469.5C723,-469.5 737,-255.5 737,-255.5"/>
<path fill="none" stroke="black" d="M663.53,-524.2C686.92,-503.47 723,-471.5 723,-471.5"/>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/structures -->
<g id="edge66" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M737,-253.5C737,-253.5 737,-183.5 737,-183.5"/>
</g>
<!-- NASALib/complex_alt&#45;&gt;NASALib/trig -->
<g id="edge67" class="edge">
<title>NASALib/complex_alt&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M723,-469.5C723,-469.5 758,-452.5 758,-452.5 758,-452.5 1022.16,-417.76 1122.74,-404.53"/>
<polygon fill="black" stroke="black" points="1123.16,-407.88 1132.62,-403.1 1122.25,-400.94 1123.16,-407.88"/>
</g>
<!-- NASALib/complex_integration -->
<g id="node14" class="node">
<title>NASALib/complex_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="710.25,-709 581.75,-709 581.75,-673 710.25,-673 710.25,-709"/>
<text text-anchor="middle" x="646" 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="edge68" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/complex_alt</title>
<path fill="none" stroke="black" d="M583,-613.5C583,-613.5 604.33,-589.02 621.76,-569.02"/>
<polygon fill="black" stroke="black" points="624.99,-571.64 628.92,-561.8 619.71,-567.04 624.99,-571.64"/>
</g>
<!-- NASALib/measure_integration -->
<g id="node26" class="node">
<title>NASALib/measure_integration</title>
<polygon fill="#fcfcd7" stroke="black" points="503.5,-632.5 376.5,-632.5 376.5,-596.5 503.5,-596.5 503.5,-632.5"/>
<text text-anchor="middle" x="440" 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="edge69" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M581.31,-675.02C558.3,-669.7 538,-665 538,-665 538,-665 510.3,-651.01 484.35,-637.9"/>
<polygon fill="black" stroke="black" points="486.06,-634.34 475.55,-632.95 482.9,-640.58 486.06,-634.34"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/metric_space -->
<g id="edge70" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M631.39,-672.72C612.78,-650.71 583,-615.5 583,-615.5"/>
<path fill="none" stroke="black" d="M583,-613.5C583,-613.5 544.59,-587.4 514.68,-567.07"/>
<polygon fill="black" stroke="black" points="516.96,-563.71 506.73,-560.98 513.03,-569.5 516.96,-563.71"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/power -->
<g id="edge71" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M583,-541.5C583,-541.5 593,-516.5 593,-516.5 593,-516.5 611.84,-505.04 630.51,-493.69"/>
<polygon fill="black" stroke="black" points="632.14,-496.19 638.87,-488 628.5,-490.21 632.14,-496.19"/>
</g>
<!-- NASALib/complex_integration&#45;&gt;NASALib/structures -->
<g id="edge72" class="edge">
<title>NASALib/complex_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M583,-541.5C583,-541.5 593,-516.5 593,-516.5 593,-516.5 631,-452.5 631,-452.5 631,-452.5 678,-416.5 678,-416.5 678,-416.5 697,-255.5 697,-255.5"/>
<path fill="none" stroke="black" d="M583,-613.5C583,-613.5 583,-543.5 583,-543.5"/>
</g>
<!-- NASALib/dL -->
<g id="node15" class="node">
<title>NASALib/dL</title>
<polygon fill="#fcfcd7" stroke="black" points="1639,-781 1585,-781 1585,-745 1639,-745 1639,-781"/>
<text text-anchor="middle" x="1612" y="-757.95" font-family="Times,serif" font-size="14.00">dL</text>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ODEs -->
<g id="edge73" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ODEs</title>
<path fill="none" stroke="black" d="M1623.37,-744.7C1628.61,-736.73 1634.93,-727.1 1640.74,-718.26"/>
<polygon fill="black" stroke="black" points="1644.19,-720.38 1646.76,-710.1 1638.34,-716.54 1644.19,-720.38"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/analysis -->
<g id="edge74" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M677,-325.5C677,-325.5 712,-308.5 712,-308.5 712,-308.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ints -->
<g id="edge75" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M797,-109.5C797,-109.5 807,-92.5 807,-92.5 807,-92.5 819.18,-76.21 830.58,-60.97"/>
<polygon fill="black" stroke="black" points="833.91,-63.36 837.1,-53.25 828.31,-59.16 833.91,-63.36"/>
<path fill="none" stroke="black" d="M373,-253.5C373,-253.5 383,-164.5 383,-164.5 383,-164.5 797,-111.5 797,-111.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/lnexp -->
<g id="edge76" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1639.18,-750.68C1700.65,-725.1 1845,-665 1845,-665 1845,-665 1860,-615.5 1860,-615.5 1860,-615.5 1860,-615.5 1860,-541.5 1860,-541.5 1845,-516.5 1845,-516.5 1845,-516.5 1614.94,-441.73 1522.65,-411.74"/>
<polygon fill="black" stroke="black" points="1523.95,-408.15 1513.35,-408.39 1521.78,-414.81 1523.95,-408.15"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/mv_analysis -->
<g id="edge77" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M1613.93,-744.84C1616.83,-718.98 1622,-673 1622,-673 1622,-673 1625.41,-657.91 1628.74,-643.18"/>
<polygon fill="black" stroke="black" points="1632.31,-644.28 1631.1,-633.75 1625.48,-642.73 1632.31,-644.28"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/orders -->
<g id="edge78" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M373,-253.5C373,-253.5 388.66,-229.68 401.7,-209.83"/>
<polygon fill="black" stroke="black" points="405.06,-212.08 407.63,-201.8 399.21,-208.24 405.06,-212.08"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/reals -->
<g id="edge79" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1584.79,-760.83C1403.52,-753.05 378,-709 378,-709 378,-709 364,-665 364,-665 364,-665 364,-596.5 364,-596.5 364,-596.5 373,-255.5 373,-255.5"/>
<path fill="none" stroke="black" d="M373,-253.5C373,-253.5 460,-236.5 460,-236.5 460,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/structures -->
<g id="edge80" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M737,-181.5C737,-181.5 779.87,-154.94 812.8,-134.55"/>
<polygon fill="black" stroke="black" points="814.12,-137.22 820.78,-128.98 810.43,-131.27 814.12,-137.22"/>
<path fill="none" stroke="black" d="M697,-253.5C697,-253.5 737,-183.5 737,-183.5"/>
<path fill="none" stroke="black" d="M677,-325.5C677,-325.5 697,-255.5 697,-255.5"/>
<path fill="none" stroke="black" d="M1584.74,-760.61C1420.81,-752.25 573,-709 573,-709 573,-709 573,-673 573,-673 573,-673 578,-516.5 578,-516.5 578,-516.5 606,-452.5 606,-452.5 606,-452.5 663,-416.5 663,-416.5 663,-416.5 677,-327.5 677,-327.5"/>
</g>
<!-- NASALib/exact_real_arith -->
<g id="node16" class="node">
<title>NASALib/exact_real_arith</title>
<polygon fill="#fcfcd7" stroke="black" points="848.5,-632.5 745.5,-632.5 745.5,-596.5 848.5,-596.5 848.5,-632.5"/>
<text text-anchor="middle" x="797" 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="edge81" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/Sturm</title>
<path fill="none" stroke="black" d="M814.55,-596.2C823.15,-587.72 833.65,-577.36 843.07,-568.08"/>
<polygon fill="black" stroke="black" points="844.99,-571.12 849.65,-561.6 840.07,-566.13 844.99,-571.12"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/interval_arith -->
<g id="edge82" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M802,-541.5C802,-541.5 832,-516.5 832,-516.5 832,-516.5 1232,-488.5 1232,-488.5 1232,-488.5 1242.17,-486.28 1255.17,-483.45"/>
<polygon fill="black" stroke="black" points="1255.51,-486.74 1264.53,-481.19 1254.02,-479.9 1255.51,-486.74"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/lnexp -->
<g id="edge83" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M763,-469.5C763,-469.5 853,-452.5 853,-452.5 853,-452.5 1404,-416.5 1404,-416.5 1404,-416.5 1426.01,-411.88 1447.09,-407.46"/>
<polygon fill="black" stroke="black" points="1447.51,-410.73 1456.58,-405.26 1446.07,-403.88 1447.51,-410.73"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/reals -->
<g id="edge84" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M777,-253.5C777,-253.5 792,-236.5 792,-236.5 792,-236.5 833.63,-216.62 865.9,-201.21"/>
<polygon fill="black" stroke="black" points="867.05,-204.07 874.56,-196.6 864.03,-197.75 867.05,-204.07"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/structures -->
<g id="edge85" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M763,-469.5C763,-469.5 777,-255.5 777,-255.5"/>
<path fill="none" stroke="black" d="M777,-253.5C777,-253.5 737,-183.5 737,-183.5"/>
</g>
<!-- NASALib/exact_real_arith&#45;&gt;NASALib/trig -->
<g id="edge86" class="edge">
<title>NASALib/exact_real_arith&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M763,-469.5C763,-469.5 778,-452.5 778,-452.5 778,-452.5 1026.22,-418.15 1123,-404.76"/>
<polygon fill="black" stroke="black" points="1123.34,-408.11 1132.76,-403.27 1122.38,-401.17 1123.34,-408.11"/>
<path fill="none" stroke="black" d="M802,-541.5C802,-541.5 792,-516.5 792,-516.5 792,-516.5 763,-471.5 763,-471.5"/>
<path fill="none" stroke="black" d="M798.24,-596.2C799.72,-575.47 802,-543.5 802,-543.5"/>
</g>
<!-- NASALib/examples -->
<g id="node17" class="node">
<title>NASALib/examples</title>
<polygon fill="#fcfcd7" stroke="black" points="993.88,-709 926.12,-709 926.12,-673 993.88,-673 993.88,-709"/>
<text text-anchor="middle" x="960" y="-685.95" font-family="Times,serif" font-size="14.00">examples</text>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Bernstein -->
<g id="edge87" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Bernstein</title>
<path fill="none" stroke="black" d="M1574,-613.5C1574,-613.5 1551.07,-588.81 1532.45,-568.75"/>
<polygon fill="black" stroke="black" points="1535.44,-566.75 1526.07,-561.8 1530.31,-571.51 1535.44,-566.75"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Riemann -->
<g id="edge88" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Riemann</title>
<path fill="none" stroke="black" d="M1696,-613.5C1696,-613.5 1706,-596.5 1706,-596.5 1706,-596.5 1716.97,-582.65 1727.7,-569.12"/>
<polygon fill="black" stroke="black" points="1730.78,-571.87 1734.25,-561.85 1725.29,-567.52 1730.78,-571.87"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Sturm -->
<g id="edge89" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Sturm</title>
<path fill="none" stroke="black" d="M868,-613.5C868,-613.5 868,-591.16 868,-571.72"/>
<polygon fill="black" stroke="black" points="871.5,-571.8 868,-561.8 864.5,-571.8 871.5,-571.8"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Tarski -->
<g id="edge90" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Tarski</title>
<path fill="none" stroke="black" d="M949.33,-672.72C943.74,-663.67 936.77,-652.37 930.5,-642.22"/>
<polygon fill="black" stroke="black" points="933,-640.61 924.77,-633.94 927.05,-644.29 933,-640.61"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/affine_arith -->
<g id="edge91" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/affine_arith</title>
<path fill="none" stroke="black" d="M925.64,-686.15C863.09,-679.14 737,-665 737,-665 737,-665 737,-596.5 737,-596.5 737,-596.5 738.39,-584.18 739.84,-571.42"/>
<polygon fill="black" stroke="black" points="743.39,-572.18 741.04,-561.85 736.43,-571.4 743.39,-572.18"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/algebra -->
<g id="edge92" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M994.35,-685.87C1053.42,-678.77 1168,-665 1168,-665 1168,-665 1574,-615.5 1574,-615.5"/>
<path fill="none" stroke="black" d="M1574,-613.5C1574,-613.5 1510.15,-582.67 1467.19,-561.94"/>
<polygon fill="black" stroke="black" points="1468.83,-558.36 1458.3,-557.16 1465.79,-564.66 1468.83,-558.36"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/analysis -->
<g id="edge93" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1574,-613.5C1574,-613.5 1584,-596.5 1584,-596.5 1584,-596.5 1646,-560.5 1646,-560.5 1646,-560.5 1646,-516.5 1646,-516.5 1646,-516.5 1526,-488.5 1526,-488.5 1526,-488.5 1481,-452.5 1481,-452.5 1481,-452.5 1250,-344.5 1250,-344.5 1250,-344.5 1200,-308.5 1200,-308.5 1200,-308.5 1103.19,-282.05 1046.34,-266.52"/>
<polygon fill="black" stroke="black" points="1047.46,-262.92 1036.89,-263.67 1045.61,-269.68 1047.46,-262.92"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/complex -->
<g id="edge94" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/complex</title>
<path fill="none" stroke="black" d="M994.25,-688.84C1139.99,-683.93 1701,-665 1701,-665 1701,-665 1712.2,-652.95 1723.55,-640.73"/>
<polygon fill="black" stroke="black" points="1725.67,-643.52 1729.91,-633.81 1720.54,-638.76 1725.67,-643.52"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/exact_real_arith -->
<g id="edge95" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/exact_real_arith</title>
<path fill="none" stroke="black" d="M925.8,-681.19C897.87,-673.99 863,-665 863,-665 863,-665 845.68,-652.01 828.79,-639.34"/>
<polygon fill="black" stroke="black" points="831.18,-636.01 821.08,-632.81 826.98,-641.61 831.18,-636.01"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/interval_arith -->
<g id="edge96" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M994.26,-688.97C1150.52,-684.25 1788,-665 1788,-665 1788,-665 1790,-560.5 1790,-560.5 1790,-560.5 1790,-516.5 1790,-516.5 1790,-516.5 1383,-488.5 1383,-488.5 1383,-488.5 1375.4,-486.73 1365.1,-484.33"/>
<polygon fill="black" stroke="black" points="1366.1,-480.74 1355.57,-481.88 1364.51,-487.56 1366.1,-480.74"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/ints -->
<g id="edge97" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M837,-253.5C837,-253.5 822,-164.5 822,-164.5 822,-164.5 797,-111.5 797,-111.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/lnexp -->
<g id="edge98" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M994.04,-688.83C1137.58,-683.89 1686,-665 1686,-665 1686,-665 1696,-615.5 1696,-615.5"/>
<path fill="none" stroke="black" d="M1696,-613.5C1696,-613.5 1696,-543.5 1696,-543.5"/>
<path fill="none" stroke="black" d="M1696,-541.5C1696,-541.5 1681,-516.5 1681,-516.5 1681,-516.5 1566,-488.5 1566,-488.5 1566,-488.5 1536,-452.5 1536,-452.5 1536,-452.5 1522.42,-438.39 1509.28,-424.73"/>
<polygon fill="black" stroke="black" points="1512.16,-422.63 1502.7,-417.85 1507.11,-427.49 1512.16,-422.63"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/reals -->
<g id="edge99" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M837,-253.5C837,-253.5 852,-236.5 852,-236.5 852,-236.5 865.58,-222.39 878.72,-208.73"/>
<polygon fill="black" stroke="black" points="880.89,-211.49 885.3,-201.85 875.84,-206.63 880.89,-211.49"/>
<path fill="none" stroke="black" d="M934,-541.5C934,-541.5 919,-516.5 919,-516.5 919,-516.5 853,-488.5 853,-488.5 853,-488.5 837,-255.5 837,-255.5"/>
<path fill="none" stroke="black" d="M958.17,-672.85C955.28,-645.86 950,-596.5 950,-596.5 950,-596.5 934,-543.5 934,-543.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/structures -->
<g id="edge100" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M934,-541.5C934,-541.5 943,-488.5 943,-488.5 943,-488.5 943,-452.5 943,-452.5 943,-452.5 904,-416.5 904,-416.5 904,-416.5 857,-183.5 857,-183.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/trig -->
<g id="edge101" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M868,-613.5C868,-613.5 858,-596.5 858,-596.5 858,-596.5 832,-560.5 832,-560.5 832,-560.5 832,-516.5 832,-516.5 832,-516.5 853,-452.5 853,-452.5 853,-452.5 1040.64,-420.21 1123.01,-406.04"/>
<polygon fill="black" stroke="black" points="1123.41,-409.35 1132.67,-404.2 1122.22,-402.45 1123.41,-409.35"/>
<path fill="none" stroke="black" d="M925.7,-679.54C903.23,-672.69 878,-665 878,-665 878,-665 868,-615.5 868,-615.5"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/vectors -->
<g id="edge102" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1696,-541.5C1696,-541.5 1646,-516.5 1646,-516.5 1646,-516.5 1142,-488.5 1142,-488.5 1142,-488.5 1119.72,-483.88 1098.38,-479.46"/>
<polygon fill="black" stroke="black" points="1099.26,-475.86 1088.76,-477.26 1097.84,-482.71 1099.26,-475.86"/>
</g>
<!-- NASALib/extended_nnreal -->
<g id="node18" class="node">
<title>NASALib/extended_nnreal</title>
<polygon fill="#fcfcd7" stroke="black" points="541.62,-488.5 436.38,-488.5 436.38,-452.5 541.62,-452.5 541.62,-488.5"/>
<text text-anchor="middle" x="489" y="-465.45" font-family="Times,serif" font-size="14.00">extended_nnreal</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/analysis -->
<g id="edge103" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M525,-397.5C525,-397.5 525,-327.5 525,-327.5"/>
<path fill="none" stroke="black" d="M497.9,-452.2C508.56,-431.47 525,-399.5 525,-399.5"/>
<path fill="none" stroke="black" d="M525,-325.5C525,-325.5 540,-308.5 540,-308.5 540,-308.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/reals -->
<g id="edge104" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M525,-325.5C525,-325.5 565,-255.5 565,-255.5"/>
<path fill="none" stroke="black" d="M565,-253.5C565,-253.5 632,-236.5 632,-236.5 632,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
</g>
<!-- NASALib/series -->
<g id="node37" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="638,-344.5 584,-344.5 584,-308.5 638,-308.5 638,-344.5"/>
<text text-anchor="middle" x="611" y="-321.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/series -->
<g id="edge105" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M525,-397.5C525,-397.5 540,-380.5 540,-380.5 540,-380.5 560.16,-365.45 578.99,-351.4"/>
<polygon fill="black" stroke="black" points="580.83,-353.64 586.75,-344.85 576.64,-348.03 580.83,-353.64"/>
</g>
<!-- NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set -->
<g id="edge106" class="edge">
<title>NASALib/extended_nnreal&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M521.47,-452.02C538.5,-442.84 559.56,-431.51 577.74,-421.72"/>
<polygon fill="black" stroke="black" points="578.8,-424.58 585.94,-416.76 575.48,-418.42 578.8,-424.58"/>
</g>
<!-- NASALib/fast_approx -->
<g id="node19" class="node">
<title>NASALib/fast_approx</title>
<polygon fill="#fcfcd7" stroke="black" points="1471.88,-488.5 1392.12,-488.5 1392.12,-452.5 1471.88,-452.5 1471.88,-488.5"/>
<text text-anchor="middle" x="1432" y="-465.45" font-family="Times,serif" font-size="14.00">fast_approx</text>
</g>
<!-- NASALib/fast_approx&#45;&gt;NASALib/reals -->
<g id="edge107" class="edge">
<title>NASALib/fast_approx&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1423.84,-452.2C1414.07,-431.47 1399,-399.5 1399,-399.5"/>
</g>
<!-- NASALib/fast_approx&#45;&gt;NASALib/trig -->
<g id="edge108" class="edge">
<title>NASALib/fast_approx&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1391.72,-459.1C1339.66,-445.65 1249.68,-422.41 1198.83,-409.27"/>
<polygon fill="black" stroke="black" points="1199.86,-405.67 1189.31,-406.55 1198.11,-412.44 1199.86,-405.67"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/analysis -->
<g id="edge109" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1195,-325.5C1195,-325.5 1101.66,-290.93 1046.17,-270.38"/>
<polygon fill="black" stroke="black" points="1047.54,-266.78 1036.95,-266.59 1045.11,-273.35 1047.54,-266.78"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/ints -->
<g id="edge110" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1069,-181.5C1069,-181.5 1029,-111.5 1029,-111.5"/>
<path fill="none" stroke="black" d="M1195,-253.5C1195,-253.5 1180,-236.5 1180,-236.5 1180,-236.5 1069,-183.5 1069,-183.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/lnexp -->
<g id="edge111" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1353.71,-452.02C1382.61,-440.45 1420.11,-425.46 1447.63,-414.45"/>
<polygon fill="black" stroke="black" points="1448.66,-417.41 1456.65,-410.44 1446.06,-410.91 1448.66,-417.41"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/reals -->
<g id="edge112" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1195,-253.5C1195,-253.5 1180,-236.5 1180,-236.5 1180,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
<path fill="none" stroke="black" d="M1295.9,-452.09C1265.19,-414.17 1195,-327.5 1195,-327.5"/>
<path fill="none" stroke="black" d="M1195,-325.5C1195,-325.5 1195,-255.5 1195,-255.5"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/structures -->
<g id="edge113" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1069,-181.5C1069,-181.5 1054,-164.5 1054,-164.5 1054,-164.5 955.05,-138.79 894.98,-123.18"/>
<polygon fill="black" stroke="black" points="896.16,-119.62 885.61,-120.49 894.4,-126.39 896.16,-119.62"/>
</g>
<!-- NASALib/interval_arith&#45;&gt;NASALib/trig -->
<g id="edge114" class="edge">
<title>NASALib/interval_arith&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1272.79,-452.02C1249.96,-441.29 1220.84,-427.61 1198.05,-416.9"/>
<polygon fill="black" stroke="black" points="1199.92,-413.45 1189.38,-412.36 1196.95,-419.78 1199.92,-413.45"/>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge115" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M822.54,-34C754.57,-34 584,-34 584,-34 584,-34 318,-34 318,-34 318,-34 175.26,-34 98.91,-34"/>
<polygon fill="black" stroke="black" points="99.15,-30.5 89.15,-34 99.15,-37.5 99.15,-30.5"/>
</g>
<!-- NASALib/lebesgue -->
<g id="node22" class="node">
<title>NASALib/lebesgue</title>
<polygon fill="#fcfcd7" stroke="black" points="543.62,-709 480.38,-709 480.38,-673 543.62,-673 543.62,-709"/>
<text text-anchor="middle" x="512" y="-685.95" font-family="Times,serif" font-size="14.00">lebesgue</text>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/analysis -->
<g id="edge116" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M543,-613.5C543,-613.5 543,-543.5 543,-543.5"/>
<path fill="none" stroke="black" d="M565,-325.5C565,-325.5 575,-308.5 575,-308.5 575,-308.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
<path fill="none" stroke="black" d="M581,-469.5C581,-469.5 575,-416.5 575,-416.5 575,-416.5 565,-327.5 565,-327.5"/>
<path fill="none" stroke="black" d="M543,-541.5C543,-541.5 581,-471.5 581,-471.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal -->
<g id="edge117" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M417,-541.5C417,-541.5 427,-516.5 427,-516.5 427,-516.5 441.48,-505.99 456.45,-495.13"/>
<polygon fill="black" stroke="black" points="458.17,-497.48 464.21,-488.77 454.06,-491.81 458.17,-497.48"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/measure_integration -->
<g id="edge118" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M495.3,-672.72C486.1,-663.2 474.51,-651.2 464.32,-640.66"/>
<polygon fill="black" stroke="black" points="467.32,-638.7 457.86,-633.94 462.29,-643.57 467.32,-638.7"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/metric_space -->
<g id="edge119" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M543,-613.5C543,-613.5 528,-596.5 528,-596.5 528,-596.5 515.22,-582.39 502.85,-568.73"/>
<polygon fill="black" stroke="black" points="506.02,-566.92 496.72,-561.85 500.84,-571.62 506.02,-566.92"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/power -->
<g id="edge120" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M543,-541.5C543,-541.5 578,-516.5 578,-516.5 578,-516.5 605.78,-502.46 630.29,-490.06"/>
<polygon fill="black" stroke="black" points="631.47,-492.88 638.81,-485.25 628.31,-486.63 631.47,-492.88"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/reals -->
<g id="edge121" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M565,-325.5C565,-325.5 565,-255.5 565,-255.5"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/sigma_set -->
<g id="edge122" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M581,-469.5C581,-469.5 593.7,-446.11 604.42,-426.37"/>
<polygon fill="black" stroke="black" points="607.91,-428.26 609.61,-417.8 601.76,-424.92 607.91,-428.26"/>
</g>
<!-- NASALib/lebesgue&#45;&gt;NASALib/structures -->
<g id="edge123" class="edge">
<title>NASALib/lebesgue&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M519.19,-672.72C528.35,-650.71 543,-615.5 543,-615.5"/>
<path fill="none" stroke="black" d="M543,-613.5C543,-613.5 513,-596.5 513,-596.5 513,-596.5 427,-560.5 427,-560.5 427,-560.5 417,-543.5 417,-543.5"/>
<path fill="none" stroke="black" d="M417,-541.5C417,-541.5 427,-452.5 427,-452.5 427,-452.5 490,-416.5 490,-416.5 490,-416.5 490,-236.5 490,-236.5 490,-236.5 465,-183.5 465,-183.5"/>
</g>
<!-- NASALib/line_segments -->
<g id="node23" class="node">
<title>NASALib/line_segments</title>
<polygon fill="#fcfcd7" stroke="black" points="298,-560.5 204,-560.5 204,-524.5 298,-524.5 298,-560.5"/>
<text text-anchor="middle" x="251" y="-537.45" font-family="Times,serif" font-size="14.00">line_segments</text>
</g>
<!-- NASALib/line_segments&#45;&gt;NASALib/orders -->
<g id="edge124" class="edge">
<title>NASALib/line_segments&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M261.15,-524.15C270.19,-508.69 282,-488.5 282,-488.5 282,-488.5 313,-255.5 313,-255.5"/>
<path fill="none" stroke="black" d="M313,-253.5C313,-253.5 352.87,-227.17 383.7,-206.81"/>
<polygon fill="black" stroke="black" points="385.11,-209.41 391.53,-200.98 381.25,-203.57 385.11,-209.41"/>
</g>
<!-- NASALib/line_segments&#45;&gt;NASALib/structures -->
<g id="edge125" class="edge">
<title>NASALib/line_segments&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M313,-253.5C313,-253.5 313,-183.5 313,-183.5"/>
</g>
<!-- NASALib/line_segments&#45;&gt;NASALib/vectors -->
<g id="edge126" class="edge">
<title>NASALib/line_segments&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M298.12,-526.96C315.94,-521.46 332,-516.5 332,-516.5 332,-516.5 978,-488.5 978,-488.5 978,-488.5 1000.28,-483.88 1021.62,-479.46"/>
<polygon fill="black" stroke="black" points="1022.16,-482.71 1031.24,-477.26 1020.74,-475.86 1022.16,-482.71"/>
</g>
<!-- NASALib/line_segments&#45;&gt;lib/finite_sets -->
<g id="edge127" class="edge">
<title>NASALib/line_segments&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M245.31,-524.2C238.5,-503.47 228,-471.5 228,-471.5"/>
</g>
<!-- NASALib/linear_algebra -->
<g id="node24" class="node">
<title>NASALib/linear_algebra</title>
<polygon fill="#fcfcd7" stroke="black" points="1236.62,-560.5 1143.38,-560.5 1143.38,-524.5 1236.62,-524.5 1236.62,-560.5"/>
<text text-anchor="middle" x="1190" y="-537.45" font-family="Times,serif" font-size="14.00">linear_algebra</text>
</g>
<!-- NASALib/linear_algebra&#45;&gt;NASALib/reals -->
<g id="edge128" class="edge">
<title>NASALib/linear_algebra&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1075,-253.5C1075,-253.5 1045,-236.5 1045,-236.5 1045,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
</g>
<!-- NASALib/linear_algebra&#45;&gt;NASALib/structures -->
<g id="edge129" class="edge">
<title>NASALib/linear_algebra&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1075,-253.5C1075,-253.5 954,-164.5 954,-164.5 954,-164.5 922.02,-148.2 893.53,-133.68"/>
<polygon fill="black" stroke="black" points="895.55,-130.28 885.05,-128.85 892.37,-136.51 895.55,-130.28"/>
<path fill="none" stroke="black" d="M1174.28,-524.15C1160.28,-508.69 1142,-488.5 1142,-488.5 1142,-488.5 1080,-416.5 1080,-416.5 1080,-416.5 1070,-344.5 1070,-344.5 1070,-344.5 1070,-308.5 1070,-308.5 1070,-308.5 1075,-255.5 1075,-255.5"/>
</g>
<!-- NASALib/linear_algebra&#45;&gt;NASALib/vectors -->
<g id="edge130" class="edge">
<title>NASALib/linear_algebra&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1157.53,-524.02C1139.21,-514.15 1116.26,-501.79 1097.21,-491.54"/>
<polygon fill="black" stroke="black" points="1099.12,-488.05 1088.66,-486.39 1095.81,-494.22 1099.12,-488.05"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/analysis -->
<g id="edge131" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1275,-325.5C1275,-325.5 1240,-308.5 1240,-308.5 1240,-308.5 1070,-272.5 1070,-272.5 1070,-272.5 1059.24,-269.64 1046.55,-266.27"/>
<polygon fill="black" stroke="black" points="1047.69,-262.69 1037.13,-263.5 1045.89,-269.45 1047.69,-262.69"/>
<path fill="none" stroke="black" d="M1457.88,-386.26C1450.26,-383.09 1444,-380.5 1444,-380.5 1444,-380.5 1290,-344.5 1290,-344.5 1290,-344.5 1275,-327.5 1275,-327.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/ints -->
<g id="edge132" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1255,-253.5C1255,-253.5 1240,-164.5 1240,-164.5 1240,-164.5 1029,-111.5 1029,-111.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/reals -->
<g id="edge133" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1255,-253.5C1255,-253.5 1240,-236.5 1240,-236.5 1240,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
<path fill="none" stroke="black" d="M1275,-325.5C1275,-325.5 1255,-255.5 1255,-255.5"/>
</g>
<!-- NASALib/lnexp&#45;&gt;NASALib/series -->
<g id="edge134" class="edge">
<title>NASALib/lnexp&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1457.76,-395.77C1314.2,-386.63 652,-344.5 652,-344.5 652,-344.5 650.44,-343.85 647.92,-342.81"/>
<polygon fill="black" stroke="black" points="649.7,-339.34 639.12,-338.74 647.02,-345.81 649.7,-339.34"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal -->
<g id="edge135" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/extended_nnreal</title>
<path fill="none" stroke="black" d="M397,-541.5C397,-541.5 412,-516.5 412,-516.5 412,-516.5 431.01,-505.39 450.13,-494.21"/>
<polygon fill="black" stroke="black" points="451.58,-496.84 458.45,-488.77 448.05,-490.79 451.58,-496.84"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/metric_space -->
<g id="edge136" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M449.89,-596.2C454.39,-588.31 459.83,-578.8 464.83,-570.05"/>
<polygon fill="black" stroke="black" points="468.3,-572.02 470.23,-561.6 462.23,-568.55 468.3,-572.02"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/orders -->
<g id="edge137" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M485,-253.5C485,-253.5 470,-236.5 470,-236.5 470,-236.5 456.42,-222.39 443.28,-208.73"/>
<polygon fill="black" stroke="black" points="446.16,-206.63 436.7,-201.85 441.11,-211.49 446.16,-206.63"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/power -->
<g id="edge138" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M397,-541.5C397,-541.5 412,-516.5 412,-516.5 412,-516.5 586,-488.5 586,-488.5 586,-488.5 608.01,-483.88 629.09,-479.46"/>
<polygon fill="black" stroke="black" points="629.51,-482.73 638.58,-477.26 628.07,-475.88 629.51,-482.73"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/reals -->
<g id="edge139" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M485,-253.5C485,-253.5 560,-236.5 560,-236.5 560,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/series -->
<g id="edge140" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M485,-397.5C485,-397.5 536.91,-368.66 574.09,-348"/>
<polygon fill="black" stroke="black" points="575.62,-350.6 582.66,-342.69 572.22,-344.49 575.62,-350.6"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/sigma_set -->
<g id="edge141" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/sigma_set</title>
<path fill="none" stroke="black" d="M397,-469.5C397,-469.5 427,-452.5 427,-452.5 427,-452.5 515.97,-427.94 572.79,-412.26"/>
<polygon fill="black" stroke="black" points="573.63,-415.38 582.34,-409.34 571.77,-408.63 573.63,-415.38"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;NASALib/structures -->
<g id="edge142" class="edge">
<title>NASALib/measure_integration&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M397,-541.5C397,-541.5 397,-471.5 397,-471.5"/>
<path fill="none" stroke="black" d="M429.37,-596.2C416.64,-575.47 397,-543.5 397,-543.5"/>
<path fill="none" stroke="black" d="M397,-469.5C397,-469.5 412,-452.5 412,-452.5 412,-452.5 485,-399.5 485,-399.5"/>
<path fill="none" stroke="black" d="M485,-253.5C485,-253.5 465,-183.5 465,-183.5"/>
<path fill="none" stroke="black" d="M485,-397.5C485,-397.5 485,-255.5 485,-255.5"/>
</g>
<!-- NASALib/measure_integration&#45;&gt;lib/finite_sets -->
<g id="edge143" class="edge">
<title>NASALib/measure_integration&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M376.27,-599.71C303.68,-584.01 195,-560.5 195,-560.5 195,-560.5 136,-543.5 136,-543.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/analysis -->
<g id="edge144" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M545,-325.5C545,-325.5 560,-308.5 560,-308.5 560,-308.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/power -->
<g id="edge145" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M520.6,-524C530.35,-519.8 538,-516.5 538,-516.5 538,-516.5 591.29,-497.91 629.36,-484.63"/>
<polygon fill="black" stroke="black" points="630.35,-487.64 638.64,-481.04 628.05,-481.03 630.35,-487.64"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/reals -->
<g id="edge146" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M503.25,-524.15C523.95,-508.69 551,-488.5 551,-488.5 551,-488.5 551,-452.5 551,-452.5 551,-452.5 545,-399.5 545,-399.5"/>
<path fill="none" stroke="black" d="M545,-397.5C545,-397.5 545,-327.5 545,-327.5"/>
<path fill="none" stroke="black" d="M545,-325.5C545,-325.5 565,-255.5 565,-255.5"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/series -->
<g id="edge147" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M545,-397.5C545,-397.5 568.28,-372.81 587.19,-352.75"/>
<polygon fill="black" stroke="black" points="589.37,-355.48 593.69,-345.8 584.28,-350.68 589.37,-355.48"/>
</g>
<!-- NASALib/metric_space&#45;&gt;NASALib/vectors -->
<g id="edge148" class="edge">
<title>NASALib/metric_space&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M520.6,-524C530.35,-519.8 538,-516.5 538,-516.5 538,-516.5 978,-488.5 978,-488.5 978,-488.5 1000.28,-483.88 1021.62,-479.46"/>
<polygon fill="black" stroke="black" points="1022.16,-482.71 1031.24,-477.26 1020.74,-475.86 1022.16,-482.71"/>
</g>
<!-- NASALib/metric_space&#45;&gt;lib/finite_sets -->
<g id="edge149" class="edge">
<title>NASALib/metric_space&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M439.4,-524C429.65,-519.8 422,-516.5 422,-516.5 422,-516.5 228,-471.5 228,-471.5"/>
</g>
<!-- NASALib/mult_poly -->
<g id="node28" class="node">
<title>NASALib/mult_poly</title>
<polygon fill="#fcfcd7" stroke="black" points="934.12,-488.5 861.88,-488.5 861.88,-452.5 934.12,-452.5 934.12,-488.5"/>
<text text-anchor="middle" x="898" y="-465.45" font-family="Times,serif" font-size="14.00">mult_poly</text>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/analysis -->
<g id="edge150" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M857,-325.5C857,-325.5 921.82,-295.05 965.95,-274.31"/>
<polygon fill="black" stroke="black" points="967.28,-277.09 974.85,-269.67 964.31,-270.75 967.28,-277.09"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/lnexp -->
<g id="edge151" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M934.23,-460.7C951.31,-456.55 968,-452.5 968,-452.5 968,-452.5 1404,-416.5 1404,-416.5 1404,-416.5 1426.01,-411.88 1447.09,-407.46"/>
<polygon fill="black" stroke="black" points="1447.51,-410.73 1456.58,-405.26 1446.07,-403.88 1447.51,-410.73"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/reals -->
<g id="edge152" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M857,-253.5C857,-253.5 872.66,-229.68 885.7,-209.83"/>
<polygon fill="black" stroke="black" points="889.06,-212.08 891.63,-201.8 883.21,-208.24 889.06,-212.08"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/series -->
<g id="edge153" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M857,-397.5C857,-397.5 652,-344.5 652,-344.5 652,-344.5 650.44,-343.85 647.92,-342.81"/>
<polygon fill="black" stroke="black" points="649.7,-339.34 639.12,-338.74 647.02,-345.81 649.7,-339.34"/>
<path fill="none" stroke="black" d="M887.87,-452.2C875.72,-431.47 857,-399.5 857,-399.5"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/structures -->
<g id="edge154" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M857,-325.5C857,-325.5 857,-255.5 857,-255.5"/>
<path fill="none" stroke="black" d="M857,-397.5C857,-397.5 857,-327.5 857,-327.5"/>
<path fill="none" stroke="black" d="M857,-253.5C857,-253.5 857,-183.5 857,-183.5"/>
<path fill="none" stroke="black" d="M857,-181.5C857,-181.5 854.77,-159.16 852.82,-139.72"/>
<polygon fill="black" stroke="black" points="856.21,-139.41 851.73,-129.8 849.24,-140.1 856.21,-139.41"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/trig -->
<g id="edge155" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M934.57,-459.77C984.27,-446.54 1072.72,-423 1123.11,-409.59"/>
<polygon fill="black" stroke="black" points="1123.79,-412.76 1132.55,-406.81 1121.99,-406 1123.79,-412.76"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/analysis -->
<g id="edge156" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1531,-469.5C1531,-469.5 1521,-380.5 1521,-380.5 1521,-380.5 1310,-344.5 1310,-344.5 1310,-344.5 1280,-308.5 1280,-308.5 1280,-308.5 1070,-272.5 1070,-272.5 1070,-272.5 1059.24,-269.64 1046.55,-266.27"/>
<polygon fill="black" stroke="black" points="1047.69,-262.69 1037.13,-263.5 1045.89,-269.45 1047.69,-262.69"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/metric_space -->
<g id="edge157" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M1592.56,-600.62C1584.75,-598.24 1579,-596.5 1579,-596.5 1579,-596.5 538,-560.5 538,-560.5 538,-560.5 536.72,-560.13 534.55,-559.49"/>
<polygon fill="black" stroke="black" points="535.84,-555.93 525.25,-556.47 533.87,-562.64 535.84,-555.93"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/reals -->
<g id="edge158" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1640.24,-596.15C1644.91,-580.69 1651,-560.5 1651,-560.5 1651,-560.5 1651,-516.5 1651,-516.5 1651,-516.5 1536,-488.5 1536,-488.5 1536,-488.5 1531,-471.5 1531,-471.5"/>
<path fill="none" stroke="black" d="M1235,-253.5C1235,-253.5 1213,-236.5 1213,-236.5 1213,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
<path fill="none" stroke="black" d="M1531,-469.5C1531,-469.5 1508,-452.5 1508,-452.5 1508,-452.5 1370,-380.5 1370,-380.5 1370,-380.5 1270,-344.5 1270,-344.5 1270,-344.5 1235,-255.5 1235,-255.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/structures -->
<g id="edge159" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1235,-253.5C1235,-253.5 1213,-236.5 1213,-236.5 1213,-236.5 1074,-164.5 1074,-164.5 1074,-164.5 960.35,-137.61 894.95,-122.14"/>
<polygon fill="black" stroke="black" points="896.05,-118.56 885.51,-119.67 894.43,-125.37 896.05,-118.56"/>
</g>
<!-- NASALib/orders&#45;&gt;NASALib/structures -->
<g id="edge160" class="edge">
<title>NASALib/orders&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M446.12,-170.26C453.74,-167.09 460,-164.5 460,-164.5 460,-164.5 802,-128.5 802,-128.5 802,-128.5 803.27,-128.05 805.41,-127.29"/>
<polygon fill="black" stroke="black" points="806.11,-130.4 814.37,-123.76 803.78,-123.8 806.11,-130.4"/>
</g>
<!-- NASALib/orders&#45;&gt;lib/finite_sets -->
<g id="edge161" class="edge">
<title>NASALib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M391.68,-167.33C352.23,-146.88 284,-111.5 284,-111.5"/>
</g>
<!-- NASALib/polygon_merge -->
<g id="node31" class="node">
<title>NASALib/polygon_merge</title>
<polygon fill="#fcfcd7" stroke="black" points="317.75,-709 216.25,-709 216.25,-673 317.75,-673 317.75,-709"/>
<text text-anchor="middle" x="267" 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="edge162" class="edge">
<title>NASALib/polygon_merge&#45;&gt;NASALib/line_segments</title>
<path fill="none" stroke="black" d="M233,-613.5C233,-613.5 238.8,-590.95 243.81,-571.45"/>
<polygon fill="black" stroke="black" points="247.45,-572.36 246.55,-561.8 240.67,-570.62 247.45,-572.36"/>
<path fill="none" stroke="black" d="M250.33,-672.64C246.24,-668.37 243,-665 243,-665 243,-665 233,-615.5 233,-615.5"/>
</g>
<!-- NASALib/polygons -->
<g id="node32" class="node">
<title>NASALib/polygons</title>
<polygon fill="#fcfcd7" stroke="black" points="317.75,-632.5 252.25,-632.5 252.25,-596.5 317.75,-596.5 317.75,-632.5"/>
<text text-anchor="middle" x="285" y="-609.45" font-family="Times,serif" font-size="14.00">polygons</text>
</g>
<!-- NASALib/polygon_merge&#45;&gt;NASALib/polygons -->
<g id="edge163" class="edge">
<title>NASALib/polygon_merge&#45;&gt;NASALib/polygons</title>
<path fill="none" stroke="black" d="M271.17,-672.72C273.27,-664.04 275.87,-653.3 278.24,-643.48"/>
<polygon fill="black" stroke="black" points="281.84,-644.49 280.79,-633.94 275.03,-642.84 281.84,-644.49"/>
</g>
<!-- NASALib/polygon_merge&#45;&gt;NASALib/structures -->
<g id="edge164" class="edge">
<title>NASALib/polygon_merge&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M233,-613.5C233,-613.5 243,-596.5 243,-596.5 243,-596.5 307,-560.5 307,-560.5 307,-560.5 318,-272.5 318,-272.5 318,-272.5 318,-236.5 318,-236.5 318,-236.5 313,-183.5 313,-183.5"/>
</g>
<!-- NASALib/polygon_merge&#45;&gt;lib/finite_sets -->
<g id="edge165" class="edge">
<title>NASALib/polygon_merge&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M317.95,-682.2C347.13,-677.73 378,-673 378,-673 378,-673 2076,-665 2076,-665 2076,-665 2244,-543.5 2244,-543.5 2244,-543.5 2244,-543.5 2244,-253.5 2244,-253.5 1616,-164.5 1616,-164.5 1616,-164.5 893,-92.5 893,-92.5 893,-92.5 100,-84.5 100,-84.5 100,-84.5 88.09,-72.22 76.13,-59.89"/>
<polygon fill="black" stroke="black" points="79.26,-58.06 69.79,-53.31 74.24,-62.93 79.26,-58.06"/>
</g>
<!-- NASALib/polygons&#45;&gt;NASALib/line_segments -->
<g id="edge166" class="edge">
<title>NASALib/polygons&#45;&gt;NASALib/line_segments</title>
<path fill="none" stroke="black" d="M276.6,-596.2C272.81,-588.4 268.25,-579.01 264.03,-570.33"/>
<polygon fill="black" stroke="black" points="266.83,-569.07 259.31,-561.6 260.53,-572.13 266.83,-569.07"/>
</g>
<!-- NASALib/polygons&#45;&gt;NASALib/orders -->
<g id="edge167" class="edge">
<title>NASALib/polygons&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M337,-541.5C337,-541.5 360,-308.5 360,-308.5 360,-308.5 368,-236.5 368,-236.5 368,-236.5 381.58,-222.39 394.72,-208.73"/>
<polygon fill="black" stroke="black" points="396.89,-211.49 401.3,-201.85 391.84,-206.63 396.89,-211.49"/>
<path fill="none" stroke="black" d="M297.85,-596.2C313.25,-575.47 337,-543.5 337,-543.5"/>
</g>
<!-- NASALib/polygons&#45;&gt;NASALib/vectors -->
<g id="edge168" class="edge">
<title>NASALib/polygons&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M337,-541.5C337,-541.5 392,-516.5 392,-516.5 392,-516.5 978,-488.5 978,-488.5 978,-488.5 1000.28,-483.88 1021.62,-479.46"/>
<polygon fill="black" stroke="black" points="1022.16,-482.71 1031.24,-477.26 1020.74,-475.86 1022.16,-482.71"/>
</g>
<!-- NASALib/polygons&#45;&gt;lib/finite_sets -->
<g id="edge169" class="edge">
<title>NASALib/polygons&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M284,-109.5C284,-109.5 100,-84.5 100,-84.5 100,-84.5 88.09,-72.22 76.13,-59.89"/>
<polygon fill="black" stroke="black" points="79.26,-58.06 69.79,-53.31 74.24,-62.93 79.26,-58.06"/>
<path fill="none" stroke="black" d="M136,-541.5C136,-541.5 160,-516.5 160,-516.5 160,-516.5 228,-471.5 228,-471.5"/>
<path fill="none" stroke="black" d="M228,-469.5C228,-469.5 268,-236.5 268,-236.5 268,-236.5 284,-183.5 284,-183.5"/>
<path fill="none" stroke="black" d="M284,-181.5C284,-181.5 284,-111.5 284,-111.5"/>
<path fill="none" stroke="black" d="M251.93,-597.96C208.04,-577.34 136,-543.5 136,-543.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/analysis -->
<g id="edge170" class="edge">
<title>NASALib/power&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M717,-325.5C717,-325.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
<path fill="none" stroke="black" d="M677.15,-452.15C686.19,-436.69 698,-416.5 698,-416.5 698,-416.5 717,-327.5 717,-327.5"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/lnexp -->
<g id="edge171" class="edge">
<title>NASALib/power&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M694.29,-460.4C706.42,-456.36 718,-452.5 718,-452.5 718,-452.5 1404,-416.5 1404,-416.5 1404,-416.5 1426.01,-411.88 1447.09,-407.46"/>
<polygon fill="black" stroke="black" points="1447.51,-410.73 1456.58,-405.26 1446.07,-403.88 1447.51,-410.73"/>
</g>
<!-- NASALib/power&#45;&gt;NASALib/reals -->
<g id="edge172" class="edge">
<title>NASALib/power&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M717,-325.5C717,-325.5 732,-236.5 732,-236.5 732,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
</g>
<!-- NASALib/probability -->
<g id="node34" class="node">
<title>NASALib/probability</title>
<polygon fill="#fcfcd7" stroke="black" points="462.62,-709 387.38,-709 387.38,-673 462.62,-673 462.62,-709"/>
<text text-anchor="middle" x="425" y="-685.95" font-family="Times,serif" font-size="14.00">probability</text>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/analysis -->
<g id="edge173" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M386.98,-673.32C376.52,-668.74 368,-665 368,-665 368,-665 368,-596.5 368,-596.5 368,-596.5 392,-452.5 392,-452.5 392,-452.5 465,-327.5 465,-327.5"/>
<path fill="none" stroke="black" d="M465,-325.5C465,-325.5 520,-308.5 520,-308.5 520,-308.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/measure_integration -->
<g id="edge174" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/measure_integration</title>
<path fill="none" stroke="black" d="M428.48,-672.72C430.23,-664.04 432.39,-653.3 434.37,-643.48"/>
<polygon fill="black" stroke="black" points="437.95,-644.44 436.49,-633.94 431.08,-643.06 437.95,-644.44"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/metric_space -->
<g id="edge175" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/metric_space</title>
<path fill="none" stroke="black" d="M462.99,-675.96C467.75,-674.2 471,-673 471,-673 471,-673 513,-665 513,-665 513,-665 513,-596.5 513,-596.5 513,-596.5 504.7,-583.17 496.43,-569.88"/>
<polygon fill="black" stroke="black" points="499.06,-568.49 490.81,-561.85 493.12,-572.19 499.06,-568.49"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/reals -->
<g id="edge176" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M465,-325.5C465,-325.5 465,-255.5 465,-255.5"/>
<path fill="none" stroke="black" d="M465,-253.5C465,-253.5 480,-236.5 480,-236.5 480,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
</g>
<!-- NASALib/probability&#45;&gt;NASALib/structures -->
<g id="edge177" class="edge">
<title>NASALib/probability&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M465,-253.5C465,-253.5 465,-183.5 465,-183.5"/>
<path fill="none" stroke="black" d="M465,-181.5C465,-181.5 802,-128.5 802,-128.5 802,-128.5 803.27,-128.05 805.41,-127.29"/>
<polygon fill="black" stroke="black" points="806.11,-130.4 814.37,-123.76 803.78,-123.8 806.11,-130.4"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge178" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1029,-109.5C1029,-109.5 939.58,-72.28 887.14,-50.46"/>
<polygon fill="black" stroke="black" points="888.76,-46.93 878.19,-46.31 886.07,-53.39 888.76,-46.93"/>
<path fill="none" stroke="black" d="M930.34,-166.31C967.4,-145.72 1029,-111.5 1029,-111.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge179" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M889.9,-164.2C883.74,-156.06 876.26,-146.19 869.46,-137.2"/>
<polygon fill="black" stroke="black" points="871.78,-135.46 862.95,-129.6 866.2,-139.69 871.78,-135.46"/>
</g>
<!-- NASALib/scott -->
<g id="node36" class="node">
<title>NASALib/scott</title>
<polygon fill="#fcfcd7" stroke="black" points="166,-632.5 112,-632.5 112,-596.5 166,-596.5 166,-632.5"/>
<text text-anchor="middle" x="139" y="-609.45" font-family="Times,serif" font-size="14.00">scott</text>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/algebra -->
<g id="edge180" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/algebra</title>
<path fill="none" stroke="black" d="M166.19,-608.31C192.36,-603.31 228,-596.5 228,-596.5 228,-596.5 1372,-560.5 1372,-560.5 1372,-560.5 1380.31,-558.02 1390.59,-554.96"/>
<polygon fill="black" stroke="black" points="1391.25,-558.11 1399.83,-551.9 1389.25,-551.4 1391.25,-558.11"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/orders -->
<g id="edge181" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M273,-253.5C273,-253.5 288,-236.5 288,-236.5 288,-236.5 342.88,-214.3 381.6,-198.63"/>
<polygon fill="black" stroke="black" points="382.58,-201.61 390.54,-194.61 379.96,-195.12 382.58,-201.61"/>
</g>
<!-- NASALib/scott&#45;&gt;NASALib/structures -->
<g id="edge182" class="edge">
<title>NASALib/scott&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M273,-253.5C273,-253.5 313,-183.5 313,-183.5"/>
<path fill="none" stroke="black" d="M147.22,-596.16C160.46,-568.26 185,-516.5 185,-516.5 185,-516.5 242,-488.5 242,-488.5 242,-488.5 273,-255.5 273,-255.5"/>
<path fill="none" stroke="black" d="M313,-181.5C313,-181.5 383,-164.5 383,-164.5 383,-164.5 802,-128.5 802,-128.5 802,-128.5 803.27,-128.05 805.41,-127.29"/>
<polygon fill="black" stroke="black" points="806.11,-130.4 814.37,-123.76 803.78,-123.8 806.11,-130.4"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/analysis -->
<g id="edge183" class="edge">
<title>NASALib/series&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M638.12,-314.26C645.74,-311.09 652,-308.5 652,-308.5 652,-308.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/ints -->
<g id="edge184" class="edge">
<title>NASALib/series&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M637,-253.5C637,-253.5 652,-236.5 652,-236.5 652,-236.5 732,-164.5 732,-164.5 732,-164.5 797,-111.5 797,-111.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/orders -->
<g id="edge185" class="edge">
<title>NASALib/series&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M637,-253.5C637,-253.5 460,-200.5 460,-200.5 460,-200.5 458.44,-199.85 455.92,-198.81"/>
<polygon fill="black" stroke="black" points="457.7,-195.34 447.12,-194.74 455.02,-201.81 457.7,-195.34"/>
<path fill="none" stroke="black" d="M617.43,-308.2C625.13,-287.47 637,-255.5 637,-255.5"/>
</g>
<!-- NASALib/series&#45;&gt;NASALib/reals -->
<g id="edge186" class="edge">
<title>NASALib/series&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M637,-253.5C637,-253.5 652,-236.5 652,-236.5 652,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/reals -->
<g id="edge187" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M897,-253.5C897,-253.5 898.91,-231.16 900.58,-211.72"/>
<polygon fill="black" stroke="black" points="904.15,-212.07 901.52,-201.8 897.18,-211.47 904.15,-212.07"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/structures -->
<g id="edge188" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M897,-253.5C897,-253.5 857,-183.5 857,-183.5"/>
<path fill="none" stroke="black" d="M978.27,-524.2C976.2,-503.47 973,-471.5 973,-471.5"/>
<path fill="none" stroke="black" d="M973,-469.5C973,-469.5 958,-452.5 958,-452.5 958,-452.5 912,-416.5 912,-416.5 912,-416.5 897,-255.5 897,-255.5"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/trig -->
<g id="edge189" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M973,-469.5C973,-469.5 1068.78,-433.84 1123.61,-413.42"/>
<polygon fill="black" stroke="black" points="1124.51,-416.45 1132.66,-409.68 1122.07,-409.89 1124.51,-416.45"/>
</g>
<!-- NASALib/shapes&#45;&gt;NASALib/vectors -->
<g id="edge190" class="edge">
<title>NASALib/shapes&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M999.78,-524.2C1009.49,-515.7 1021.36,-505.31 1031.98,-496.01"/>
<polygon fill="black" stroke="black" points="1033.95,-498.07 1039.17,-488.85 1029.34,-492.8 1033.95,-498.07"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/analysis -->
<g id="edge191" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M657,-325.5C657,-325.5 672,-308.5 672,-308.5 672,-308.5 942,-272.5 942,-272.5 942,-272.5 952.76,-269.64 965.45,-266.27"/>
<polygon fill="black" stroke="black" points="966.11,-269.45 974.87,-263.5 964.31,-262.69 966.11,-269.45"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/orders -->
<g id="edge192" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M657,-253.5C657,-253.5 642,-236.5 642,-236.5 642,-236.5 460,-200.5 460,-200.5 460,-200.5 458.44,-199.85 455.92,-198.81"/>
<polygon fill="black" stroke="black" points="457.7,-195.34 447.12,-194.74 455.02,-201.81 457.7,-195.34"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/reals -->
<g id="edge193" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M657,-253.5C657,-253.5 712,-236.5 712,-236.5 712,-236.5 862,-200.5 862,-200.5 862,-200.5 863.56,-199.85 866.08,-198.81"/>
<polygon fill="black" stroke="black" points="866.98,-201.81 874.88,-194.74 864.3,-195.34 866.98,-201.81"/>
<path fill="none" stroke="black" d="M657,-325.5C657,-325.5 657,-255.5 657,-255.5"/>
<path fill="none" stroke="black" d="M628.39,-380.2C639.65,-359.47 657,-327.5 657,-327.5"/>
</g>
<!-- NASALib/sigma_set&#45;&gt;NASALib/series -->
<g id="edge194" class="edge">
<title>NASALib/sigma_set&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M617.02,-380.2C616.17,-372.74 615.15,-363.82 614.2,-355.47"/>
<polygon fill="black" stroke="black" points="617.57,-355.14 612.95,-345.6 610.61,-355.94 617.57,-355.14"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge195" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M850,-92.22C850,-83.63 850,-73.03 850,-63.3"/>
<polygon fill="black" stroke="black" points="853.5,-63.44 850,-53.44 846.5,-63.44 853.5,-63.44"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge196" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M815.33,-108.34C667.83,-103.43 100,-84.5 100,-84.5 100,-84.5 88.09,-72.22 76.13,-59.89"/>
<polygon fill="black" stroke="black" points="79.26,-58.06 69.79,-53.31 74.24,-62.93 79.26,-58.06"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/analysis -->
<g id="edge197" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1135,-325.5C1135,-325.5 1083.48,-297.54 1045.55,-276.96"/>
<polygon fill="black" stroke="black" points="1047.7,-273.61 1037.24,-271.91 1044.36,-279.76 1047.7,-273.61"/>
<path fill="none" stroke="black" d="M1154.57,-380.2C1146.87,-359.47 1135,-327.5 1135,-327.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/ints -->
<g id="edge198" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M1135,-253.5C1135,-253.5 1120,-236.5 1120,-236.5 1120,-236.5 1064,-200.5 1064,-200.5 1064,-200.5 1029,-111.5 1029,-111.5"/>
<path fill="none" stroke="black" d="M1135,-325.5C1135,-325.5 1135,-255.5 1135,-255.5"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/reals -->
<g id="edge199" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1135,-253.5C1135,-253.5 1120,-236.5 1120,-236.5 1120,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
</g>
<!-- NASALib/trig&#45;&gt;NASALib/series -->
<g id="edge200" class="edge">
<title>NASALib/trig&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M1133.63,-394.65C1027.91,-383.64 652,-344.5 652,-344.5 652,-344.5 650.44,-343.85 647.92,-342.81"/>
<polygon fill="black" stroke="black" points="649.7,-339.34 639.12,-338.74 647.02,-345.81 649.7,-339.34"/>
</g>
<!-- NASALib/vect_analysis&#45;&gt;NASALib/analysis -->
<g id="edge201" class="edge">
<title>NASALib/vect_analysis&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M1278.4,-524C1268.65,-519.8 1261,-516.5 1261,-516.5 1261,-516.5 1182,-488.5 1182,-488.5 1182,-488.5 1152,-452.5 1152,-452.5 1152,-452.5 1090,-416.5 1090,-416.5 1090,-416.5 1075,-327.5 1075,-327.5"/>
<path fill="none" stroke="black" d="M1075,-325.5C1075,-325.5 1060,-308.5 1060,-308.5 1060,-308.5 1045.36,-294.13 1031.32,-280.35"/>
<polygon fill="black" stroke="black" points="1034.27,-278.36 1024.68,-273.85 1029.37,-283.36 1034.27,-278.36"/>
</g>
<!-- NASALib/vect_analysis&#45;&gt;NASALib/reals -->
<g id="edge202" class="edge">
<title>NASALib/vect_analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1095,-253.5C1095,-253.5 1080,-236.5 1080,-236.5 1080,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
<path fill="none" stroke="black" d="M1075,-325.5C1075,-325.5 1095,-255.5 1095,-255.5"/>
</g>
<!-- NASALib/vect_analysis&#45;&gt;NASALib/vectors -->
<g id="edge203" class="edge">
<title>NASALib/vect_analysis&#45;&gt;NASALib/vectors</title>
<path fill="none" stroke="black" d="M1274.43,-526.24C1259.23,-521.03 1246,-516.5 1246,-516.5 1246,-516.5 1152.99,-494 1098.51,-480.82"/>
<polygon fill="black" stroke="black" points="1099.39,-477.19 1088.85,-478.24 1097.74,-483.99 1099.39,-477.19"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/reals -->
<g id="edge204" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1050.18,-452.15C1041.43,-436.69 1030,-416.5 1030,-416.5 1030,-416.5 1015,-327.5 1015,-327.5"/>
<path fill="none" stroke="black" d="M1015,-325.5C1015,-325.5 967,-272.5 967,-272.5 967,-272.5 942,-236.5 942,-236.5 942,-236.5 932,-222.91 922.13,-209.5"/>
<polygon fill="black" stroke="black" points="924.52,-207.83 915.77,-201.85 918.88,-211.98 924.52,-207.83"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/structures -->
<g id="edge205" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1015,-325.5C1015,-325.5 1045,-272.5 1045,-272.5 1045,-272.5 1045,-236.5 1045,-236.5 1045,-236.5 949,-183.5 949,-183.5"/>
</g>
<!-- NASALib/vectors&#45;&gt;NASALib/trig -->
<g id="edge206" class="edge">
<title>NASALib/vectors&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1085.23,-452.02C1097.98,-443.18 1113.62,-432.34 1127.38,-422.8"/>
<polygon fill="black" stroke="black" points="1128.87,-425.33 1135.1,-416.76 1124.88,-419.58 1128.87,-425.33"/>
</g>
<!-- NASALib/while -->
<g id="node44" class="node">
<title>NASALib/while</title>
<polygon fill="#fcfcd7" stroke="black" points="182,-709 128,-709 128,-673 182,-673 182,-709"/>
<text text-anchor="middle" x="155" y="-685.95" font-family="Times,serif" font-size="14.00">while</text>
</g>
<!-- NASALib/while&#45;&gt;NASALib/orders -->
<g id="edge207" class="edge">
<title>NASALib/while&#45;&gt;NASALib/orders</title>
<path fill="none" stroke="black" d="M168.89,-672.64C172.3,-668.37 175,-665 175,-665 175,-665 195,-516.5 195,-516.5 195,-516.5 262,-488.5 262,-488.5 262,-488.5 308,-236.5 308,-236.5 308,-236.5 349.63,-216.62 381.9,-201.21"/>
<polygon fill="black" stroke="black" points="383.05,-204.07 390.56,-196.6 380.03,-197.75 383.05,-204.07"/>
</g>
<!-- NASALib/while&#45;&gt;NASALib/scott -->
<g id="edge208" class="edge">
<title>NASALib/while&#45;&gt;NASALib/scott</title>
<path fill="none" stroke="black" d="M151.29,-672.72C149.42,-664.04 147.12,-653.3 145.01,-643.48"/>
<polygon fill="black" stroke="black" points="148.27,-642.99 142.75,-633.94 141.42,-644.46 148.27,-642.99"/>
</g>
<!-- float/axm_bnd -->
<g id="node45" class="node">
<title>float/axm_bnd</title>
<polygon fill="#fcfcd7" stroke="black" points="1984.5,-560.5 1917.5,-560.5 1917.5,-524.5 1984.5,-524.5 1984.5,-560.5"/>
<text text-anchor="middle" x="1951" y="-537.45" font-family="Times,serif" font-size="14.00">axm_bnd</text>
</g>
<!-- float/axm_bnd&#45;&gt;NASALib/power -->
<g id="edge209" class="edge">
<title>float/axm_bnd&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M1917.4,-524C1909.33,-519.8 1903,-516.5 1903,-516.5 1903,-516.5 718,-488.5 718,-488.5 718,-488.5 712.27,-486.59 704.66,-484.05"/>
<polygon fill="black" stroke="black" points="705.89,-480.44 695.29,-480.6 703.67,-487.08 705.89,-480.44"/>
</g>
<!-- float/axm_bnd&#45;&gt;NASALib/reals -->
<g id="edge210" class="edge">
<title>float/axm_bnd&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1980.86,-524.14C1988.2,-519.87 1994,-516.5 1994,-516.5 1994,-516.5 2092,-471.5 2092,-471.5"/>
<path fill="none" stroke="black" d="M2092,-469.5C2092,-469.5 2058,-308.5 2058,-308.5 2058,-308.5 2044,-255.5 2044,-255.5"/>
</g>
<!-- float/axm_bnd&#45;&gt;NASALib/trig -->
<g id="edge211" class="edge">
<title>float/axm_bnd&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1941.75,-524.34C1927.8,-498.48 1903,-452.5 1903,-452.5 1903,-452.5 1394,-416.5 1394,-416.5 1394,-416.5 1265,-407.09 1198.97,-402.27"/>
<polygon fill="black" stroke="black" points="1199.41,-398.72 1189.18,-401.48 1198.9,-405.7 1199.41,-398.72"/>
</g>
<!-- float/fnd_bnd -->
<g id="node46" class="node">
<title>float/fnd_bnd</title>
<polygon fill="#fcfcd7" stroke="black" points="1983.5,-632.5 1922.5,-632.5 1922.5,-596.5 1983.5,-596.5 1983.5,-632.5"/>
<text text-anchor="middle" x="1953" y="-609.45" font-family="Times,serif" font-size="14.00">fnd_bnd</text>
</g>
<!-- float/fnd_bnd&#45;&gt;NASALib/power -->
<g id="edge212" class="edge">
<title>float/fnd_bnd&#45;&gt;NASALib/power</title>
<path fill="none" stroke="black" d="M1889,-541.5C1889,-541.5 1790,-516.5 1790,-516.5 1790,-516.5 718,-488.5 718,-488.5 718,-488.5 712.27,-486.59 704.66,-484.05"/>
<polygon fill="black" stroke="black" points="705.89,-480.44 695.29,-480.6 703.67,-487.08 705.89,-480.44"/>
<path fill="none" stroke="black" d="M1937.18,-596.2C1918.23,-575.47 1889,-543.5 1889,-543.5"/>
</g>
<!-- float/fnd_bnd&#45;&gt;NASALib/reals -->
<g id="edge213" class="edge">
<title>float/fnd_bnd&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M1983.9,-599.85C2019.46,-584.15 2073,-560.5 2073,-560.5 2073,-560.5 2168,-471.5 2168,-471.5 2168,-471.5 2168,-471.5 2168,-325.5 2168,-325.5 2058,-236.5 2058,-236.5 2058,-236.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
</g>
<!-- float/fnd_bnd&#45;&gt;NASALib/trig -->
<g id="edge214" class="edge">
<title>float/fnd_bnd&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1889,-541.5C1889,-541.5 1845,-516.5 1845,-516.5 1845,-516.5 1616,-452.5 1616,-452.5 1616,-452.5 1308.93,-416.73 1199.31,-403.96"/>
<polygon fill="black" stroke="black" points="1199.78,-400.38 1189.44,-402.7 1198.97,-407.33 1199.78,-400.38"/>
</g>
<!-- float/fnd_bnd&#45;&gt;float/axm_bnd -->
<g id="edge215" class="edge">
<title>float/fnd_bnd&#45;&gt;float/axm_bnd</title>
<path fill="none" stroke="black" d="M1952.51,-596.2C1952.29,-588.74 1952.04,-579.82 1951.8,-571.47"/>
<polygon fill="black" stroke="black" points="1955.27,-571.5 1951.49,-561.6 1948.28,-571.7 1955.27,-571.5"/>
</g>
<!-- float/fnd_unb -->
<g id="node47" class="node">
<title>float/fnd_unb</title>
<polygon fill="#fcfcd7" stroke="black" points="2063.5,-560.5 2002.5,-560.5 2002.5,-524.5 2063.5,-524.5 2063.5,-560.5"/>
<text text-anchor="middle" x="2033" 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="edge216" class="edge">
<title>float/fnd_bnd&#45;&gt;float/fnd_unb</title>
<path fill="none" stroke="black" d="M1972.78,-596.2C1982.49,-587.7 1994.36,-577.31 2004.98,-568.01"/>
<polygon fill="black" stroke="black" points="2006.95,-570.07 2012.17,-560.85 2002.34,-564.8 2006.95,-570.07"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/analysis -->
<g id="edge217" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M2044,-325.5C2044,-325.5 1070,-272.5 1070,-272.5 1070,-272.5 1059.24,-269.64 1046.55,-266.27"/>
<polygon fill="black" stroke="black" points="1047.69,-262.69 1037.13,-263.5 1045.89,-269.45 1047.69,-262.69"/>
<path fill="none" stroke="black" d="M2033.88,-524.35C2036.49,-473.57 2044,-327.5 2044,-327.5"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/interval_arith -->
<g id="edge218" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/interval_arith</title>
<path fill="none" stroke="black" d="M2005.91,-524.14C1999.26,-519.87 1994,-516.5 1994,-516.5 1994,-516.5 1383,-488.5 1383,-488.5 1383,-488.5 1375.4,-486.73 1365.1,-484.33"/>
<polygon fill="black" stroke="black" points="1366.1,-480.74 1355.57,-481.88 1364.51,-487.56 1366.1,-480.74"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/lnexp -->
<g id="edge219" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M1927,-469.5C1927,-469.5 1903,-452.5 1903,-452.5 1903,-452.5 1626.54,-417.45 1523.28,-404.35"/>
<polygon fill="black" stroke="black" points="1523.79,-400.76 1513.43,-402.98 1522.91,-407.71 1523.79,-400.76"/>
<path fill="none" stroke="black" d="M2006.53,-524.02C1975.13,-503.28 1927,-471.5 1927,-471.5"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/reals -->
<g id="edge220" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M2044,-253.5C2044,-253.5 944,-200.5 944,-200.5 944,-200.5 942.44,-199.85 939.92,-198.81"/>
<polygon fill="black" stroke="black" points="941.7,-195.34 931.12,-194.74 939.02,-201.81 941.7,-195.34"/>
<path fill="none" stroke="black" d="M2044,-325.5C2044,-325.5 2044,-255.5 2044,-255.5"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/structures -->
<g id="edge221" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M2056.9,-524.15C2078.19,-508.69 2106,-488.5 2106,-488.5 2106,-488.5 2106,-452.5 2106,-452.5 2106,-452.5 2091,-380.5 2091,-380.5 2091,-380.5 2075,-308.5 2075,-308.5 2075,-308.5 2058,-236.5 2058,-236.5 2058,-236.5 1611,-183.5 1611,-183.5"/>
</g>
<!-- float/fnd_unb&#45;&gt;NASALib/trig -->
<g id="edge222" class="edge">
<title>float/fnd_unb&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M1927,-469.5C1927,-469.5 1903,-452.5 1903,-452.5 1903,-452.5 1394,-416.5 1394,-416.5 1394,-416.5 1265,-407.09 1198.97,-402.27"/>
<polygon fill="black" stroke="black" points="1199.41,-398.72 1189.18,-401.48 1198.9,-405.7 1199.41,-398.72"/>
</g>
<!-- float/ieee854 -->
<g id="node48" class="node">
<title>float/ieee854</title>
<polygon fill="#fcfcd7" stroke="black" points="2062,-632.5 2004,-632.5 2004,-596.5 2062,-596.5 2062,-632.5"/>
<text text-anchor="middle" x="2033" y="-609.45" font-family="Times,serif" font-size="14.00">ieee854</text>
</g>
<!-- float/ieee854&#45;&gt;NASALib/ints -->
<g id="edge223" class="edge">
<title>float/ieee854&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M2057.89,-596.15C2080.05,-580.69 2109,-560.5 2109,-560.5 2109,-560.5 2206,-471.5 2206,-471.5 2206,-471.5 2206,-471.5 2206,-181.5 2206,-181.5 1107.93,-62.87 888.06,-39.11"/>
<polygon fill="black" stroke="black" points="888.71,-35.55 878.39,-37.96 887.96,-42.51 888.71,-35.55"/>
</g>
<!-- float/ieee854&#45;&gt;NASALib/reals -->
<g id="edge224" class="edge">
<title>float/ieee854&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M2047.08,-596.15C2059.62,-580.69 2076,-560.5 2076,-560.5 2076,-560.5 2092,-471.5 2092,-471.5"/>
</g>
<!-- float/ieee854&#45;&gt;float/fnd_unb -->
<g id="edge225" class="edge">
<title>float/ieee854&#45;&gt;float/fnd_unb</title>
<path fill="none" stroke="black" d="M2033,-596.2C2033,-588.74 2033,-579.82 2033,-571.47"/>
<polygon fill="black" stroke="black" points="2036.5,-571.6 2033,-561.6 2029.5,-571.6 2036.5,-571.6"/>
</g>
</g>
</svg>