sums of lengths of vectors