X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/a8257bb17a1098f69625387a467170cac4b9f483..d585b06ccf67b2837519f4b48c6800dcdb924d9d:/examples/plots.py?ds=inline diff --git a/examples/plots.py b/examples/plots.py index d172835..4b0f16e 100755 --- a/examples/plots.py +++ b/examples/plots.py @@ -6,30 +6,31 @@ import matplotlib.pyplot as plt 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__':