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