We name the generators of the syzygies by the list ofthe monomial parts of the leadTerm with position m recursively:
schreyerName(F,i,n) = append(schreyerName(F,i-1,m),mon)
where mon denotes the monomial part and m the position in F(i-1) of leadTerm F.ddin.
(a,b)=(5,4) |
I = carpet(a,b); |
F = res(I, FastNonminimal =>true) |
betti F |
i=3,n=10 |
schreyerName(F,3,10) |
h=schreyerName F; |
h#8 |
h#7_20 |
h#7_20 == schreyerName(F,7,20) |