Dear list, Starting from a finite field, say
F = GF (16). I want to consider a subfield, say E = GF(4) and have a list of all sub-vectorspaces of F, which are e.g. 1- dimensional E-vectorspaces. The functions FF = F.vector_space() S = FF.subspaces(4) seem to be a possible start. What seems left to do now, is to test the elements of S for the property of being E-vectorspaces. That's the place where I'm stuck -- since E seems not be realized as a subfield of F. Since, I'm a little unsure, if my approach is even a good one, let me ask some questions 1. Is there a canonical way, to build a tower of finite fields, i.e. GF (p)<E<F ? 2. Is there a way to tell the vector_space()-function of a field, to choose a base-field different from the underlying prime field? Thanks in advance and kind regards, Konstantin --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
