next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
LatticePolytopes :: iskCayleykEdges

iskCayleykEdges -- Checks if a polytope is Cayley of type [P_0*P_1]^k and has every edge of length k

Synopsis

Description

iskCayleykEdges 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

See also

Ways to use iskCayleykEdges :