tree 588737cbea03f9031d0514575908a6ba9c671cff
parent 905beb0953c2ae5064f4b7b5bf534555a0010220
author Gael Guennebaud <g.gael@free.fr> 1277394518 +0200
committer Gael Guennebaud <g.gael@free.fr> 1277394518 +0200

block householder : minor optimization