PolyhedralSets - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Geometry : Polyhedral Sets : Properties of a Set : PolyhedralSets/IsFace

PolyhedralSets

  

IsFace

  

test whether or not a given polyhedral set is a face of another polyhedral set

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

IsFace(ps1, ps2)

Parameters

ps1

-

PolyhedralSet, the potential face of ps2

ps2

-

PolyhedralSet, the polyhedral set possibly containing ps1 as a face

Description

• 

Checks to see if the n dimensional set ps1 is an n-face of the m dimensional set ps2.

• 

This command checks for proper faces only, so that the dimension of ps1 must be at least zero (a vertex) and at most m1 (a facet of ps2).  The empty set is not considered a face of ps2.

Examples

withPolyhedralSets:

A vertex is a 0-face of a set

pPolyhedralSet1,0,0,1,1,1,0,0,x,y:p_vertexPolyhedralSet1,0,x,y:IsFacep_vertex,p

true

(1)

The faces of a set will return true when tested using IsFace

cExampleSets:-Cube:

c_facesFacesc

c_faces{Coordinates:x1,x2,x3Relations:x31,x31,x21,x21,x1=−1,{Coordinates:x1,x2,x3Relations:x31,x31,x21,x21,x1=1,{Coordinates:x1,x2,x3Relations:x31,x31,x2=−1,x11,x11,{Coordinates:x1,x2,x3Relations:x31,x31,x2=1,x11,x11,{Coordinates:x1,x2,x3Relations:x3=−1,x21,x21,x11,x11,{Coordinates:x1,x2,x3Relations:x3=1,x21,x21,x11,x11

(2)

mapIsFace,c_faces,c

true,true,true,true,true,true

(3)

Compatibility

• 

The PolyhedralSets[IsFace] command was introduced in Maple 2015.

• 

For more information on Maple 2015 changes, see Updates in Maple 2015.

See Also

PolyhedralSets[`in`]

PolyhedralSets[Faces]

PolyhedralSets[LocatePoint]

PolyhedralSets[IsEmpty]

PolyhedralSets[PolyhedralSet]

PolyhedralSets