is a function. It checks if at given polytope is of type [P_0*P_1]^k with every edge of length k
i1 : P=convexHull(matrix{{0,2}});
|
i2 : Q1=convexHull(matrix{{0,4}});
|
i3 : Q2=convexHull(matrix{{0,3}});
|
i4 : R1=cayley({P,Q1},2);
|
i5 : R2=cayley({P,Q2},2);
|
i6 : (P0,P1,k)=iskCayleykEdges(R1)
o6 = ({ambient dimension => 2 }, {ambient dimension => 2
dimension of lineality space => 0 dimension of lineality space =>
dimension of polyhedron => 1 dimension of polyhedron => 1
number of facets => 2 number of facets => 2
number of rays => 0 number of rays => 0
number of vertices => 2 number of vertices => 2
------------------------------------------------------------------------
}, 2)
0
o6 : Sequence
|
i7 : vertices(P0)
o7 = | 0 2 |
| 0 0 |
2 2
o7 : Matrix QQ <--- QQ
|
i8 : vertices(P1)
o8 = | 0 4 |
| 2 2 |
2 2
o8 : Matrix QQ <--- QQ
|
i9 : iskCayleykEdges(R2)
Condtions not met
|