ASKSAGE: Sage Q&A Forum - Individual question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Fri, 05 Sep 2014 15:49:05 -0500Problems with heft vectors in M2https://ask.sagemath.org/question/24038/problems-with-heft-vectors-in-m2/I hope this question is on-topic on this forum.
I am working with the "NormalToricVarieties" package in M2.
Part of my research involves determining when the higher cohomology groups of certain twists of the structure sheaf of a toric variety vanish. I have a specific example where in computing HH^1(X,OO_X(1,1)) I am confronted with the following error:
stdio:8:3:(3): error: heft vector required that is positive on the degrees of the variables {0, 1, 2, 3, 4, 5, 6}
I know that this group should be trivial but somehow the absence of a heft vector is bothering the compiler. I'm not sure whether or not there is a way to get M2 to compute this group.
Does anyone happen to know of any workarounds in this situation?
The example I am using is as follows:
loadPackage "NormalToricVarieties";
Rho = {
{ 0 , 0 , 0 , 0 , 1 }
, { 1 , 0 , 0 , 0 , 1 }
, { 0 , 1 , 0 , 0 , 1 }
, { 0 , 0 , 1 , 0 , 1 }
, { 0 , 0 , 0 , 1 , 1 }
, { -1 , -2 , -1 , -1 , 1 }
, { -2 , -1 , -1 , -1 , 1 }
};
Sigma = {
{ 2 , 3 , 4 , 5 , 6 }
, { 0 , 1 , 2 , 3 , 4 }
, { 0 , 1 , 2 , 3 , 5 }
, { 0 , 1 , 2 , 4 , 5 }
, { 0 , 1 , 3 , 4 , 5 }
, { 0 , 2 , 3 , 4 , 5 }
};
X = normalToricVariety(Rho,Sigma);
HH^2(X,OO_X(1,1)) -- HH^n for n=2 works fine
HH^1(X,OO_X(1,1)) -- HH^n for n=1 gives an errorFri, 05 Sep 2014 15:49:05 -0500https://ask.sagemath.org/question/24038/problems-with-heft-vectors-in-m2/