Navigation

tetrahedron

EXPRESS specification:

ENTITY tetrahedron
SUBTYPE OF ( faceted_primitive);
WHERE
WRT15  :  SIZEOF(points) = 4 ;
WRT16  :  above_plane(points[1], points[2], points[3], points[4]) <> 0.0;
END_ENTITY;

References (1):

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

Inheritance graph

ENTITY tetrahedron;
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 tetrahedron;
END_ENTITY;