Stream: Is there code for X?
Kenji Nakagawa (Sep 07 2020 at 14:31):
Hi, recently I've wanted to formalize some stuff with neotherian domains and localizations at the nonzero prime P. More specifically, I want to show that for any other prime Q, QR_P=R_P, and several other related facts, however, I'm not sure if there's already a way to do this. At first I thought this was done with fractional ideals, but after thinking about it some, realized it wasn't.
Anne Baanen (Sep 07 2020 at 14:37):
Maybe docs#ideal.map helps?
Kenji Nakagawa (Sep 07 2020 at 15:42):
Thanks, this is precisely what I want!
Last updated: May 07 2021 at 22:14 UTC