I think I have something about the generator thing :
sage: N=25
sage: K = CyclotomicField(N)
sage: ZK. = K.ring_of_integers()
sage: ZK
Maximal Order in Cyclotomic Field of order 25 and degree 20
sage: x
1
sage: y = ZK.gen(0)
sage: y
1
sage: z = ZK.gen(1)
sage: z
zeta25
sage: z2 = ZK.gen(2)
sage: z
Tanks for your help. The "lambda: True" thing is really odd but seems to
work... I will try to find how PARI and Sage (cyclotomic) ring of integers
are implemented.
On Tuesday, 6 May 2014 16:24:26 UTC+1, John Cremona wrote:
>
> On 6 May 2014 16:11, > wrote:
> > I'm sorry but I use the notebook
I'm sorry but I use the notebook / worksheet working on virtual box so
copy-paste the file is long and painful. So actually I wrote it manually,
that's why there is a mistake on "Fractional". My version is 5.13. I know I
could have use K.ring_of_integers(), but I don't want that : I don't want
Hi.
I have some issue with ideals in number fields. I wanted to test something
about cyclotomic polynomials, so I had the following result :
sage: N = 25
sage: K. = CyclotomicField(N)
sage: n = K.degree()
sage: ZK = ZZ[zeta]
sage: ZK
Order in Number Field in zeta0 with defining Polynomial x^2