direct sums of vector spaces via tuples of vectors - View it on GitHub