<map id="Graphical Class Hierarchy" name="Graphical Class Hierarchy">
<area shape="rect" id="Node000000" href="$classproofs_1_1_dense.html" title=" " alt="" coords="5,5,161,31"/>
<area shape="rect" id="Node000001" href="$classproofs_1_1_eqs.html" title=" " alt="" coords="209,5,349,31"/>
<area shape="poly" id="edge1_Node000000_Node000001" title=" " alt="" coords="176,16,208,16,208,21,176,21"/>
</map>
