Bug in multigraded Ext computation
Open
@ggsmith is already working on this.
Since Feb 14, 2022.
Core
NormalToricVarieties
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
```m2
needsPackage "NormalToricVarieties"
X = toricProjectiveSpace 1 ** toricProjectiveSpace 2
HH^1(X, OO_X(-2,2)) -- QQ^6
Ext^1(OO_X, OO_X(-2,2)) -- 0
```
The two vector spaces should be equal (Hartshorne III 6.3), and I believe `QQ^6` is the correct one.
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.