Added documentation of the basis_span method of the class VectorSpace