Ask Your Question

edwardzpeng's profile - activity

2015-11-30 08:14:29 +0200 received badge  Student (source)
2015-11-30 08:11:44 +0200 asked a question 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?