Zulip Chat Archive

Stream: triage

Topic: issue #2872: ideal.is_coprime is about elements not ideal...


view this post on Zulip 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
Labels: bug

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Kevin Buzzard (Dec 17 2020 at 14:36):

I can't find ideal.is_coprime any more -- that's even more confusing!

view this post on Zulip Kevin Buzzard (Dec 17 2020 at 14:43):

Searching for ideal.is_coprime on this page indicates that perhaps the change was already made (is_coprime in is_coprime_of_is_root_of_eval_derivative_ne_zero is _root_.is_coprime).

view this post on Zulip 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