VectorSpacesForGAPDays