Hi All, Is there any way in sage to construct the localisation (or localization if you prefer) of a ring at a prime ideal? For example, I would like to do the following:
sage: R=ZZ.extension(cyclotomic_polynomial(6),'xi') sage: xi=R.gen(1) sage: I=R.ideal(7,xi+4) sage: RI = R.localise(I) Andrew -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
