As pointed out in #23971, the following is unexpected if you're used to floor division in Z:
sage: R = GaussianIntegers() sage: (R(1)//1).parent() Number Field in I with defining polynomial x^2 + 1 For Gaussian integers, we can do better: there is a reasonable quo_rem algorithm and R is norm-Euclidean. But it's not clear to me what the right thing to implement is, since most orders are not norm-Euclidean, and it would be strange to have the meaning of floor division vary by number field. Any thoughts? I do think that there is an expectation in Sage that the parent of a//b is the same as the common parent of a and b, while a/b changes the parent to the fraction field. David -- 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 https://groups.google.com/group/sage-nt. For more options, visit https://groups.google.com/d/optout.
