I agree that this is a bug; are you able to open a ticket?
The problem is that ideals in Z[x] use the generic ideal code, which
defines equality based on just comparing ordered lists of generators. I
think the right thing to do is to change that definition to the normal
definition of equality of
I calculate whether the ideals in ZZ[x] are coprime. I find a bug in
function "is_trival()" from 'SageMath version 8.5, Release Date: 2018-12-22'
Following, I will show you a example：
sage: R
Univariate Polynomial Ring in x over Integer Ring
sage: m1
x^2 + 1
sage: m2
x^2 + x + 1
sage: (1+x)*m1+
