prune over number fields doesn't return a minimally generated module
Nobody has claimed this yet.
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
```
S = QQ[a]/(a^3-a-1)
kk = toField S
M = coker sub(random(S^3, S^{-2,-2}) + random(S^3, S^{-1,-1}) + random(S^3, S^2), kk)
prune M -- BUG!!: first term should be kk^1 on the nose, I would prefer.
```
The last line gives
```
i131 : prune M -- BUG!!: first term should be kk^1 on the nose, I would prefer.
o131 = cokernel | 1 0 |
| 0 1 |
| 0 0 |
```
whereas it should return `kk^1`
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 issue by running the provided Macaulay2 snippet and inspecting the implementation of prune. Compare the current cokernel output with the expected kk^1 result; done means prune reduces this example to the minimally generated module without changing the reported module.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 48/100