Macaulay2 / Macaulay2/M2

Incorrect kernel computation

Open
#2,004 11 comments 0 reactions 0 assignees View on GitHub
Engine
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.