from matplotlib import pylab
from mpl_toolkits.mplot3d import Axes3D
-from linpy import *
+from linpy import Ge, Le, symbols
x, y, z = symbols('x y z')
diam = Ge(y, x - 1) & Le(y, x + 1) & Ge(y, -x - 1) & Le(y, -x + 1)
-cham = Le(0, x, 3) & Le(0, y, 3) & Le(0, z, 3) & \
- Le(z - 2, x, z + 2) & Le(1 - z, x, 5 - z) & \
- Le(z - 2, y, z + 2) & Le(1 - z, y, 5 - z) & \
- Le(y - 2, x, y + 2) & Le(1 - y, x, 5 - y)
-
-rhom = cham & \
- Le(x + y + z, 7) & Ge(-2, -x - y - z) & \
- Le(-1, x + y - z, 4) & Le(-1, x - y + z, 4) & Le(-1, -x + y + z, 4)
-
-cubo = Le(0, x, 5) & Le(0, y, 5) & Le(0, z, 5) & \
- Le(x -4, y, x + 4) & Le(-x + 1, y, -x + 9) & \
- Le(y -4, z, y + 4) & Le(-y + 1, z, -y + 9) & \
- Le(z -4, x, z + 4) & Le(-z + 1, x, -z + 9) & \
- Le(3, x + y + z, 12) & Le(-2, x - y + z, 7) & \
- Le(-2, -x + y + z, 7) & Le(-2, x + y - z, 7)
+cham = (
+ Le(0, x, 3) & Le(0, y, 3) & Le(0, z, 3) &
+ Le(z - 2, x, z + 2) & Le(1 - z, x, 5 - z) &
+ Le(z - 2, y, z + 2) & Le(1 - z, y, 5 - z) &
+ Le(y - 2, x, y + 2) & Le(1 - y, x, 5 - y))
+
+rhom = cham & (
+ Le(x + y + z, 7) & Ge(-2, -x - y - z) &
+ Le(-1, x + y - z, 4) & Le(-1, x - y + z, 4) & Le(-1, -x + y + z, 4))
+
+cubo = (
+ Le(0, x, 5) & Le(0, y, 5) & Le(0, z, 5) &
+ Le(x - 4, y, x + 4) & Le(-x + 1, y, -x + 9) &
+ Le(y - 4, z, y + 4) & Le(-y + 1, z, -y + 9) &
+ Le(z - 4, x, z + 4) & Le(-z + 1, x, -z + 9) &
+ Le(3, x + y + z, 12) & Le(-2, x - y + z, 7) &
+ Le(-2, -x + y + z, 7) & Le(-2, x + y - z, 7))
if __name__ == '__main__':