Re: [sage-support] Compute equalizer of maps between polynomial rings?

2022-08-26 Thread pedritomele...@gmail.com
Yes, probably working up to some degree. I do no know if this could help. El El jue, 25 ago 2022 a las 18:09, John H Palmieri escribió: > One issue is that f-id is not a ring homomorphism. So do I restrict to a > range of degrees, convert to vector spaces, and compute the kernel? I'm not > sure

Re: [sage-support] Compute equalizer of maps between polynomial rings?

2022-08-25 Thread John H Palmieri
One issue is that f-id is not a ring homomorphism. So do I restrict to a range of degrees, convert to vector spaces, and compute the kernel? I'm not sure of the right approach. On Thursday, August 25, 2022 at 3:11:12 AM UTC-7 pedrito...@gmail.com wrote: > Dear John, > Wouldn’t be of some help

Re: [sage-support] Compute equalizer of maps between polynomial rings?

2022-08-25 Thread John H Palmieri
Good question, and I don't whether the subring is finitely generated. I want to compute examples — what's the subring in a range of degrees — to see what's going on. On Wednesday, August 24, 2022 at 11:22:31 PM UTC-7 dim...@gmail.com wrote: > > > On Thu, 25 Aug 2022, 00:38 John H Palmieri,

Re: [sage-support] Compute equalizer of maps between polynomial rings?

2022-08-25 Thread pedritomele...@gmail.com
Dear John, Wouldn’t be of some help to consider the kernel of f-Id (with Id the identity map)? Best, Pedro El El jue, 25 ago 2022 a las 8:22, Dima Pasechnik escribió: > > > On Thu, 25 Aug 2022, 00:38 John H Palmieri, > wrote: > >> I have a polynomial ring R = k[x1, x2, ..., xn] and a ring

Re: [sage-support] Compute equalizer of maps between polynomial rings?

2022-08-25 Thread Dima Pasechnik
On Thu, 25 Aug 2022, 00:38 John H Palmieri, wrote: > I have a polynomial ring R = k[x1, x2, ..., xn] and a ring homomorphism f: > R -> R. In case it matters, k=GF(2). I would like to find the subring of > elements x satisfying f(x) = x: that is, I want to find the equalizer of > the pair of maps