minimalPresentation for modules over ZZ
Open
@mikestillman is already working on this.
Since Apr 27, 2016.
Engine
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
The following bug was reported by Brett Barwick, on May 16, 2013.
R = ZZ[x,y]
f = matrix{{x^3,3_y+1,y^3+2_x*y^2}}
P = minimalPresentation ker f
res P
This worked on earlier versions of M2, but not 1.6 (the module P is way more complicated than it should be, and so the resolution is much more complicated). A workaround is to replace "ker f" with "trim ker f", resulting in a much simpler presentation. But this should not be necessary.
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.
Assessment
This issue has not been assessed yet.