On Fri, Jun 27, 2008 at 3:06 PM, John Cremona <[EMAIL PROTECTED]> wrote: > > 2008/6/27 William Stein <[EMAIL PROTECTED]>: >> >> On Tue, Jun 24, 2008 at 10:31 PM, Nick Alexander <[EMAIL PROTECTED]> wrote: >>> >>> Could someone who knows orders in number fields verify that they are >>> not at the moment unique parents and, if that is the desired >>> behaviour, explain why? >> >> I do not like the current behavior. I would be very with you changing >> it so orders are unique. > > Agreed. Why not be more restrictive and insist that the number of > gens passed is equal to the field degree and that the elements are > linearly independent? Then the constructor should check that the > Z-module they span is closed under multiplication and contains 1, else > raise an error.
That would make doing this illegal: sage: K.<a> = NumberField(x^7 + 1, 'a') sage: O1 = K.order([a]) This would I think be extremely annoying. -- William --~--~---------~--~----~------------~-------~--~----~ 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://www.sagemath.org -~----------~----~----~----~------~----~------~--~---