I'm using version 3.4 - this probably explains it!
thanks
On Jul 22, 12:21 pm, davidloeffler wrote:
> On Jul 21, 6:01 pm, mac8090 wrote:
>
>
>
>
>
> > 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
>
> >
On Jul 22, 12:21 pm, davidloeffler wrote:
> On Jul 21, 6:01 pm, mac8090 wrote:
>
>
>
> > 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.=NumberField(x^2-2)
> > R.=L[]
> > M.=L.extension(t^2+1)
>
>
On Jul 21, 6:01 pm, mac8090 wrote:
> 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.=NumberField(x^2-2)
> R.=L[]
> M.=L.extension(t^2+1)
>
> (this gets M)
>
> X.=M.absolute_field()
>
> so far so good. A
M.units() will give a set of units which are a Z-basis for the units
modulo roots of unity. There is no canonical basis, so there's no
reason why (even if the unit ranks are the same) you should get the
same generators.
For more functionality with units construct U=X.unit_group() and look
at the
