We compute the degrees of the target and source of the skew-symmetric presentation matrix of a generic codimension 3 Gorenstein ideals with h-vector hV.
i1 : S=ZZ/10009[x_0..x_3]
o1 = S
o1 : PolynomialRing
|
i2 : hV={1,3,6,6,3,1}
o2 = {1, 3, 6, 6, 3, 1}
o2 : List
|
i3 : BEdegrees hV
o3 = ({-4, -3, -3, -3, -3}, {-4, -5, -5, -5, -5})
o3 : Sequence
|
i4 : (J,M)=pickGorensteinIdeal(S,hV);
|
i5 : betti res J
0 1 2 3
o5 = total: 1 5 5 1
0: 1 . . .
1: . . . .
2: . 4 1 .
3: . 1 4 .
4: . . . .
5: . . . 1
o5 : BettiTally
|
i6 : hVector J
o6 = {1, 3, 6, 6, 3, 1}
o6 : List
|