pdim is inconsistent
Open
Nobody has claimed this yet.
Core
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
In the following example, I give two generating sets for the same module, and pdim gives a different answer for each.
i1 : R = QQ[x,y];
A = matrix {{-2*y+1, x^2+y^2-y, 2*x*y-x}, {2*x, 0, 2*y^2-2*y}};
B = matrix {{2*x*y-x, 4*x^2-1}, {2*y^2-2*y, 4*x*y-2*x}};
2 3
o2 : Matrix R <--- R
2 2
o3 : Matrix R <--- R
i4 : imA = image A
o4 = image | -2y+1 x2+y2-y 2xy-x |
| 2x 0 2y2-2y |
2
o4 : R-module, submodule of R
i5 : imB = image B
o5 = image | 2xy-x 4x2-1 |
| 2y2-2y 4xy-2x |
2
o5 : R-module, submodule of R
i6 : imA == imB
o6 = true
i7 : pdim imA
o7 = 1
i8 : pdim imB
o8 = 0
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the reported QQ[x,y] example in Macaulay2, starting with the image and pdim entry points and checking that imA == imB. Compare the two pdim results and identify the responsible computation; done means equivalent generating sets receive the same projective dimension.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100