Hi, I don't know if this counts as a bug, so sorry if I'm posting this to the wrong list. Say I define a cyclotomic field in Sage as follows:
sage: Q3 = CyclotomicField(3) sage: z3 = Q3.0 Then Sage can compute the complex conjugate independent of an embedding into the complexes: sage: z3.conjugate() -zeta3 - 1 But I get a different answer by typing: sage: conjugate(z3) conjugate(e^(2/3*I*pi)) Wouldn't it make sense for these to do the same thing? Another difference comes up as follows: sage: Q2.<s> = QuadraticField(-2) sage: s.conjugate() -s sage: conjugate(s) -I*sqrt(2) Yet, the problem doesn't exist with this slightly different definition: sage: QQ2.<ss> = QQ[sqrt(-2)] sage: ss.conjugate() -a sage: conjugate(ss) -a Best, Jon
-- 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 URL: http://www.sagemath.org
