<map id="G" name="G">
<area shape="rect" id="node3" href="$_core.html" title="Core" alt="" coords="2640,155,2691,181"/>
<area shape="rect" id="node88" href="$_cholesky.html" title="Cholesky" alt="" coords="2785,80,2861,107"/>
<area shape="rect" id="node95" href="$_jacobi.html" title="Jacobi" alt="" coords="2701,80,2760,107"/>
<area shape="rect" id="node100" href="$_householder.html" title="Householder" alt="" coords="2530,80,2624,107"/>
</map>