mult_poly/mult_poly-zoomed.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: mult_poly&#45;zoomed Pages: 1 -->
<svg width="1104pt" height="689pt"
 viewBox="0.00 0.00 1104.00 689.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 685)">
<title>mult_poly&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-685 1100,-685 1100,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="486,-8 486,-84.5 1088,-84.5 1088,-8 486,-8"/>
<text text-anchor="middle" x="787" y="-67.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/mult_poly</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-673 900,-673 900,-92.5 8,-92.5"/>
<text text-anchor="middle" x="454" y="-655.7" font-family="Times,serif" font-size="14.00">NASALib/mult_poly</text>
</g>
<!-- NASALib/analysis -->
<g id="node1" class="node">
<title>NASALib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="863.75,-52 804.25,-52 804.25,-16 863.75,-16 863.75,-52"/>
<text text-anchor="middle" x="834" y="-28.95" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- NASALib/lnexp -->
<g id="node2" class="node">
<title>NASALib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="1080,-52 1026,-52 1026,-16 1080,-16 1080,-52"/>
<text text-anchor="middle" x="1053" y="-28.95" font-family="Times,serif" font-size="14.00">lnexp</text>
</g>
<!-- NASALib/matrices -->
<g id="node3" class="node">
<title>NASALib/matrices</title>
<polygon fill="#fcfcd7" stroke="black" points="786.25,-52 723.75,-52 723.75,-16 786.25,-16 786.25,-52"/>
<text text-anchor="middle" x="755" y="-28.95" font-family="Times,serif" font-size="14.00">matrices</text>
</g>
<!-- NASALib/mult_poly@analytic_def -->
<g id="node4" class="node">
<title>NASALib/mult_poly@analytic_def</title>
<ellipse fill="#e6f3ff" stroke="black" cx="603" cy="-478.5" rx="56.47" ry="18"/>
<text text-anchor="middle" x="603" y="-473.45" font-family="Times,serif" font-size="14.00">analytic_def</text>
</g>
<!-- NASALib/mult_poly@analytic_def&#45;&gt;NASALib/analysis -->
<g id="edge1" class="edge">
<title>NASALib/mult_poly@analytic_def&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M631.97,-462.74C662.74,-447.05 707,-424.5 707,-424.5 707,-424.5 755,-119.5 755,-119.5"/>
<path fill="none" stroke="black" d="M755,-117.5C755,-117.5 795,-84.5 795,-84.5 795,-84.5 804.14,-72.9 813.57,-60.93"/>
<polygon fill="black" stroke="black" points="816.92,-63.33 820.36,-53.31 811.42,-59 816.92,-63.33"/>
</g>
<!-- NASALib/mult_poly@analytic_def&#45;&gt;NASALib/matrices -->
<g id="edge2" class="edge">
<title>NASALib/mult_poly@analytic_def&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M755,-117.5C755,-117.5 755,-87.1 755,-63.21"/>
<polygon fill="black" stroke="black" points="758.5,-63.5 755,-53.5 751.5,-63.5 758.5,-63.5"/>
</g>
<!-- NASALib/mult_poly@continuous_ball_props -->
<g id="node7" class="node">
<title>NASALib/mult_poly@continuous_ball_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="603" cy="-406.5" rx="94.86" ry="18"/>
<text text-anchor="middle" x="603" y="-401.45" font-family="Times,serif" font-size="14.00">continuous_ball_props</text>
</g>
<!-- NASALib/mult_poly@analytic_def&#45;&gt;NASALib/mult_poly@continuous_ball_props -->
<g id="edge3" class="edge">
<title>NASALib/mult_poly@analytic_def&#45;&gt;NASALib/mult_poly@continuous_ball_props</title>
<path fill="none" stroke="black" d="M603,-460.2C603,-452.74 603,-443.82 603,-435.47"/>
<polygon fill="black" stroke="black" points="606.5,-435.6 603,-425.6 599.5,-435.6 606.5,-435.6"/>
</g>
<!-- NASALib/reals -->
<g id="node24" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="706,-52 652,-52 652,-16 706,-16 706,-52"/>
<text text-anchor="middle" x="679" y="-28.95" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/mult_poly@analytic_def&#45;&gt;NASALib/reals -->
<g id="edge4" class="edge">
<title>NASALib/mult_poly@analytic_def&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M755,-117.5C755,-117.5 715,-84.5 715,-84.5 715,-84.5 706.56,-72.9 697.86,-60.93"/>
<polygon fill="black" stroke="black" points="700.3,-59.34 691.59,-53.31 694.64,-63.46 700.3,-59.34"/>
</g>
<!-- NASALib/series -->
<g id="node25" class="node">
<title>NASALib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="936,-52 882,-52 882,-16 936,-16 936,-52"/>
<text text-anchor="middle" x="909" y="-28.95" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- NASALib/mult_poly@analytic_def&#45;&gt;NASALib/series -->
<g id="edge5" class="edge">
<title>NASALib/mult_poly@analytic_def&#45;&gt;NASALib/series</title>
<path fill="none" stroke="black" d="M755,-117.5C755,-117.5 873,-84.5 873,-84.5 873,-84.5 881.44,-72.9 890.14,-60.93"/>
<polygon fill="black" stroke="black" points="893.36,-63.46 896.41,-53.31 887.7,-59.34 893.36,-63.46"/>
</g>
<!-- NASALib/mult_poly@arithmetic_MultPoly -->
<g id="node5" class="node">
<title>NASALib/mult_poly@arithmetic_MultPoly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="490" cy="-262.5" rx="88.71" ry="18"/>
<text text-anchor="middle" x="490" y="-257.45" font-family="Times,serif" font-size="14.00">arithmetic_MultPoly</text>
</g>
<!-- NASALib/mult_poly@standard_form_mult_poly -->
<g id="node21" class="node">
<title>NASALib/mult_poly@standard_form_mult_poly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="255" cy="-190.5" rx="108.16" ry="18"/>
<text text-anchor="middle" x="255" y="-185.45" font-family="Times,serif" font-size="14.00">standard_form_mult_poly</text>
</g>
<!-- NASALib/mult_poly@arithmetic_MultPoly&#45;&gt;NASALib/mult_poly@standard_form_mult_poly -->
<g id="edge6" class="edge">
<title>NASALib/mult_poly@arithmetic_MultPoly&#45;&gt;NASALib/mult_poly@standard_form_mult_poly</title>
<path fill="none" stroke="black" d="M441.59,-247.08C405.33,-236.28 355.45,-221.42 316.39,-209.79"/>
<polygon fill="black" stroke="black" points="317.77,-206.25 307.19,-206.75 315.78,-212.96 317.77,-206.25"/>
</g>
<!-- NASALib/mult_poly@arithmetic_poly -->
<g id="node6" class="node">
<title>NASALib/mult_poly@arithmetic_poly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="86" cy="-406.5" rx="69.78" ry="18"/>
<text text-anchor="middle" x="86" y="-401.45" font-family="Times,serif" font-size="14.00">arithmetic_poly</text>
</g>
<!-- NASALib/mult_poly@eval_poly -->
<g id="node10" class="node">
<title>NASALib/mult_poly@eval_poly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="101" cy="-262.5" rx="47.26" ry="18"/>
<text text-anchor="middle" x="101" y="-257.45" font-family="Times,serif" font-size="14.00">eval_poly</text>
</g>
<!-- NASALib/mult_poly@arithmetic_poly&#45;&gt;NASALib/mult_poly@eval_poly -->
<g id="edge7" class="edge">
<title>NASALib/mult_poly@arithmetic_poly&#45;&gt;NASALib/mult_poly@eval_poly</title>
<path fill="none" stroke="black" d="M87.84,-388.09C90.38,-364 95,-320.25 98.04,-291.53"/>
<polygon fill="black" stroke="black" points="101.62,-291.92 99.19,-281.61 94.66,-291.19 101.62,-291.92"/>
</g>
<!-- NASALib/mult_poly@continuous_ball_props&#45;&gt;NASALib/analysis -->
<g id="edge8" class="edge">
<title>NASALib/mult_poly@continuous_ball_props&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M615.79,-388.37C643.98,-350.6 709,-263.5 709,-263.5 709,-263.5 709,-263.5 709,-189.5 709,-189.5 741,-92.5 741,-92.5 741,-92.5 795,-84.5 795,-84.5 795,-84.5 804.14,-72.9 813.57,-60.93"/>
<polygon fill="black" stroke="black" points="816.92,-63.33 820.36,-53.31 811.42,-59 816.92,-63.33"/>
</g>
<!-- NASALib/mult_poly@dimension_induction -->
<g id="node8" class="node">
<title>NASALib/mult_poly@dimension_induction</title>
<ellipse fill="#e6f3ff" stroke="black" cx="264" cy="-550.5" rx="89.23" ry="18"/>
<text text-anchor="middle" x="264" y="-545.45" font-family="Times,serif" font-size="14.00">dimension_induction</text>
</g>
<!-- NASALib/mult_poly@polyplus_props -->
<g id="node17" class="node">
<title>NASALib/mult_poly@polyplus_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="86" cy="-478.5" rx="67.73" ry="18"/>
<text text-anchor="middle" x="86" y="-473.45" font-family="Times,serif" font-size="14.00">polyplus_props</text>
</g>
<!-- NASALib/mult_poly@dimension_induction&#45;&gt;NASALib/mult_poly@polyplus_props -->
<g id="edge9" class="edge">
<title>NASALib/mult_poly@dimension_induction&#45;&gt;NASALib/mult_poly@polyplus_props</title>
<path fill="none" stroke="black" d="M224.5,-533.96C197.49,-523.35 161.58,-509.22 133.09,-498.02"/>
<polygon fill="black" stroke="black" points="134.55,-494.44 123.96,-494.04 131.99,-500.95 134.55,-494.44"/>
</g>
<!-- NASALib/mult_poly@standard_form_extras -->
<g id="node20" class="node">
<title>NASALib/mult_poly@standard_form_extras</title>
<ellipse fill="#e6f3ff" stroke="black" cx="264" cy="-478.5" rx="91.78" ry="18"/>
<text text-anchor="middle" x="264" y="-473.45" font-family="Times,serif" font-size="14.00">standard_form_extras</text>
</g>
<!-- NASALib/mult_poly@dimension_induction&#45;&gt;NASALib/mult_poly@standard_form_extras -->
<g id="edge10" class="edge">
<title>NASALib/mult_poly@dimension_induction&#45;&gt;NASALib/mult_poly@standard_form_extras</title>
<path fill="none" stroke="black" d="M264,-532.2C264,-524.74 264,-515.82 264,-507.47"/>
<polygon fill="black" stroke="black" points="267.5,-507.6 264,-497.6 260.5,-507.6 267.5,-507.6"/>
</g>
<!-- NASALib/mult_poly@eval_MultPoly -->
<g id="node9" class="node">
<title>NASALib/mult_poly@eval_MultPoly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="469" cy="-334.5" rx="66.19" ry="18"/>
<text text-anchor="middle" x="469" y="-329.45" font-family="Times,serif" font-size="14.00">eval_MultPoly</text>
</g>
<!-- NASALib/mult_poly@eval_MultPoly&#45;&gt;NASALib/matrices -->
<g id="edge11" class="edge">
<title>NASALib/mult_poly@eval_MultPoly&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M508.54,-319.71C553.58,-304.01 621,-280.5 621,-280.5 621,-280.5 695,-92.5 695,-92.5 695,-92.5 715,-84.5 715,-84.5 715,-84.5 724.56,-72.67 734.33,-60.58"/>
<polygon fill="black" stroke="black" points="737.45,-63.29 741.01,-53.31 732,-58.89 737.45,-63.29"/>
</g>
<!-- NASALib/mult_poly@eval_MultPoly&#45;&gt;NASALib/mult_poly@arithmetic_MultPoly -->
<g id="edge12" class="edge">
<title>NASALib/mult_poly@eval_MultPoly&#45;&gt;NASALib/mult_poly@arithmetic_MultPoly</title>
<path fill="none" stroke="black" d="M474.19,-316.2C476.48,-308.57 479.23,-299.42 481.78,-290.9"/>
<polygon fill="black" stroke="black" points="485.35,-292.19 484.87,-281.6 478.64,-290.18 485.35,-292.19"/>
</g>
<!-- NASALib/mult_poly@standard_form_poly -->
<g id="node22" class="node">
<title>NASALib/mult_poly@standard_form_poly</title>
<ellipse fill="#e6f3ff" stroke="black" cx="221" cy="-118.5" rx="86.15" ry="18"/>
<text text-anchor="middle" x="221" y="-113.45" font-family="Times,serif" font-size="14.00">standard_form_poly</text>
</g>
<!-- NASALib/mult_poly@eval_poly&#45;&gt;NASALib/mult_poly@standard_form_poly -->
<g id="edge13" class="edge">
<title>NASALib/mult_poly@eval_poly&#45;&gt;NASALib/mult_poly@standard_form_poly</title>
<path fill="none" stroke="black" d="M108.13,-244.34C118.89,-218.48 138,-172.5 138,-172.5 138,-172.5 163.36,-156.31 186.04,-141.82"/>
<polygon fill="black" stroke="black" points="187.65,-144.31 194.19,-135.98 183.88,-138.41 187.65,-144.31"/>
</g>
<!-- NASALib/mult_poly@eval_properties -->
<g id="node11" class="node">
<title>NASALib/mult_poly@eval_properties</title>
<ellipse fill="#e6f3ff" stroke="black" cx="382" cy="-406.5" rx="67.73" ry="18"/>
<text text-anchor="middle" x="382" y="-401.45" font-family="Times,serif" font-size="14.00">eval_properties</text>
</g>
<!-- NASALib/mult_poly@eval_properties&#45;&gt;NASALib/mult_poly@eval_MultPoly -->
<g id="edge14" class="edge">
<title>NASALib/mult_poly@eval_properties&#45;&gt;NASALib/mult_poly@eval_MultPoly</title>
<path fill="none" stroke="black" d="M402.62,-388.91C413.78,-379.93 427.75,-368.69 439.99,-358.84"/>
<polygon fill="black" stroke="black" points="441.93,-360.97 447.53,-351.97 437.54,-355.51 441.93,-360.97"/>
</g>
<!-- NASALib/mult_poly@list_lemmas -->
<g id="node12" class="node">
<title>NASALib/mult_poly@list_lemmas</title>
<ellipse fill="#e6f3ff" stroke="black" cx="382" cy="-118.5" rx="56.47" ry="18"/>
<text text-anchor="middle" x="382" y="-113.45" font-family="Times,serif" font-size="14.00">list_lemmas</text>
</g>
<!-- NASALib/mult_poly@eval_properties&#45;&gt;NASALib/mult_poly@list_lemmas -->
<g id="edge15" class="edge">
<title>NASALib/mult_poly@eval_properties&#45;&gt;NASALib/mult_poly@list_lemmas</title>
<path fill="none" stroke="black" d="M382,-388.04C382,-340.06 382,-205.89 382,-147.38"/>
<polygon fill="black" stroke="black" points="385.5,-147.73 382,-137.73 378.5,-147.73 385.5,-147.73"/>
</g>
<!-- NASALib/structures -->
<g id="node27" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="562.25,-52 493.75,-52 493.75,-16 562.25,-16 562.25,-52"/>
<text text-anchor="middle" x="528" y="-28.95" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/mult_poly@list_lemmas&#45;&gt;NASALib/structures -->
<g id="edge16" class="edge">
<title>NASALib/mult_poly@list_lemmas&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M408.78,-102.37C430.9,-89.87 462.63,-71.94 487.8,-57.72"/>
<polygon fill="black" stroke="black" points="489.11,-60.43 496.09,-52.47 485.66,-54.34 489.11,-60.43"/>
</g>
<!-- NASALib/mult_poly@map_perm -->
<g id="node13" class="node">
<title>NASALib/mult_poly@map_perm</title>
<ellipse fill="#e6f3ff" stroke="black" cx="225" cy="-406.5" rx="51.35" ry="18"/>
<text text-anchor="middle" x="225" y="-401.45" font-family="Times,serif" font-size="14.00">map_perm</text>
</g>
<!-- NASALib/mult_poly@perm_props -->
<g id="node15" class="node">
<title>NASALib/mult_poly@perm_props</title>
<ellipse fill="#e6f3ff" stroke="black" cx="221" cy="-334.5" rx="55.45" ry="18"/>
<text text-anchor="middle" x="221" y="-329.45" font-family="Times,serif" font-size="14.00">perm_props</text>
</g>
<!-- NASALib/mult_poly@map_perm&#45;&gt;NASALib/mult_poly@perm_props -->
<g id="edge17" class="edge">
<title>NASALib/mult_poly@map_perm&#45;&gt;NASALib/mult_poly@perm_props</title>
<path fill="none" stroke="black" d="M224.01,-388.2C223.58,-380.74 223.08,-371.82 222.6,-363.47"/>
<polygon fill="black" stroke="black" points="226.04,-363.39 221.98,-353.6 219.05,-363.79 226.04,-363.39"/>
</g>
<!-- NASALib/mult_poly@nth_derivative_subtype -->
<g id="node14" class="node">
<title>NASALib/mult_poly@nth_derivative_subtype</title>
<ellipse fill="#e6f3ff" stroke="black" cx="775" cy="-478.5" rx="97.41" ry="18"/>
<text text-anchor="middle" x="775" y="-473.45" font-family="Times,serif" font-size="14.00">nth_derivative_subtype</text>
</g>
<!-- NASALib/mult_poly@nth_derivative_subtype&#45;&gt;NASALib/analysis -->
<g id="edge18" class="edge">
<title>NASALib/mult_poly@nth_derivative_subtype&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M820.99,-462.17C867.95,-446.52 934,-424.5 934,-424.5 934,-424.5 958,-335.5 958,-335.5 958,-335.5 958,-335.5 958,-189.5 958,-189.5 873,-84.5 873,-84.5 873,-84.5 863.86,-72.9 854.43,-60.93"/>
<polygon fill="black" stroke="black" points="856.58,-59 847.64,-53.31 851.08,-63.33 856.58,-59"/>
</g>
<!-- NASALib/sorting -->
<g id="node26" class="node">
<title>NASALib/sorting</title>
<polygon fill="#fcfcd7" stroke="black" points="634,-52 580,-52 580,-16 634,-16 634,-52"/>
<text text-anchor="middle" x="607" y="-28.95" font-family="Times,serif" font-size="14.00">sorting</text>
</g>
<!-- NASALib/mult_poly@perm_props&#45;&gt;NASALib/sorting -->
<g id="edge19" class="edge">
<title>NASALib/mult_poly@perm_props&#45;&gt;NASALib/sorting</title>
<path fill="none" stroke="black" d="M607,-117.5C607,-117.5 607,-87.1 607,-63.21"/>
<polygon fill="black" stroke="black" points="610.5,-63.5 607,-53.5 603.5,-63.5 610.5,-63.5"/>
</g>
<!-- NASALib/mult_poly@perm_props&#45;&gt;NASALib/structures -->
<g id="edge20" class="edge">
<title>NASALib/mult_poly@perm_props&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M607,-117.5C607,-117.5 571,-84.5 571,-84.5 571,-84.5 560.73,-72.67 550.22,-60.58"/>
<polygon fill="black" stroke="black" points="552.24,-58.57 543.04,-53.31 546.96,-63.16 552.24,-58.57"/>
<path fill="none" stroke="black" d="M270.88,-326.3C371.22,-311.81 588,-280.5 588,-280.5 588,-280.5 607,-119.5 607,-119.5"/>
</g>
<!-- NASALib/mult_poly@poly_comp_analytic -->
<g id="node16" class="node">
<title>NASALib/mult_poly@poly_comp_analytic</title>
<ellipse fill="#e6f3ff" stroke="black" cx="481" cy="-550.5" rx="86.67" ry="18"/>
<text text-anchor="middle" x="481" y="-545.45" font-family="Times,serif" font-size="14.00">poly_comp_analytic</text>
</g>
<!-- NASALib/mult_poly@poly_comp_analytic&#45;&gt;NASALib/mult_poly@analytic_def -->
<g id="edge21" class="edge">
<title>NASALib/mult_poly@poly_comp_analytic&#45;&gt;NASALib/mult_poly@analytic_def</title>
<path fill="none" stroke="black" d="M509.6,-533.09C526.8,-523.22 548.83,-510.58 567.17,-500.06"/>
<polygon fill="black" stroke="black" points="568.73,-502.63 575.66,-494.61 565.24,-496.55 568.73,-502.63"/>
</g>
<!-- NASALib/mult_poly@poly_comp_analytic&#45;&gt;NASALib/mult_poly@eval_properties -->
<g id="edge22" class="edge">
<title>NASALib/mult_poly@poly_comp_analytic&#45;&gt;NASALib/mult_poly@eval_properties</title>
<path fill="none" stroke="black" d="M451.41,-533.17C423.21,-517.59 385,-496.5 385,-496.5 385,-496.5 375,-479.5 375,-479.5"/>
</g>
<!-- NASALib/mult_poly@semi_algebraic -->
<g id="node18" class="node">
<title>NASALib/mult_poly@semi_algebraic</title>
<ellipse fill="#e6f3ff" stroke="black" cx="461" cy="-478.5" rx="67.22" ry="18"/>
<text text-anchor="middle" x="461" y="-473.45" font-family="Times,serif" font-size="14.00">semi_algebraic</text>
</g>
<!-- NASALib/mult_poly@poly_comp_analytic&#45;&gt;NASALib/mult_poly@semi_algebraic -->
<g id="edge23" class="edge">
<title>NASALib/mult_poly@poly_comp_analytic&#45;&gt;NASALib/mult_poly@semi_algebraic</title>
<path fill="none" stroke="black" d="M476.06,-532.2C473.9,-524.65 471.32,-515.62 468.91,-507.18"/>
<polygon fill="black" stroke="black" points="472,-506.26 465.89,-497.6 465.27,-508.18 472,-506.26"/>
</g>
<!-- NASALib/mult_poly@polyplus_props&#45;&gt;NASALib/mult_poly@arithmetic_poly -->
<g id="edge24" class="edge">
<title>NASALib/mult_poly@polyplus_props&#45;&gt;NASALib/mult_poly@arithmetic_poly</title>
<path fill="none" stroke="black" d="M86,-460.2C86,-452.74 86,-443.82 86,-435.47"/>
<polygon fill="black" stroke="black" points="89.5,-435.6 86,-425.6 82.5,-435.6 89.5,-435.6"/>
</g>
<!-- NASALib/mult_poly@semi_algebraic&#45;&gt;NASALib/mult_poly@eval_MultPoly -->
<g id="edge25" class="edge">
<title>NASALib/mult_poly@semi_algebraic&#45;&gt;NASALib/mult_poly@eval_MultPoly</title>
<path fill="none" stroke="black" d="M461.98,-460.09C463.34,-436 465.8,-392.25 467.42,-363.53"/>
<polygon fill="black" stroke="black" points="470.97,-363.79 468.04,-353.61 463.98,-363.4 470.97,-363.79"/>
</g>
<!-- NASALib/mult_poly@semi_algebraic&#45;&gt;NASALib/mult_poly@eval_properties -->
<g id="edge26" class="edge">
<title>NASALib/mult_poly@semi_algebraic&#45;&gt;NASALib/mult_poly@eval_properties</title>
<path fill="none" stroke="black" d="M442.28,-460.91C432.32,-452.08 419.89,-441.07 408.91,-431.34"/>
<polygon fill="black" stroke="black" points="411.67,-429.22 401.86,-425.21 407.02,-434.46 411.67,-429.22"/>
</g>
<!-- NASALib/mult_poly@smooth_not_analytic -->
<g id="node19" class="node">
<title>NASALib/mult_poly@smooth_not_analytic</title>
<ellipse fill="#e6f3ff" stroke="black" cx="674" cy="-550.5" rx="88.71" ry="18"/>
<text text-anchor="middle" x="674" y="-545.45" font-family="Times,serif" font-size="14.00">smooth_not_analytic</text>
</g>
<!-- NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/analysis -->
<g id="edge27" class="edge">
<title>NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/analysis</title>
<path fill="none" stroke="black" d="M996,-117.5C996,-117.5 910,-92.5 910,-92.5 910,-92.5 873,-84.5 873,-84.5 873,-84.5 863.86,-72.9 854.43,-60.93"/>
<polygon fill="black" stroke="black" points="856.58,-59 847.64,-53.31 851.08,-63.33 856.58,-59"/>
</g>
<!-- NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/lnexp -->
<g id="edge28" class="edge">
<title>NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/lnexp</title>
<path fill="none" stroke="black" d="M996,-117.5C996,-117.5 1018.16,-85.43 1034.84,-61.28"/>
<polygon fill="black" stroke="black" points="1038.11,-63.71 1040.91,-53.5 1032.35,-59.73 1038.11,-63.71"/>
</g>
<!-- NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/mult_poly@analytic_def -->
<g id="edge29" class="edge">
<title>NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/mult_poly@analytic_def</title>
<path fill="none" stroke="black" d="M656.81,-532.55C647.96,-523.83 637.02,-513.04 627.32,-503.48"/>
<polygon fill="black" stroke="black" points="630.12,-501.34 620.54,-496.81 625.2,-506.32 630.12,-501.34"/>
</g>
<!-- NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/mult_poly@nth_derivative_subtype -->
<g id="edge30" class="edge">
<title>NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/mult_poly@nth_derivative_subtype</title>
<path fill="none" stroke="black" d="M698.19,-532.73C711.21,-523.71 727.47,-512.44 741.67,-502.6"/>
<polygon fill="black" stroke="black" points="743.43,-504.95 749.66,-496.37 739.44,-499.19 743.43,-504.95"/>
</g>
<!-- NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/mult_poly@semi_algebraic -->
<g id="edge31" class="edge">
<title>NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/mult_poly@semi_algebraic</title>
<path fill="none" stroke="black" d="M628.83,-534.65C594.71,-523.44 547.84,-508.04 512.31,-496.36"/>
<polygon fill="black" stroke="black" points="513.73,-492.82 503.14,-493.02 511.55,-499.47 513.73,-492.82"/>
</g>
<!-- NASALib/trig -->
<g id="node28" class="node">
<title>NASALib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="1008,-52 954,-52 954,-16 1008,-16 1008,-52"/>
<text text-anchor="middle" x="981" y="-28.95" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/trig -->
<g id="edge32" class="edge">
<title>NASALib/mult_poly@smooth_not_analytic&#45;&gt;NASALib/trig</title>
<path fill="none" stroke="black" d="M727.58,-535.78C788.91,-520.08 881,-496.5 881,-496.5 881,-496.5 996,-407.5 996,-407.5 996,-407.5 996,-407.5 996,-261.5 996,-261.5 996,-119.5 996,-119.5"/>
<path fill="none" stroke="black" d="M996,-117.5C996,-117.5 990.47,-87.1 986.13,-63.21"/>
<polygon fill="black" stroke="black" points="989.41,-62.71 984.18,-53.5 982.53,-63.96 989.41,-62.71"/>
</g>
<!-- NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@eval_MultPoly -->
<g id="edge33" class="edge">
<title>NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@eval_MultPoly</title>
<path fill="none" stroke="black" d="M295,-405.5C295,-405.5 305,-388.5 305,-388.5 305,-388.5 369.26,-367.73 417.33,-352.2"/>
<polygon fill="black" stroke="black" points="418.18,-355.28 426.62,-348.87 416.02,-348.62 418.18,-355.28"/>
</g>
<!-- NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@eval_properties -->
<g id="edge34" class="edge">
<title>NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@eval_properties</title>
<path fill="none" stroke="black" d="M291.96,-460.91C308.07,-451.36 328.48,-439.25 345.79,-428.98"/>
<polygon fill="black" stroke="black" points="347.23,-431.6 354.05,-423.49 343.66,-425.58 347.23,-431.6"/>
</g>
<!-- NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@map_perm -->
<g id="edge35" class="edge">
<title>NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@map_perm</title>
<path fill="none" stroke="black" d="M254.36,-460.2C249.97,-452.31 244.67,-442.8 239.79,-434.05"/>
<polygon fill="black" stroke="black" points="242.45,-432.64 234.53,-425.6 236.34,-436.04 242.45,-432.64"/>
</g>
<!-- NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@standard_form_mult_poly -->
<g id="edge36" class="edge">
<title>NASALib/mult_poly@standard_form_extras&#45;&gt;NASALib/mult_poly@standard_form_mult_poly</title>
<path fill="none" stroke="black" d="M271.66,-460.2C280.84,-439.47 295,-407.5 295,-407.5"/>
<path fill="none" stroke="black" d="M295,-405.5C295,-405.5 285,-316.5 285,-316.5 285,-316.5 270.56,-256.32 261.71,-219.47"/>
<polygon fill="black" stroke="black" points="264.91,-218.79 259.17,-209.88 258.1,-220.42 264.91,-218.79"/>
</g>
<!-- NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/mult_poly@list_lemmas -->
<g id="edge37" class="edge">
<title>NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/mult_poly@list_lemmas</title>
<path fill="none" stroke="black" d="M285.1,-172.91C303.09,-163 326.08,-150.32 345.15,-139.81"/>
<polygon fill="black" stroke="black" points="346.65,-142.43 353.72,-134.54 343.27,-136.3 346.65,-142.43"/>
</g>
<!-- NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/mult_poly@standard_form_poly -->
<g id="edge38" class="edge">
<title>NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/mult_poly@standard_form_poly</title>
<path fill="none" stroke="black" d="M246.6,-172.2C242.81,-164.4 238.25,-155.01 234.03,-146.33"/>
<polygon fill="black" stroke="black" points="236.83,-145.07 229.31,-137.6 230.53,-148.13 236.83,-145.07"/>
</g>
<!-- NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/sorting -->
<g id="edge39" class="edge">
<title>NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/sorting</title>
<path fill="none" stroke="black" d="M549,-117.5C549,-117.5 571.55,-85.43 588.52,-61.28"/>
<polygon fill="black" stroke="black" points="591.81,-63.69 594.7,-53.5 586.09,-59.66 591.81,-63.69"/>
</g>
<!-- NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/structures -->
<g id="edge40" class="edge">
<title>NASALib/mult_poly@standard_form_mult_poly&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M549,-117.5C549,-117.5 541.19,-86.83 535.1,-62.89"/>
<polygon fill="black" stroke="black" points="538.31,-62.32 532.45,-53.5 531.53,-64.05 538.31,-62.32"/>
<path fill="none" stroke="black" d="M315.2,-175.17C401.22,-154.69 549,-119.5 549,-119.5"/>
</g>
<!-- NASALib/mult_poly@standard_form_poly&#45;&gt;NASALib/reals -->
<g id="edge41" class="edge">
<title>NASALib/mult_poly@standard_form_poly&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M273.49,-103.83C295.91,-97.99 317,-92.5 317,-92.5 317,-92.5 643,-84.5 643,-84.5 643,-84.5 651.44,-72.9 660.14,-60.93"/>
<polygon fill="black" stroke="black" points="663.36,-63.46 666.41,-53.31 657.7,-59.34 663.36,-63.46"/>
</g>
<!-- NASALib/mult_poly@standard_form_poly&#45;&gt;NASALib/structures -->
<g id="edge42" class="edge">
<title>NASALib/mult_poly@standard_form_poly&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M272.38,-103.69C331.4,-87.83 427.26,-62.07 483.3,-47.01"/>
<polygon fill="black" stroke="black" points="483.87,-50.21 492.62,-44.24 482.06,-43.45 483.87,-50.21"/>
</g>
<!-- NASALib/mult_poly@standard_form_unique -->
<g id="node23" class="node">
<title>NASALib/mult_poly@standard_form_unique</title>
<ellipse fill="#e6f3ff" stroke="black" cx="375" cy="-622.5" rx="94.86" ry="18"/>
<text text-anchor="middle" x="375" y="-617.45" font-family="Times,serif" font-size="14.00">standard_form_unique</text>
</g>
<!-- NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@dimension_induction -->
<g id="edge43" class="edge">
<title>NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@dimension_induction</title>
<path fill="none" stroke="black" d="M348.69,-604.91C333.9,-595.58 315.24,-583.82 299.21,-573.7"/>
<polygon fill="black" stroke="black" points="301.44,-570.34 291.12,-567.97 297.71,-576.26 301.44,-570.34"/>
</g>
<!-- NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@eval_MultPoly -->
<g id="edge44" class="edge">
<title>NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@eval_MultPoly</title>
<path fill="none" stroke="black" d="M450.61,-611.41C565.79,-596.03 772,-568.5 772,-568.5 772,-568.5 881,-496.5 881,-496.5 881,-496.5 881,-460.5 881,-460.5 881,-460.5 707,-388.5 707,-388.5 707,-388.5 600.25,-364.73 529.74,-349.03"/>
<polygon fill="black" stroke="black" points="530.7,-345.43 520.18,-346.68 529.18,-352.27 530.7,-345.43"/>
</g>
<!-- NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@eval_properties -->
<g id="edge45" class="edge">
<title>NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@eval_properties</title>
<path fill="none" stroke="black" d="M375,-477.5C375,-477.5 377.23,-455.16 379.18,-435.72"/>
<polygon fill="black" stroke="black" points="382.76,-436.1 380.27,-425.8 375.79,-435.41 382.76,-436.1"/>
<path fill="none" stroke="black" d="M375,-549.5C375,-549.5 375,-479.5 375,-479.5"/>
</g>
<!-- NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@standard_form_extras -->
<g id="edge46" class="edge">
<title>NASALib/mult_poly@standard_form_unique&#45;&gt;NASALib/mult_poly@standard_form_extras</title>
<path fill="none" stroke="black" d="M375,-549.5C375,-549.5 362,-532.5 362,-532.5 362,-532.5 330.79,-515.62 303.6,-500.91"/>
<polygon fill="black" stroke="black" points="305.66,-497.51 295.2,-495.83 302.33,-503.67 305.66,-497.51"/>
<path fill="none" stroke="black" d="M375,-604.2C375,-583.47 375,-551.5 375,-551.5"/>
</g>
</g>
</svg>