Random Issue Bot (Dec 17 2020 at 14:26):
Today I chose issue 2872 for discussion!
ideal.is_coprime is about elements not ideals, that's confusing
Created by @Johan Commelin (@jcommelin) on 2020-05-30
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Dec 17 2020 at 14:36):
I can't find ideal.is_coprime any more -- that's even more confusing!
Kevin Buzzard (Dec 17 2020 at 14:43):
ideal.is_coprime on this page indicates that perhaps the change was already made (
Floris van Doorn (Dec 18 2020 at 18:30):
Yes, it's been fixed (this commit for the overview file)
Last updated: May 09 2021 at 15:11 UTC