> Note that the integers (which should probably be treated as a special > case) > does have sufficient general ideal theory code available: > > sage: I = ZZ.ideal(2) > sage: I = ZZ.ideal(2) > sage: ZZ.ideal(1) == I + J > True > > but the p-adics apparently do not: > > sage: ZZp = pAdicRing(2) > sage: I = ZZp.ideal(2) > sage: J = ZZp.ideal(3) > sage: ZZp.ideal(1) == I + J > > Just a note: after #12053 p-adic ideals will work for this. David
-- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
