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+(-x)*m2 1 sage: I=R.ideal([m1,m2]) sage: I.is_trivial() False sage: version() 'SageMath version 8.5, Release Date: 2018-12-22' In above example, the "I.is_trival()" should return the "True" instedad of "False" -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
