tetrahedron_volume

EXPRESS specification:

ENTITY tetrahedron_volume
SUBTYPE OF ( | volume);
point_1 | : | cartesian_point;
point_2 | : | cartesian_point;
point_3 | : | cartesian_point;
point_4 | : | cartesian_point;
WHERE
WRT10 | : | point_1.dim = 3;
WRT11 | : | above_plane(point_1, point_2, point_3, point_4) <> 0.0 ;
END_ENTITY;

References (1):

Name | Type | Referred through | Express-G
volume | Entity |
Subtype
| No Diagram

Inheritance graph

ENTITY tetrahedron_volume;
ENTITY representation_item;
name | : | label;
ENTITY geometric_representation_item;
DERIVE
dim | : | dimension_count := dimension_of(SELF);
ENTITY volume;
ENTITY tetrahedron_volume;
point_1 | : | cartesian_point;
point_2 | : | cartesian_point;
point_3 | : | cartesian_point;
point_4 | : | cartesian_point;
END_ENTITY;