There are some defects in dual abelian group: 1) The base ring is currently CC. It would be nice if it were CyclotomicField of the exponent of the of group. There's an old (2006) from David Joyner about this on sage-support, and Kiran asked for it. I'd like to pop that request to the top of the stack
2) The dual group is not an instance of AbelianGroup. 3) If (2) is fixed, the dual of the dual should be the original group. 4) It would be good if there were a fourier transform method, though I'm not sure of the right place for it to live. For example if f is a map from an AbelianGroup A to some ring R, then you might have the method A.fourier_transform(f) which would produce a map from A.dual_group() to R (more specifically R tensor A.dual_group().base_ring()). -- 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
