<map id="G" name="G">
<area shape="rect" id="node3" href="$_core.html" title="Core" alt="" coords="2485,155,2536,181"/>
<area shape="rect" id="node76" href="$_cholesky.html" title="Cholesky" alt="" coords="2472,80,2548,107"/>
<area shape="rect" id="node81" href="$_jacobi.html" title="Jacobi" alt="" coords="2574,80,2633,107"/>
<area shape="rect" id="node86" href="$_householder.html" title="Householder" alt="" coords="2658,80,2752,107"/>
<area shape="rect" id="node91" href="$_l_u.html" title="LU" alt="" coords="2410,80,2448,107"/>
</map>