<map id="G" name="G">
<area shape="rect" id="node3" href="$_q_r.html" title="QR" alt="" coords="2149,80,2192,107"/>
<area shape="rect" id="node83" href="$_jacobi.html" title="Jacobi" alt="" coords="2285,155,2344,181"/>
<area shape="rect" id="node90" href="$_householder.html" title="Householder" alt="" coords="2489,155,2583,181"/>
<area shape="rect" id="node5" href="$_core.html" title="Core" alt="" coords="2101,229,2152,256"/>
<area shape="rect" id="node76" href="$_cholesky.html" title="Cholesky" alt="" coords="2132,155,2208,181"/>
</map>