Navigation

convex_hexahedron

EXPRESS specification:

ENTITY convex_hexahedron
SUBTYPE OF ( faceted_primitive);
WHERE
WRC27  :  SIZEOF(points) = 8 ;
WRC28  :  above_plane(points[1], points[2], points[3], points[4]) = 0.0;
WRC29  :  above_plane(points[5], points[8], points[7], points[6]) = 0.0;
WRC30  :  above_plane(points[1], points[4], points[8], points[5]) = 0.0;
WRC31  :  above_plane(points[4], points[3], points[7], points[8]) = 0.0;
WRC32  :  above_plane(points[3], points[2], points[6], points[7]) = 0.0;
WRC33  :  above_plane(points[1], points[5], points[6], points[2]) = 0.0;
WRC34  :  same_side([points[1], points[2], points[3]], [points[5], points[6], points[7], points[8]]);
WRC35  :  same_side([points[1], points[4], points[8]], [points[3], points[7], points[6], points[2]]);
WRC36  :  same_side([points[1], points[2], points[5]], [points[3], points[7], points[8], points[4]]);
WRC37  :  same_side([points[5], points[6], points[7]], [points[1], points[2], points[3], points[4]]);
WRC38  :  same_side([points[3], points[7], points[6]], [points[1], points[4], points[8], points[5]]);
WRC39  :  same_side([points[3], points[7], points[8]], [points[1], points[5], points[6], points[2]]);
END_ENTITY;

References (1):

Name Type Referred through Express-G
faceted_primitive Entity
Subtype
No Diagram

Inheritance graph

ENTITY convex_hexahedron;
ENTITY representation_item;
name  :  label;
ENTITY geometric_representation_item;
DERIVE
dim  :  dimension_count :=  dimension_of(SELF);
ENTITY faceted_primitive;
points  :  LIST [4:?] OF cartesian_point;
ENTITY convex_hexahedron;
END_ENTITY;