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.<zeta> = CyclotomicField(N)
sage: n = K.degree()
sage: ZK = ZZ[zeta]
sage: ZK
 Order in Number Field in zeta0 with defining Polynomial x^20+x^15+x^10+x^5+
1

sage: I=ZK.ideal(5,zeta-1)
sage: I
 Fractionnal ideal (5,zeta0-1)

sage: I.factor()
 (Fractionnal ideal (5,zeta0-1))^20

sage: I==I^20
 False

sage: zeta0
 1

sage: zeta
 zeta

I think there is a problem with the zeta0 (actually I tried to enforce the 
name of the ZK variable by ZK.<zeta_int> = ZZ[zeta] or  ZK.<zeta0> = 
ZZ[zeta] or  ZK.<zeta> = ZZ[zeta] but that doesn't work : it gives the same 
result.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to