Hi, all,
I stumbled across what seems to be a bug/missing feature/misunderstanding while
experimenting with orders.
Let f be a univariate polynomial (say, over QQ). I used both quadratic and
cubic polynomials.
Then the following leads to an unexpected problem:
K. = NumberField(f)
OK = K.max
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 have a coercion error in ell_number_field
based on this.
{{{
sage: K. = NumberField(x^2 + 1, 'a')
sage: O1 = K.order([a, 1])
sage: O2
