Although Jeroen disagreed with the beginning of my comments, my opinion developed and I think that what I ended up with is consistent with the general consensus. (Good thing! Disagreeing with Jeroen would not be a good way to start the week!). And yes, of course we only care about finitely-generated ideals being principal but non-f.g. ideals are probably quite hard to define in Sage, [I will now retreat while someone comes up with an example.]
John On 25 January 2015 at 23:53, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > All right #17671 (xgcd for FractionFields) needs review. > > -- > 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 post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.