Macaulay2 / Macaulay2/M2

resolution by homogenization refuses multigraded rings, so towers fall back to resolution by syzygies

Open
#741 3 comments 0 reactions 1 assignee Claimed by @DanGrayson View on GitHub
Core
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

The following code gives an error. It is likely creating a new ring for homogenization, and incorrectly has that ring set to be a bigrading?

```
kk = QQ
A = kk[a,b,c,d]
B = A[x,y,z, Join=>false]
I = ideal(x-a-1, y-2, z-3)
res I
```

Note that the following works fine:

```
kk = QQ
A = kk[a,b,c,d]
B = A[x,y,z]
I = ideal(x-a-1, y-2, z-3)
res I
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.