Code: Select all
use application "tropical";
my $mQuadric = [
[2,0,0,2,0,0,0,0,0,0,0,0],
[1,1,0,1,1,0,0,0,0,0,0,0],
[0,2,0,0,2,0,0,0,0,0,0,0],
[1,0,1,1,0,1,0,0,0,0,0,0],
[0,1,1,0,1,1,0,0,0,0,0,0],
[0,0,2,0,0,2,0,0,0,0,0,0],
[2,0,0,1,0,0,1,0,0,0,0,0],
[1,1,0,0,1,0,1,0,0,0,0,0],
[1,0,1,0,0,1,1,0,0,0,0,0],
[2,0,0,0,0,0,2,0,0,0,0,0],
[1,1,0,1,0,0,0,1,0,0,0,0],
[0,2,0,0,1,0,0,1,0,0,0,0],
[0,1,1,0,0,1,0,1,0,0,0,0],
[1,1,0,0,0,0,1,1,0,0,0,0],
[0,2,0,0,0,0,0,2,0,0,0,0],
[1,0,1,1,0,0,0,0,1,0,0,0],
[0,1,1,0,1,0,0,0,1,0,0,0],
[0,0,2,0,0,1,0,0,1,0,0,0],
[1,0,1,0,0,0,1,0,1,0,0,0],
[0,1,1,0,0,0,0,1,1,0,0,0],
[0,0,2,0,0,0,0,0,2,0,0,0],
[2,0,0,1,0,0,0,0,0,1,0,0],
[1,1,0,0,1,0,0,0,0,1,0,0],
[1,0,1,0,0,1,0,0,0,1,0,0],
[2,0,0,0,0,0,1,0,0,1,0,0],
[1,1,0,0,0,0,0,1,0,1,0,0],
[1,0,1,0,0,0,0,0,1,1,0,0],
[2,0,0,0,0,0,0,0,0,2,0,0],
[1,1,0,1,0,0,0,0,0,0,1,0],
[0,2,0,0,1,0,0,0,0,0,1,0],
[0,1,1,0,0,1,0,0,0,0,1,0],
[1,1,0,0,0,0,1,0,0,0,1,0],
[0,2,0,0,0,0,0,1,0,0,1,0],
[0,1,1,0,0,0,0,0,1,0,1,0],
[1,1,0,0,0,0,0,0,0,1,1,0],
[0,2,0,0,0,0,0,0,0,0,2,0],
[1,0,1,1,0,0,0,0,0,0,0,1],
[0,1,1,0,1,0,0,0,0,0,0,1],
[0,0,2,0,0,1,0,0,0,0,0,1],
[1,0,1,0,0,0,1,0,0,0,0,1],
[0,1,1,0,0,0,0,1,0,0,0,1],
[0,0,2,0,0,0,0,0,1,0,0,1],
[1,0,1,0,0,0,0,0,0,1,0,1],
[0,1,1,0,0,0,0,0,0,0,1,1],
[0,0,2,0,0,0,0,0,0,0,0,2]];
my $cQuadric = [1,2,1,2,2,1,0,0,0,1,0,0,0,2,1,0,0,0,2,2,1,0,0,0,0,0,0,1,0,0,0,0,0,0,2,1,0,0,0,0,0,0,2,2,1];
my $Tf = new Hypersurface<Min>(MONOMIALS=>$mQuadric, COEFFICIENTS=>$cQuadric);
use application "fan";
my $TTf = new PolyhedralFan(INPUT_RAYS=>$Tf->VERTICES, INPUT_CONES=>$Tf->MAXIMAL_POLYTOPES);
my $TfProj = projection($TTf,[0,4,5,6,7,8,9,10,11,12]);
Code: Select all
polymake: ERROR: "/Applications/polymake.app/Contents/Resources/polymake/share/polymake/apps/fan/rules/common.rules", line 385: projection: LINEAR_SPAN_NORMALS has wrong number of rows