How to find a basis for a vector space