On Oct 29, 2006, at 6:36 PM, William Stein wrote:
> additive_order, multiplicative_order, and is_zero all make perfect > sense for p-adics, so i don't want to delete them. I'm not sure I agree with this. When I ask for e.g. the multiplicative order of an element of a p-adic field, the best answer I can get is "it lives in some subgroup of Z". But it's weird for the multiplicative_order to be returning what is essentially a generator of the subgroup. If someone really wants the multiplicative order modulo their current precision, I think they should have to cast explicitly. David --~--~---------~--~----~------------~-------~--~----~ 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/ -~----------~----~----~----~------~----~------~--~---
