tree abc30c95f323686fc0c16cc5daefc3f6f05fa9f5
parent 6b9d647fc2939f657ac1622717d2fd125cc42879
author Gael Guennebaud <g.gael@free.fr> 1231347497 +0000
committer Gael Guennebaud <g.gael@free.fr> 1231347497 +0000

fine tuning in dot() and sum(), and prepare for the sparse versions...