On Tue, Mar 10, 2009 at 4:52 PM, critch <crit...@gmail.com> wrote: > > In each case below "I" and "J" are defined by different choices of > generators and are recognized as the same ideal. In case 1 the > quotients are considered equal and in case 2 they are considered > unequal. > > (I checked this with the latest version) > > Case 1: > ---------- > > sage: R.<x> = PolynomialRing(QQ) > sage: I = R.ideal([x + x^2, x]) > sage: J = R.ideal([2*x + 2*x^2, x]) > sage: S = R.quotient_ring(I) > sage: U = R.quotient_ring(J) > sage: I==J > True > sage: S==U > True > > Case 2: > ---------- > > sage: R.<x> = PolynomialRing(QQ) > sage: I = R.ideal([x + x^2]) > sage: J = R.ideal([2*x + 2*x^2]) > sage: S = R.quotient_ring(I) > sage: U = R.quotient_ring(J) > sage: I==J > True > sage: S==U > False > > *** > > Cheers! Let me know what happens about this :) > > - Critch
Thanks. This is now trac #5477: http://trac.sagemath.org/sage_trac/ticket/5477 William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
