|
WRH1
|
:
|
above_plane(points[1], points[2], points[3], points[4]) = 0.0;
|
WRH2
|
:
|
above_plane(points[5], points[8], points[7], points[6]) = 0.0;
|
WRH3
|
:
|
above_plane(points[1], points[4], points[8], points[5]) = 0.0;
|
WRH4
|
:
|
above_plane(points[4], points[3], points[7], points[8]) = 0.0;
|
WRH5
|
:
|
above_plane(points[3], points[2], points[6], points[7]) = 0.0;
|
WRH6
|
:
|
above_plane(points[1], points[5], points[6], points[2]) = 0.0;
|
WRH7
|
:
|
same_side([points[1], points[2], points[3]],
[points[5], points[6], points[7], points[8]]);
|
WRH8
|
:
|
same_side([points[1], points[4], points[8]],
[points[3], points[7], points[6], points[2]]);
|
WRH9
|
:
|
same_side([points[1], points[2], points[5]],
[points[3], points[7], points[8], points[4]]);
|
WRH10
|
:
|
same_side([points[5], points[6], points[7]],
[points[1], points[2], points[3], points[4]]);
|
WRH11
|
:
|
same_side([points[3], points[7], points[6]],
[points[1], points[4], points[8], points[5]]);
|
WRH12
|
:
|
same_side([points[3], points[7], points[8]],
[points[1], points[5], points[6], points[2]]);
|
WRH13
|
:
|
points[1].dim = 3;
|
|