next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
K3Carpets :: schreyerName

schreyerName -- get the names of generators in the (nonminimal) Schreyer resolution according to Schreyer's convention

Synopsis

Description

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)

Ways to use schreyerName :