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

asked 2015-11-30 04:30:48 +0100

edwardzpeng gravatar image

updated 2015-11-30 08:14:06 +0100

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?

edit retag flag offensive close merge delete