Given a number field L, I can construct a vector space V over the rational field as follows :
V,fr,to = L.vector_space()
Now, if I want to define the same vector space over a subfield of L, say K rather than the rational field, is there any command.