ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Tue, 27 Feb 2018 16:04:13 +0100Normal base of a finite extersion fieldhttps://ask.sagemath.org/question/41281/normal-base-of-a-finite-extersion-field/ Hi all,
any finite extension (say degree *n*) of a field *K* may be considered as vector space over *K*. In particular, the roots of any irreducible polynomial *f* of degree *n* over a finite field *K* constitute a basis of this vector space.
Does SageMath provide a routine to construct the vector space for given *K* and *f*?
Such a vector space seems to be used internally when constructing *Kn=GF(K.order()^n,'a',modulus=f)*. If so then the question becomes: Is this vector space open to the public? And how can I use it?
Thanks in advance
Wolfgang JansenwjansenTue, 27 Feb 2018 16:04:13 +0100https://ask.sagemath.org/question/41281/