bug in computing syzygy module for tower rings involving the Weyl algebra in the presence of Schreyer orders #2789
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.