Code: Select all
$points = new Matrix<Int>(
[[1,0,0], [1,1,0], [1,2,0], [1,3,0], [1,4,0],
[1,0,1], [1,1,1], [1,2,1], [1,3,1],
[1,0,2], [1,1,2], [1,2,2],
[1,0,3], [1,1,3],
[1,0,4]]);
$v00 = 0; $v10 = 1; $v20 = 2; $v30 = 3; $v40 = 4;
$v01 = 5; $v11 = 6; $v21 = 7; $v31 = 8;
$v02 = 9; $v12 = 10; $v22 = 11;
$v03 = 12; $v13 = 13;
$v04 = 14;
$cells = new Array<Set<Int>>(
[[$v00,$v11,$v02], [$v00,$v10,$v11], [$v10,$v22,$v11],
[$v10,$v21,$v22], [$v10,$v20,$v21], [$v20,$v30,$v21],
[$v30,$v31,$v21], [$v30,$v40,$v31], [$v11,$v12,$v02],
[$v11,$v22,$v12], [$v21,$v31,$v22], [$v02,$v12,$v03],
[$v12,$v13,$v03], [$v12,$v22,$v13], [$v03,$v13,$v04]]
);
$pc = new fan::PolyhedralComplex(POINTS=>$points, INPUT_POLYTOPES=>$cells);
$pc->VISUAL;
print is_regular($points, $cells);
Code: Select all
$w = new Vector<Int>([0,1/12,2/3,4/3,13/6,1/12,0,3/8,9/8,0,1/24,1/4,1/8,1/4,5/12]);
$w = $w*24;
Code: Select all
$Tg = new Hypersurface<Max>(MONOMIALS=>$points,COEFFICIENTS=>$w);
Code: Select all
$ww = new Vector<TropicalNumber<Max> >($w);