Macaulay2 / Macaulay2/M2

bug in computing syzygy module for tower rings involving the Weyl algebra in the presence of Schreyer orders

Open
#2,789 2 comments 0 reactions 0 assignees View on GitHub
Engine Gröbner bases WeylAlgebras
Dominant language
Macaulay2
Stars
435
Forks
297
Avg merge
4d 20h
Merged PRs (30d)
11

Description

Greg Smith and I ran across the following bug.
```
R = ZZ/101[s,t, Degrees => {0,0}]/(s^2-t^2-1)
S = R[x,y,Dx,Dy, WeylAlgebra => {{x,Dx}, {y,Dy}}, Degrees => {1, 1, -1, -1}, Join => false]
I = ideal(x*Dx + s*t, y*Dx)
m = gens I
syz m -- ok
m1 = schreyerOrder m
syz m1 -- BUG!!
```

Either this should not be allowed or the code the code should be fixed (preferable), but a divide by zero error is not optimal...!

The atttempt to divide by zero has a misspelling as well.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reproducing the provided Macaulay2 example, focusing on the syz call after schreyerOrder m. Trace the divide-by-zero failure and its misspelled message; done means the case no longer fails with that error, either by fixing the computation or explicitly preventing the unsupported operation.

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
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.