Given a resolution F of an ideal, with carries additional homogenity with respect to the finer graded ring S, we compute the grading.
a=3,b=3 |
I=carpet(a,b); |
F = res(I,FastNonminimal=>true,LengthLimit=>2); |
betti F |
degs=apply(a+1,i->{1,0,i})|apply(b+1,j->{0,1,j}) |
S=coefficientRing ring I[gens ring I,Degrees=>degs] |
Fall = allGradings(F,S) |
netList apply(length Fall+1,i->tally degrees Fall_i) |