how can i get a relative vectorspace of extension field over Finite field

asked 9 years ago

edwardzpeng gravatar image

updated 9 years ago

slelievre gravatar image

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?

Preview: (hide)