For a field extension over Q of 2 values, for example M=QQ(i, sqrt (2)), it is possible to find an absolute field X by the following
L.<b>=NumberField(x^2-2) R.<t>=L[] M.<c>=L.extension(t^2+1) (this gets M) X.<d>=M.absolute_field() so far so good. A field in terms of b and c has now become a field in terms of just one value, d. Also, the absolute_field command also gives functions between M and X, namely definable as: from_X, to_X = X.structure() The units of M, X respectively can be found by X.units() M.units() However, would it now make sense if the units of M corresponded to the units of X? Or is that wrong? If so, the following statement [to_X(g) for g in M.units()]==X.units() would return True. But it does not. Nor are the values of X.units() a rearrangement of the values in the set on the left hand side. Why doesn't this work? --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
