how can i get a relative vectorspace of extension field over Finite field
In Sage, I can do:
sage: q = 128 sage: n = 37 sage: K.<a> = GF(q) sage: L.<b> = K.extension(n) sage: V = L.vector_space() Vector space of dimension 259 over Finite Field of size 2
But i would like something like
sage: W = L.relative_vector_space(K) Vector space of dimension 37 over Finite Field of size 128
how can i get that?