>
|
|
>
|
|
Create a Z-polyhedron in the three-dimensional space
>
|
|
| (1) |
>
|
|
| (2) |
| (3) |
>
|
|
| (4) |
Get a sample point from zp
>
|
|
| (5) |
Turn it into Vector form
>
|
|
Check that it indeed belongs to zp
>
|
|
Pick a random integer point
>
|
|
Check whether it belongs to zp
>
|
|
Double-check that latter answer by enumerating the points of zp
>
|
|
| (10) |