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.<a> = NumberField(f) OK = K.maximal_order() O1 = K.order(a) O2 = ZZ[a] Then I get O1.ambient() is O2.ambient() False (the two are isomorphic). This causes problems, for example, in O2.index_in(OK) because “self” and “other” have different ambient fields. I tried to figure out why the “ZZ[a]” construction doesn’t work as I would expect, but got lost in a maze of calls and caches :-} As a side issue, O2 does not have a coercion map to OK. Is that intended? Thoughts, pointers, etc. always appreciated. Thanks, in advance. Justin -- Justin C. Walker, Curmudgeon at Large Institute for the Absorption of Federal Funds ----------- I want to die, peacefully in my sleep, like my grandfather; not screaming in terror, like his passengers. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/9C00C32B-CA17-4838-945B-536041875987%40mac.com.
