Re: [sage-devel] Sage crashes when attempting to coerce Magma element to boolean

2021-10-18 Thread David Roe
See https://trac.sagemath.org/ticket/32602. David On Tue, Oct 19, 2021 at 1:02 AM Daniel Hast wrote: > I think I've found a bug in Sage's interface to Magma: Attempting to > coerce a Magma element into a Python boolean causes Sage to crash with a > stack overflow error. > > To reproduce, start S

[sage-devel] Sage crashes when attempting to coerce Magma element to boolean

2021-10-18 Thread Daniel Hast
I think I've found a bug in Sage's interface to Magma: Attempting to coerce a Magma element into a Python boolean causes Sage to crash with a stack overflow error. To reproduce, start Sage and run the following line of code (note: the same bug also seems to occur if magma(True) is replaced with

[sage-devel] Re: Bug computing kernel of ring homomorphism GCA

2021-10-18 Thread Trevor Karn
I forgot to add that Sage does recognize that f(a1*b2) is nonzero: sage: f(a1*a2) b1*b2 On Monday, October 18, 2021 at 12:21:47 PM UTC-5 Trevor Karn wrote: > Hi all, > > It looks like I have found a bug in the `.kernel()` method of a ring > homomorphism from one `GradedCommutativeAlgebra` to

[sage-devel] Bug computing kernel of ring homomorphism GCA

2021-10-18 Thread Trevor Karn
Hi all, It looks like I have found a bug in the `.kernel()` method of a ring homomorphism from one `GradedCommutativeAlgebra` to another. I think I have identified the issue, but was hoping to post here for confirmation that my thinking makes sense before opening a trac ticket and working on a