David, I was looking at DualAbelianGroup. I'm very surprised you made it map to floating point complex numbers, at least for finite groups. It would make way more sense to make to a cyclotomic field instead, since everything would be exact then. That's how I define Dirichlet characters, which are the dual group of (Z/nZ)^*. (Actually, with Dirichlet characters, one can also map to CC if desired -- it's an option.)
William sage: G.<a> = DirichletGroup(11) sage: a(2) zeta10 sage: parent(a(2)) Cyclotomic Field of order 10 and degree 4 --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
