Let M be a module over a polynomial ring P = kk[x0,0..x0,a0..xn-1,0..xn-1,an-1] graded with degree xi,j = ei, the i-th unit vector, and let b = b0..bn-1 be a list of integers. The code computes the multigraded Hilbert polynomial mH(h0,..,hn-1) and returns H(h) = mH(b0*h0, .., bn-1*hn-1).
i1 : P = productOfProjectiveSpaces {1,1}
o1 = P
o1 : PolynomialRing
|
i2 : Delta = smallDiagonal P
o2 = ideal(- x x + x x )
0,1 1,0 0,0 1,1
o2 : Ideal of P
|
i3 : M = P^1/(Delta^2)
o3 = cokernel | x_(0,1)^2x_(1,0)^2-2x_(0,0)x_(0,1)x_(1,0)x_(1,1)+x_(0,0)^2x_(1,1)^2 |
1
o3 : P-module, quotient of P
|
i4 : correspondencePolynomial (M,{1,1})
o4 = 4s
o4 : QQ[s]
|
i5 : correspondencePolynomial (M,{2,2})
o5 = 8s
o5 : QQ[s]
|