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

Stream: triage

[Random Issue Bot]

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?

[Kevin Buzzard]

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

[Kevin Buzzard]

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).

[Floris van Doorn]

Yes, it's been fixed (this commit for the overview file)