Macaulay2 » Documentation
Packages » SRdeformations :: polytopalFacets

next | previous | forward | backward | up | index | toc

polytopalFacets -- The facets of a polytope.

Usage:

polytopalFacets(C)
Inputs:
- C, an embedded complex, a polytope
- R, a polynomial ring,
Outputs:
- C, an embedded complex,

Description

The facets of a polytope. Note that this is not facets(C) (which is the polytope itself).

i1 : R=QQ[x_0..x_5]

o1 = R

o1 : PolynomialRing

i2 : C=fullCyclicPolytope(3,R)

o2 = 3: x x x x x x  
         0 1 2 3 4 5

o2 : complex of dim 3 embedded in dim 3 (printing facets)
     equidimensional, non-simplicial, F-vector {1, 6, 12, 8, 1}, Euler = 0

i3 : facets C

o3 = {{}, {}, {}, {}, {x x x x x x }}
                        0 1 2 3 4 5

o3 : List

i4 : polytopalFacets(C)

o4 = {x x x , x x x , x x x , x x x , x x x , x x x , x x x , x x x }
       0 1 2   0 2 3   0 3 4   0 1 5   1 2 5   2 3 5   0 4 5   3 4 5

o4 : List

See also

isPolytope -- Check whether a complex is a polytope.
facets -- The maximal faces of a complex.

Ways to use polytopalFacets:

polytopalFacets(Complex)

For the programmer

The object polytopalFacets is a method function.

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/SRdeformations.m2:6255:0.