|
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]]);
|
|