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?
add a comment