mult_poly/mult_poly.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.1.0 (20230707.0739)
 -->
<!-- Title: mult_poly Pages: 1 -->
<svg width="378pt" height="617pt"
 viewBox="0.00 0.00 378.00 617.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 613)">
<title>mult_poly</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-613 374,-613 374,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-601 350,-601 350,-92.5 8,-92.5"/>
<text text-anchor="middle" x="179" y="-583.7" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_PVS Prelude</title>
<polygon fill="none" stroke="black" points="246,-8 246,-84.5 334,-84.5 334,-8 246,-8"/>
<text text-anchor="middle" x="290" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- lib/finite_sets -->
<g id="node1" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="325.75,-52 254.25,-52 254.25,-16 325.75,-16 325.75,-52"/>
<text text-anchor="middle" x="290" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- nasalib/analysis -->
<g id="node2" class="node">
<title>nasalib/analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="307.75,-352.5 248.25,-352.5 248.25,-316.5 307.75,-316.5 307.75,-352.5"/>
<text text-anchor="middle" x="278" y="-329.45" font-family="Times,serif" font-size="14.00">analysis</text>
</g>
<!-- nasalib/analysis&#45;&gt;lib/finite_sets -->
<g id="edge1" class="edge">
<title>nasalib/analysis&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M341,-261.5C341,-261.5 370,-191.5 370,-191.5"/>
</g>
<!-- nasalib/ints -->
<g id="node3" class="node">
<title>nasalib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="302,-136.5 248,-136.5 248,-100.5 302,-100.5 302,-136.5"/>
<text text-anchor="middle" x="275" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- nasalib/analysis&#45;&gt;nasalib/ints -->
<g id="edge2" class="edge">
<title>nasalib/analysis&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M341,-261.5C341,-261.5 318,-172.5 318,-172.5 318,-172.5 306.77,-158.65 295.78,-145.12"/>
<polygon fill="black" stroke="black" points="298.1,-143.41 289.08,-137.85 292.66,-147.82 298.1,-143.41"/>
<path fill="none" stroke="black" d="M293.72,-316.15C307.72,-300.69 326,-280.5 326,-280.5 326,-280.5 341,-263.5 341,-263.5"/>
</g>
<!-- nasalib/orders -->
<g id="node7" class="node">
<title>nasalib/orders</title>
<polygon fill="#fcfcd7" stroke="black" points="302,-280.5 248,-280.5 248,-244.5 302,-244.5 302,-280.5"/>
<text text-anchor="middle" x="275" y="-257.45" font-family="Times,serif" font-size="14.00">orders</text>
</g>
<!-- nasalib/analysis&#45;&gt;nasalib/orders -->
<g id="edge3" class="edge">
<title>nasalib/analysis&#45;&gt;nasalib/orders</title>
<path fill="none" stroke="black" d="M277.26,-316.2C276.94,-308.74 276.56,-299.82 276.2,-291.47"/>
<polygon fill="black" stroke="black" points="279.66,-291.45 275.73,-281.6 272.66,-291.75 279.66,-291.45"/>
</g>
<!-- nasalib/reals -->
<g id="node8" class="node">
<title>nasalib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="210,-280.5 156,-280.5 156,-244.5 210,-244.5 210,-280.5"/>
<text text-anchor="middle" x="183" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- nasalib/analysis&#45;&gt;nasalib/reals -->
<g id="edge4" class="edge">
<title>nasalib/analysis&#45;&gt;nasalib/reals</title>
<path fill="none" stroke="black" d="M254.52,-316.2C242.64,-307.45 228.05,-296.69 215.15,-287.19"/>
<polygon fill="black" stroke="black" points="217.67,-283.96 207.54,-280.85 213.52,-289.6 217.67,-283.96"/>
</g>
<!-- nasalib/structures -->
<g id="node11" class="node">
<title>nasalib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="309.25,-208.5 240.75,-208.5 240.75,-172.5 309.25,-172.5 309.25,-208.5"/>
<text text-anchor="middle" x="275" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- nasalib/analysis&#45;&gt;nasalib/structures -->
<g id="edge5" class="edge">
<title>nasalib/analysis&#45;&gt;nasalib/structures</title>
<path fill="none" stroke="black" d="M321,-261.5C321,-261.5 311,-244.5 311,-244.5 311,-244.5 301.95,-231.17 292.92,-217.88"/>
<polygon fill="black" stroke="black" points="295.3,-216.16 286.79,-209.85 289.51,-220.09 295.3,-216.16"/>
<path fill="none" stroke="black" d="M288.81,-316.15C298.43,-300.69 311,-280.5 311,-280.5 311,-280.5 321,-263.5 321,-263.5"/>
</g>
<!-- nasalib/ints&#45;&gt;lib/finite_sets -->
<g id="edge6" class="edge">
<title>nasalib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M278.18,-100C280.13,-89.28 282.67,-75.32 284.89,-63.08"/>
<polygon fill="black" stroke="black" points="288.48,-63.94 286.82,-53.47 281.59,-62.68 288.48,-63.94"/>
</g>
<!-- nasalib/lnexp -->
<g id="node4" class="node">
<title>nasalib/lnexp</title>
<polygon fill="#fcfcd7" stroke="black" points="216,-496.5 162,-496.5 162,-460.5 216,-460.5 216,-496.5"/>
<text text-anchor="middle" x="189" y="-473.45" font-family="Times,serif" font-size="14.00">lnexp</text>
</g>
<!-- nasalib/lnexp&#45;&gt;nasalib/analysis -->
<g id="edge7" class="edge">
<title>nasalib/lnexp&#45;&gt;nasalib/analysis</title>
<path fill="none" stroke="black" d="M301,-405.5C301,-405.5 293.52,-382.74 287.09,-363.18"/>
<polygon fill="black" stroke="black" points="290.13,-362.21 283.69,-353.8 283.48,-364.4 290.13,-362.21"/>
<path fill="none" stroke="black" d="M216.33,-463.3C246.55,-447.6 291,-424.5 291,-424.5 291,-424.5 301,-407.5 301,-407.5"/>
</g>
<!-- nasalib/lnexp&#45;&gt;nasalib/ints -->
<g id="edge8" class="edge">
<title>nasalib/lnexp&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M203,-189.5C203,-189.5 228.85,-164.36 249.58,-144.22"/>
<polygon fill="black" stroke="black" points="251.47,-147.28 256.2,-137.8 246.59,-142.26 251.47,-147.28"/>
<path fill="none" stroke="black" d="M181.09,-460.34C169.18,-434.48 148,-388.5 148,-388.5 148,-388.5 27,-352.5 27,-352.5 27,-352.5 27,-316.5 27,-316.5 27,-316.5 92,-263.5 92,-263.5"/>
<path fill="none" stroke="black" d="M92,-261.5C92,-261.5 203,-191.5 203,-191.5"/>
</g>
<!-- nasalib/lnexp&#45;&gt;nasalib/reals -->
<g id="edge9" class="edge">
<title>nasalib/lnexp&#45;&gt;nasalib/reals</title>
<path fill="none" stroke="black" d="M189,-460.2C189,-439.47 189,-407.5 189,-407.5"/>
</g>
<!-- nasalib/series -->
<g id="node9" class="node">
<title>nasalib/series</title>
<polygon fill="#fcfcd7" stroke="black" points="282,-424.5 228,-424.5 228,-388.5 282,-388.5 282,-424.5"/>
<text text-anchor="middle" x="255" y="-401.45" font-family="Times,serif" font-size="14.00">series</text>
</g>
<!-- nasalib/lnexp&#45;&gt;nasalib/series -->
<g id="edge10" class="edge">
<title>nasalib/lnexp&#45;&gt;nasalib/series</title>
<path fill="none" stroke="black" d="M205.31,-460.2C213.23,-451.8 222.88,-441.57 231.56,-432.36"/>
<polygon fill="black" stroke="black" points="233.56,-435.28 237.87,-425.6 228.47,-430.48 233.56,-435.28"/>
</g>
<!-- nasalib/matrices -->
<g id="node5" class="node">
<title>nasalib/matrices</title>
<polygon fill="#fcfcd7" stroke="black" points="98.25,-352.5 35.75,-352.5 35.75,-316.5 98.25,-316.5 98.25,-352.5"/>
<text text-anchor="middle" x="67" y="-329.45" font-family="Times,serif" font-size="14.00">matrices</text>
</g>
<!-- nasalib/matrices&#45;&gt;nasalib/ints -->
<g id="edge11" class="edge">
<title>nasalib/matrices&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M73.18,-316.2C80.58,-295.47 92,-263.5 92,-263.5"/>
</g>
<!-- nasalib/matrices&#45;&gt;nasalib/reals -->
<g id="edge12" class="edge">
<title>nasalib/matrices&#45;&gt;nasalib/reals</title>
<path fill="none" stroke="black" d="M95.97,-316.02C111.23,-306.81 130.1,-295.42 146.36,-285.61"/>
<polygon fill="black" stroke="black" points="147.84,-288.2 154.59,-280.04 144.22,-282.21 147.84,-288.2"/>
</g>
<!-- nasalib/matrices&#45;&gt;nasalib/structures -->
<g id="edge13" class="edge">
<title>nasalib/matrices&#45;&gt;nasalib/structures</title>
<path fill="none" stroke="black" d="M137,-261.5C137,-261.5 147,-244.5 147,-244.5 147,-244.5 193.33,-225.32 230.25,-210.03"/>
<polygon fill="black" stroke="black" points="231.46,-212.9 239.36,-205.84 228.78,-206.43 231.46,-212.9"/>
<path fill="none" stroke="black" d="M84.3,-316.2C105.03,-295.47 137,-263.5 137,-263.5"/>
</g>
<!-- nasalib/mult_poly -->
<g id="node6" class="node">
<title>nasalib/mult_poly</title>
<polygon fill="#f7e28d" stroke="black" points="261.12,-568.5 188.88,-568.5 188.88,-532.5 261.12,-532.5 261.12,-568.5"/>
<text text-anchor="middle" x="225" y="-545.45" font-family="Times,serif" font-size="14.00">mult_poly</text>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/analysis -->
<g id="edge14" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/analysis</title>
<path fill="none" stroke="black" d="M327,-405.5C327,-405.5 310.17,-381.46 296.24,-361.56"/>
<polygon fill="black" stroke="black" points="298.71,-359.99 290.11,-353.8 292.98,-364 298.71,-359.99"/>
<path fill="none" stroke="black" d="M327,-477.5C327,-477.5 327,-407.5 327,-407.5"/>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/lnexp -->
<g id="edge15" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/lnexp</title>
<path fill="none" stroke="black" d="M216.1,-532.2C212.09,-524.4 207.26,-515.01 202.8,-506.33"/>
<polygon fill="black" stroke="black" points="205.48,-504.9 197.8,-497.6 199.26,-508.1 205.48,-504.9"/>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/matrices -->
<g id="edge16" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/matrices</title>
<path fill="none" stroke="black" d="M143,-477.5C143,-477.5 143,-407.5 143,-407.5"/>
<path fill="none" stroke="black" d="M201.42,-532.15C180.43,-516.69 153,-496.5 153,-496.5 153,-496.5 143,-479.5 143,-479.5"/>
<path fill="none" stroke="black" d="M143,-405.5C143,-405.5 115.71,-380.36 93.84,-360.22"/>
<polygon fill="black" stroke="black" points="96.51,-358 86.79,-353.8 91.77,-363.15 96.51,-358"/>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/reals -->
<g id="edge17" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/reals</title>
<path fill="none" stroke="black" d="M189,-405.5C189,-405.5 185.94,-333.09 184.19,-291.68"/>
<polygon fill="black" stroke="black" points="187.65,-291.76 183.74,-281.91 180.66,-292.05 187.65,-291.76"/>
<path fill="none" stroke="black" d="M143,-477.5C143,-477.5 153,-460.5 153,-460.5 153,-460.5 189,-407.5 189,-407.5"/>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/series -->
<g id="edge18" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/series</title>
<path fill="none" stroke="black" d="M327,-477.5C327,-477.5 301.15,-452.36 280.42,-432.22"/>
<polygon fill="black" stroke="black" points="283.41,-430.26 273.8,-425.8 278.53,-435.28 283.41,-430.26"/>
<path fill="none" stroke="black" d="M250.48,-532.02C280.69,-511.28 327,-479.5 327,-479.5"/>
</g>
<!-- nasalib/sorting -->
<g id="node10" class="node">
<title>nasalib/sorting</title>
<polygon fill="#fcfcd7" stroke="black" points="170,-352.5 116,-352.5 116,-316.5 170,-316.5 170,-352.5"/>
<text text-anchor="middle" x="143" y="-329.45" font-family="Times,serif" font-size="14.00">sorting</text>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/sorting -->
<g id="edge19" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/sorting</title>
<path fill="none" stroke="black" d="M143,-405.5C143,-405.5 143,-383.16 143,-363.72"/>
<polygon fill="black" stroke="black" points="146.5,-363.8 143,-353.8 139.5,-363.8 146.5,-363.8"/>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/structures -->
<g id="edge20" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/structures</title>
<path fill="none" stroke="black" d="M327,-405.5C327,-405.5 321,-263.5 321,-263.5"/>
</g>
<!-- nasalib/trig -->
<g id="node12" class="node">
<title>nasalib/trig</title>
<polygon fill="#fcfcd7" stroke="black" points="288,-496.5 234,-496.5 234,-460.5 288,-460.5 288,-496.5"/>
<text text-anchor="middle" x="261" y="-473.45" font-family="Times,serif" font-size="14.00">trig</text>
</g>
<!-- nasalib/mult_poly&#45;&gt;nasalib/trig -->
<g id="edge21" class="edge">
<title>nasalib/mult_poly&#45;&gt;nasalib/trig</title>
<path fill="none" stroke="black" d="M233.9,-532.2C237.91,-524.4 242.74,-515.01 247.2,-506.33"/>
<polygon fill="black" stroke="black" points="250.74,-508.1 252.2,-497.6 244.52,-504.9 250.74,-508.1"/>
</g>
<!-- nasalib/orders&#45;&gt;lib/finite_sets -->
<g id="edge22" class="edge">
<title>nasalib/orders&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M370,-189.5C370,-189.5 370,-119.5 370,-119.5"/>
<path fill="none" stroke="black" d="M300.87,-244.15C323.91,-228.69 354,-208.5 354,-208.5 354,-208.5 370,-191.5 370,-191.5"/>
</g>
<!-- nasalib/orders&#45;&gt;nasalib/structures -->
<g id="edge23" class="edge">
<title>nasalib/orders&#45;&gt;nasalib/structures</title>
<path fill="none" stroke="black" d="M275,-244.2C275,-236.74 275,-227.82 275,-219.47"/>
<polygon fill="black" stroke="black" points="278.5,-219.6 275,-209.6 271.5,-219.6 278.5,-219.6"/>
</g>
<!-- nasalib/reals&#45;&gt;nasalib/ints -->
<g id="edge24" class="edge">
<title>nasalib/reals&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M187.94,-244.2C193.87,-223.47 203,-191.5 203,-191.5"/>
</g>
<!-- nasalib/reals&#45;&gt;nasalib/structures -->
<g id="edge25" class="edge">
<title>nasalib/reals&#45;&gt;nasalib/structures</title>
<path fill="none" stroke="black" d="M205.74,-244.2C217.13,-235.53 231.1,-224.9 243.51,-215.46"/>
<polygon fill="black" stroke="black" points="245.36,-217.69 251.2,-208.85 241.12,-212.12 245.36,-217.69"/>
</g>
<!-- nasalib/series&#45;&gt;nasalib/analysis -->
<g id="edge26" class="edge">
<title>nasalib/series&#45;&gt;nasalib/analysis</title>
<path fill="none" stroke="black" d="M260.69,-388.2C263.19,-380.57 266.2,-371.42 269,-362.9"/>
<polygon fill="black" stroke="black" points="272.58,-364.2 272.38,-353.6 265.93,-362.01 272.58,-364.2"/>
</g>
<!-- nasalib/series&#45;&gt;nasalib/ints -->
<g id="edge27" class="edge">
<title>nasalib/series&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M229,-333.5C229,-333.5 229,-263.5 229,-263.5"/>
</g>
<!-- nasalib/series&#45;&gt;nasalib/orders -->
<g id="edge28" class="edge">
<title>nasalib/series&#45;&gt;nasalib/orders</title>
<path fill="none" stroke="black" d="M229,-333.5C229,-333.5 239,-316.5 239,-316.5 239,-316.5 248.05,-303.17 257.08,-289.88"/>
<polygon fill="black" stroke="black" points="260.49,-292.09 263.21,-281.85 254.7,-288.16 260.49,-292.09"/>
</g>
<!-- nasalib/series&#45;&gt;nasalib/reals -->
<g id="edge29" class="edge">
<title>nasalib/series&#45;&gt;nasalib/reals</title>
<path fill="none" stroke="black" d="M248.57,-388.2C240.87,-367.47 229,-335.5 229,-335.5"/>
<path fill="none" stroke="black" d="M229,-333.5C229,-333.5 213.34,-309.68 200.3,-289.83"/>
<polygon fill="black" stroke="black" points="202.79,-288.24 194.37,-281.8 196.94,-292.08 202.79,-288.24"/>
</g>
<!-- nasalib/sorting&#45;&gt;nasalib/ints -->
<g id="edge30" class="edge">
<title>nasalib/sorting&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M130.39,-316.2C115.29,-295.47 92,-263.5 92,-263.5"/>
</g>
<!-- nasalib/sorting&#45;&gt;nasalib/reals -->
<g id="edge31" class="edge">
<title>nasalib/sorting&#45;&gt;nasalib/reals</title>
<path fill="none" stroke="black" d="M152.89,-316.2C157.39,-308.31 162.83,-298.8 167.83,-290.05"/>
<polygon fill="black" stroke="black" points="171.3,-292.02 173.23,-281.6 165.23,-288.55 171.3,-292.02"/>
</g>
<!-- nasalib/sorting&#45;&gt;nasalib/structures -->
<g id="edge32" class="edge">
<title>nasalib/sorting&#45;&gt;nasalib/structures</title>
<path fill="none" stroke="black" d="M141.52,-316.2C139.74,-295.47 137,-263.5 137,-263.5"/>
</g>
<!-- nasalib/structures&#45;&gt;lib/finite_sets -->
<g id="edge33" class="edge">
<title>nasalib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M298.48,-172.2C326.62,-151.47 370,-119.5 370,-119.5"/>
<path fill="none" stroke="black" d="M370,-117.5C370,-117.5 338.08,-84.58 314.56,-60.33"/>
<polygon fill="black" stroke="black" points="317.44,-58.24 307.97,-53.5 312.41,-63.11 317.44,-58.24"/>
</g>
<!-- nasalib/structures&#45;&gt;nasalib/ints -->
<g id="edge34" class="edge">
<title>nasalib/structures&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M275,-172.2C275,-164.74 275,-155.82 275,-147.47"/>
<polygon fill="black" stroke="black" points="278.5,-147.6 275,-137.6 271.5,-147.6 278.5,-147.6"/>
</g>
<!-- nasalib/trig&#45;&gt;nasalib/analysis -->
<g id="edge35" class="edge">
<title>nasalib/trig&#45;&gt;nasalib/analysis</title>
<path fill="none" stroke="black" d="M270.89,-460.2C282.73,-439.47 301,-407.5 301,-407.5"/>
</g>
<!-- nasalib/trig&#45;&gt;nasalib/ints -->
<g id="edge36" class="edge">
<title>nasalib/trig&#45;&gt;nasalib/ints</title>
<path fill="none" stroke="black" d="M229,-261.5C229,-261.5 203,-191.5 203,-191.5"/>
<path fill="none" stroke="black" d="M209,-333.5C209,-333.5 229,-263.5 229,-263.5"/>
</g>
<!-- nasalib/trig&#45;&gt;nasalib/reals -->
<g id="edge37" class="edge">
<title>nasalib/trig&#45;&gt;nasalib/reals</title>
<path fill="none" stroke="black" d="M209,-333.5C209,-333.5 200.47,-310.53 193.18,-290.91"/>
<polygon fill="black" stroke="black" points="196.19,-289.96 189.43,-281.8 189.63,-292.4 196.19,-289.96"/>
<path fill="none" stroke="black" d="M247.25,-460.15C235,-444.69 219,-424.5 219,-424.5 219,-424.5 209,-335.5 209,-335.5"/>
</g>
<!-- nasalib/trig&#45;&gt;nasalib/series -->
<g id="edge38" class="edge">
<title>nasalib/trig&#45;&gt;nasalib/series</title>
<path fill="none" stroke="black" d="M259.52,-460.2C258.88,-452.74 258.11,-443.82 257.4,-435.47"/>
<polygon fill="black" stroke="black" points="260.81,-435.27 256.47,-425.6 253.83,-435.87 260.81,-435.27"/>
</g>
</g>
</svg>