Incorrect kernel computation
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
there's definitely something wrong here: (kernel should be generated by x-y)
```
i1 : F=frac(QQ[x])
o1 = F
o1 : FractionField
i2 : R1=F[]
o2 = R1
o2 : PolynomialRing
i3 : R2=F[y]
o3 = R2
o3 : PolynomialRing
i4 : f=map(R1,R2,{x})
o4 = map (R1, R2, {x, x})
o4 : RingMap R1 <--- R2
i5 : kernel f
o5 = ideal ()
o5 : Ideal of R2
i6 : f (x-y)
o6 = 0
o6 : R1
```
Contributor guide
No contributing guide indexed for this repository
Research direction
Reproduce the transcript in a Macaulay2 session, beginning with the construction of R1, R2, and the map f, then inspect the kernel computation for f. The issue is resolved when kernel f includes the demonstrated relation x-y rather than returning the empty ideal.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100