On 2012-05-03, Andrew Mathas <andrew.mat...@sydney.edu.au> wrote: > ------=_Part_1482_19734611.1336003751172 > Content-Type: text/plain; charset=ISO-8859-1 > > 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) I vaguely recall this can be done via saturation. Well, if you know how to do this in Singular, then you can do it in Sage too :) Dima > > 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
