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
;