matrices/matrices.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: matrices Pages: 1 -->
<svg width="412pt" height="617pt"
 viewBox="0.00 0.00 412.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>matrices</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-613 408,-613 408,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="8,-92.5 8,-601 396,-601 396,-92.5 8,-92.5"/>
<text text-anchor="middle" x="202" 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="104,-8 104,-84.5 192,-84.5 192,-8 104,-8"/>
<text text-anchor="middle" x="148" y="-67.2" font-family="Times,serif" font-size="14.00">PVS Prelude</text>
</g>
<!-- NASALib/ODEs -->
<g id="node1" class="node">
<title>NASALib/ODEs</title>
<polygon fill="#fcfcd7" stroke="black" points="368,-496.5 314,-496.5 314,-460.5 368,-460.5 368,-496.5"/>
<text text-anchor="middle" x="341" y="-473.45" font-family="Times,serif" font-size="14.00">ODEs</text>
</g>
<!-- NASALib/matrices -->
<g id="node6" class="node">
<title>NASALib/matrices</title>
<polygon fill="#f7e28d" stroke="black" points="196.25,-352.5 133.75,-352.5 133.75,-316.5 196.25,-316.5 196.25,-352.5"/>
<text text-anchor="middle" x="165" y="-329.45" font-family="Times,serif" font-size="14.00">matrices</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/matrices -->
<g id="edge1" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M313.67,-463.02C284.07,-447.33 241,-424.5 241,-424.5 241,-424.5 221,-388.5 221,-388.5 221,-388.5 205.81,-374.13 191.26,-360.35"/>
<polygon fill="black" stroke="black" points="194.01,-358.19 184.34,-353.85 189.19,-363.27 194.01,-358.19"/>
</g>
<!-- NASALib/mv_analysis -->
<g id="node8" class="node">
<title>NASALib/mv_analysis</title>
<polygon fill="#fcfcd7" stroke="black" points="212.12,-424.5 127.88,-424.5 127.88,-388.5 212.12,-388.5 212.12,-424.5"/>
<text text-anchor="middle" x="170" y="-401.45" font-family="Times,serif" font-size="14.00">mv_analysis</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/mv_analysis -->
<g id="edge2" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M313.53,-466.25C289.01,-456.22 252.45,-441.25 222.36,-428.94"/>
<polygon fill="black" stroke="black" points="224.02,-425.42 213.44,-424.87 221.36,-431.9 224.02,-425.42"/>
</g>
<!-- NASALib/structures -->
<g id="node10" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="155.25,-208.5 86.75,-208.5 86.75,-172.5 155.25,-172.5 155.25,-208.5"/>
<text text-anchor="middle" x="121" y="-185.45" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/ODEs&#45;&gt;NASALib/structures -->
<g id="edge3" class="edge">
<title>NASALib/ODEs&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M341,-460.2C341,-439.47 341,-407.5 341,-407.5"/>
</g>
<!-- NASALib/Tarski -->
<g id="node2" class="node">
<title>NASALib/Tarski</title>
<polygon fill="#fcfcd7" stroke="black" points="90,-424.5 36,-424.5 36,-388.5 90,-388.5 90,-424.5"/>
<text text-anchor="middle" x="63" y="-401.45" font-family="Times,serif" font-size="14.00">Tarski</text>
</g>
<!-- NASALib/ints -->
<g id="node5" class="node">
<title>NASALib/ints</title>
<polygon fill="#fcfcd7" stroke="black" points="148,-136.5 94,-136.5 94,-100.5 148,-100.5 148,-136.5"/>
<text text-anchor="middle" x="121" y="-113.45" font-family="Times,serif" font-size="14.00">ints</text>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/ints -->
<g id="edge4" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M68,-261.5C68,-261.5 68,-191.5 68,-191.5"/>
<path fill="none" stroke="black" d="M68,-333.5C68,-333.5 68,-263.5 68,-263.5"/>
<path fill="none" stroke="black" d="M64.24,-388.2C65.72,-367.47 68,-335.5 68,-335.5"/>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/matrices -->
<g id="edge5" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M88.48,-388.02C101.35,-379.18 117.15,-368.34 131.04,-358.8"/>
<polygon fill="black" stroke="black" points="132.58,-361.3 138.85,-352.76 128.62,-355.53 132.58,-361.3"/>
</g>
<!-- NASALib/reals -->
<g id="node9" class="node">
<title>NASALib/reals</title>
<polygon fill="#fcfcd7" stroke="black" points="141,-280.5 87,-280.5 87,-244.5 141,-244.5 141,-280.5"/>
<text text-anchor="middle" x="114" y="-257.45" font-family="Times,serif" font-size="14.00">reals</text>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/reals -->
<g id="edge6" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M68,-333.5C68,-333.5 83.66,-309.68 96.7,-289.83"/>
<polygon fill="black" stroke="black" points="100.06,-292.08 102.63,-281.8 94.21,-288.24 100.06,-292.08"/>
</g>
<!-- NASALib/Tarski&#45;&gt;NASALib/structures -->
<g id="edge7" class="edge">
<title>NASALib/Tarski&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M68,-261.5C68,-261.5 78,-244.5 78,-244.5 78,-244.5 89.23,-230.65 100.22,-217.12"/>
<polygon fill="black" stroke="black" points="103.34,-219.82 106.92,-209.85 97.9,-215.41 103.34,-219.82"/>
</g>
<!-- NASALib/dL -->
<g id="node3" class="node">
<title>NASALib/dL</title>
<polygon fill="#fcfcd7" stroke="black" points="368,-568.5 314,-568.5 314,-532.5 368,-532.5 368,-568.5"/>
<text text-anchor="middle" x="341" y="-545.45" font-family="Times,serif" font-size="14.00">dL</text>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ODEs -->
<g id="edge8" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ODEs</title>
<path fill="none" stroke="black" d="M341,-532.2C341,-524.74 341,-515.82 341,-507.47"/>
<polygon fill="black" stroke="black" points="344.5,-507.6 341,-497.6 337.5,-507.6 344.5,-507.6"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/ints -->
<g id="edge9" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M387,-261.5C387,-261.5 230.77,-178.1 157.77,-139.13"/>
<polygon fill="black" stroke="black" points="159.93,-135.78 149.46,-134.16 156.64,-141.96 159.93,-135.78"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/mv_analysis -->
<g id="edge10" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/mv_analysis</title>
<path fill="none" stroke="black" d="M109,-477.5C109,-477.5 130.33,-453.02 147.76,-433.02"/>
<polygon fill="black" stroke="black" points="150.99,-435.64 154.92,-425.8 145.71,-431.04 150.99,-435.64"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/reals -->
<g id="edge11" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M109,-477.5C109,-477.5 109,-407.5 109,-407.5"/>
<path fill="none" stroke="black" d="M313.93,-541.33C252.73,-522.87 109,-479.5 109,-479.5"/>
</g>
<!-- NASALib/dL&#45;&gt;NASALib/structures -->
<g id="edge12" class="edge">
<title>NASALib/dL&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M352.79,-532.15C363.29,-516.69 377,-496.5 377,-496.5 377,-496.5 387,-263.5 387,-263.5"/>
<path fill="none" stroke="black" d="M387,-261.5C387,-261.5 241.49,-223.21 165.71,-203.27"/>
<polygon fill="black" stroke="black" points="167.06,-199.74 156.5,-200.58 165.28,-206.51 167.06,-199.74"/>
</g>
<!-- NASALib/examples -->
<g id="node4" class="node">
<title>NASALib/examples</title>
<polygon fill="#fcfcd7" stroke="black" points="89.88,-496.5 22.12,-496.5 22.12,-460.5 89.88,-460.5 89.88,-496.5"/>
<text text-anchor="middle" x="56" y="-473.45" font-family="Times,serif" font-size="14.00">examples</text>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/Tarski -->
<g id="edge13" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/Tarski</title>
<path fill="none" stroke="black" d="M57.73,-460.2C58.48,-452.74 59.37,-443.82 60.2,-435.47"/>
<polygon fill="black" stroke="black" points="63.78,-435.9 61.29,-425.6 56.81,-435.21 63.78,-435.9"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/ints -->
<g id="edge14" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M46.5,-460.15C38.05,-444.69 27,-424.5 27,-424.5 27,-424.5 27,-388.5 27,-388.5 27,-388.5 68,-191.5 68,-191.5"/>
<path fill="none" stroke="black" d="M68,-189.5C68,-189.5 78,-172.5 78,-172.5 78,-172.5 89.23,-158.65 100.22,-145.12"/>
<polygon fill="black" stroke="black" points="103.34,-147.82 106.92,-137.85 97.9,-143.41 103.34,-147.82"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/reals -->
<g id="edge15" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M70.08,-460.15C82.62,-444.69 99,-424.5 99,-424.5 99,-424.5 109,-407.5 109,-407.5"/>
<path fill="none" stroke="black" d="M109,-405.5C109,-405.5 109,-335.5 109,-335.5"/>
<path fill="none" stroke="black" d="M109,-333.5C109,-333.5 110.6,-311.16 111.98,-291.72"/>
<polygon fill="black" stroke="black" points="115.54,-292.03 112.76,-281.8 108.56,-291.53 115.54,-292.03"/>
</g>
<!-- NASALib/examples&#45;&gt;NASALib/structures -->
<g id="edge16" class="edge">
<title>NASALib/examples&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M90.37,-465.33C98.07,-462.6 104,-460.5 104,-460.5 104,-460.5 331,-424.5 331,-424.5 331,-424.5 341,-407.5 341,-407.5"/>
<path fill="none" stroke="black" d="M341,-405.5C341,-405.5 303,-263.5 303,-263.5"/>
</g>
<!-- lib/finite_sets -->
<g id="node11" class="node">
<title>lib/finite_sets</title>
<polygon fill="#fcfcd7" stroke="black" points="183.75,-52 112.25,-52 112.25,-16 183.75,-16 183.75,-52"/>
<text text-anchor="middle" x="148" y="-28.95" font-family="Times,serif" font-size="14.00">finite_sets</text>
</g>
<!-- NASALib/ints&#45;&gt;lib/finite_sets -->
<g id="edge17" class="edge">
<title>NASALib/ints&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M126.73,-100C130.27,-89.18 134.9,-75.03 138.93,-62.71"/>
<polygon fill="black" stroke="black" points="142.5,-64.06 142.28,-53.47 135.85,-61.89 142.5,-64.06"/>
</g>
<!-- NASALib/matrices&#45;&gt;NASALib/ints -->
<g id="edge18" class="edge">
<title>NASALib/matrices&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M163.76,-316.2C162.28,-295.47 160,-263.5 160,-263.5"/>
<path fill="none" stroke="black" d="M160,-261.5C160,-261.5 150,-244.5 150,-244.5 150,-244.5 78,-208.5 78,-208.5 78,-208.5 68,-191.5 68,-191.5"/>
</g>
<!-- NASALib/matrices&#45;&gt;NASALib/reals -->
<g id="edge19" class="edge">
<title>NASALib/matrices&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M152.39,-316.2C146.53,-308.14 139.42,-298.39 132.93,-289.48"/>
<polygon fill="black" stroke="black" points="135.18,-287.63 126.46,-281.6 129.52,-291.75 135.18,-287.63"/>
</g>
<!-- NASALib/matrices&#45;&gt;NASALib/structures -->
<g id="edge20" class="edge">
<title>NASALib/matrices&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M160,-261.5C160,-261.5 146.97,-238.11 135.97,-218.37"/>
<polygon fill="black" stroke="black" points="138.57,-216.84 130.64,-209.8 132.45,-220.24 138.57,-216.84"/>
</g>
<!-- NASALib/mult_poly -->
<g id="node7" class="node">
<title>NASALib/mult_poly</title>
<polygon fill="#fcfcd7" stroke="black" points="322.12,-424.5 249.88,-424.5 249.88,-388.5 322.12,-388.5 322.12,-424.5"/>
<text text-anchor="middle" x="286" y="-401.45" font-family="Times,serif" font-size="14.00">mult_poly</text>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/matrices -->
<g id="edge21" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M255.78,-388.02C240.21,-379.01 221.05,-367.92 204.34,-358.26"/>
<polygon fill="black" stroke="black" points="206.24,-354.74 195.84,-352.76 202.74,-360.8 206.24,-354.74"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/reals -->
<g id="edge22" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M290.2,-388.2C295.24,-367.47 303,-335.5 303,-335.5"/>
<path fill="none" stroke="black" d="M303,-333.5C303,-333.5 155,-280.5 155,-280.5 155,-280.5 153.44,-279.85 150.92,-278.81"/>
<polygon fill="black" stroke="black" points="152.7,-275.34 142.12,-274.74 150.02,-281.81 152.7,-275.34"/>
</g>
<!-- NASALib/mult_poly&#45;&gt;NASALib/structures -->
<g id="edge23" class="edge">
<title>NASALib/mult_poly&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M303,-333.5C303,-333.5 303,-263.5 303,-263.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/matrices -->
<g id="edge24" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/matrices</title>
<path fill="none" stroke="black" d="M168.76,-388.2C168.23,-380.74 167.59,-371.82 167,-363.47"/>
<polygon fill="black" stroke="black" points="170.43,-363.33 166.22,-353.6 163.44,-363.83 170.43,-363.33"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/reals -->
<g id="edge25" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/reals</title>
<path fill="none" stroke="black" d="M154.92,-388.2C136.86,-367.47 109,-335.5 109,-335.5"/>
</g>
<!-- NASALib/mv_analysis&#45;&gt;NASALib/structures -->
<g id="edge26" class="edge">
<title>NASALib/mv_analysis&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M303,-261.5C303,-261.5 219.57,-229.41 165.68,-208.69"/>
<polygon fill="black" stroke="black" points="167.25,-205.15 156.66,-204.83 164.74,-211.69 167.25,-205.15"/>
<path fill="none" stroke="black" d="M186.31,-388.09C221.82,-350.17 303,-263.5 303,-263.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/ints -->
<g id="edge27" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M102.21,-244.15C91.71,-228.69 78,-208.5 78,-208.5 78,-208.5 68,-191.5 68,-191.5"/>
</g>
<!-- NASALib/reals&#45;&gt;NASALib/structures -->
<g id="edge28" class="edge">
<title>NASALib/reals&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M115.73,-244.2C116.48,-236.74 117.37,-227.82 118.2,-219.47"/>
<polygon fill="black" stroke="black" points="121.78,-219.9 119.29,-209.6 114.81,-219.21 121.78,-219.9"/>
</g>
<!-- NASALib/structures&#45;&gt;NASALib/ints -->
<g id="edge29" class="edge">
<title>NASALib/structures&#45;&gt;NASALib/ints</title>
<path fill="none" stroke="black" d="M121,-172.2C121,-164.74 121,-155.82 121,-147.47"/>
<polygon fill="black" stroke="black" points="124.5,-147.6 121,-137.6 117.5,-147.6 124.5,-147.6"/>
</g>
<!-- NASALib/structures&#45;&gt;lib/finite_sets -->
<g id="edge30" class="edge">
<title>NASALib/structures&#45;&gt;lib/finite_sets</title>
<path fill="none" stroke="black" d="M132.79,-172.15C143.29,-156.69 157,-136.5 157,-136.5 157,-136.5 157,-92.5 157,-92.5 157,-92.5 154.68,-77.7 152.4,-63.11"/>
<polygon fill="black" stroke="black" points="155.7,-62.59 150.7,-53.25 148.79,-63.67 155.7,-62.59"/>
</g>
</g>
</svg>