See http://trac.sagemath.org/ticket/15348. It turned out that the situation was worse than I realised, nothing to do with division, but with the fact that as I had defined it, Zi.gens() is [1,i] (module generators) so that the variable i is assigned to the first of theose which is 1!!!
sage: Zi.<i> = ZZ.extension(x^2+1) sage: i 1 sage: 123+456*i 579 On 21 December 2014 at 12:07, Chris Wuthrich <[email protected]> wrote: > > This reminded me that long, long ago, I thought about Z[i] in sage for the > same reason (teaching G13FNT as John will remember) : > http://trac.sagemath.org/ticket/7545 > > I believe that the default I in sage should have the ring Z[i] as parents, > the elements of Z[i] should print as a+bi not bi+a; they should have gcd, > factorisation, ... just like in pari. One might argue against implementing > Z[i] as a particular case, but there might be others that could used it for > teaching like John and me. > > Of course the patch there is useless, but it points to what might be usefull > to have. > > Chris > > -- > You received this message because you are subscribed to the Google Groups > "sage-nt" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-nt. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-nt" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send an email to [email protected]. Visit this group at http://groups.google.com/group/sage-nt. For more options, visit https://groups.google.com/d/optout.
