Code: Select all
> $p=cube(2);
> $q=new Polytope<Rational>(POINTS=>new Matrix<Rational>([[1, 0], [1, 1]]);
> $hom=mapping_polytope($p, $q, relabel=>1);
> print rows_labeled($hom->VERTICES,$hom->VERTEX_LABELS);
v0*F1,v1*F1,v2*F0,v3*F0:1 1/2 0 1/2
v0*F1,v1*F1,v2*F1,v3*F1:1 0 0 0
v0*F1,v1*F0,v2*F1,v3*F0:1 1/2 1/2 0
v0*F0,v1*F0,v2*F1,v3*F1:1 1/2 0 -1/2
v0*F0,v1*F1,v2*F0,v3*F1:1 1/2 -1/2 0
v0*F0,v1*F0,v2*F0,v3*F0:1 1 0 0