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] |