X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/2a1055d4f4754fa33c53d3f155cc050e4911a2a3..c5ec50e02bb591e2ce3b28131424d21c02255f3b:/examples/diamond.py diff --git a/examples/diamond.py b/examples/diamond.py deleted file mode 100755 index 70413e7..0000000 --- a/examples/diamond.py +++ /dev/null @@ -1,41 +0,0 @@ -#!/usr/bin/env python3 - -import pylab - -from pypol import * - -x, y, z = symbols('x y z') - -# diam = Ge(y, x - 1) & Le(y, x + 1) & Ge(y, -x - 1) & Le(y, -x + 1) -# print('diamond:', diam) -# diam.plot(fill=True, edgecolor='red', facecolor='yellow') -# pylab.show() - -# Chamfered cube -cham = Le(0, x) & Le(x, 3) & Le(0, y) & Le(y, 3) & Le(0, z) & Le(z, 3) & \ - Le(z - 2, x) & Le(x, z + 2) & Le(1 - z, x) & Le(x, 5 - z) & \ - Le(z - 2, y) & Le(y, z + 2) & Le(1 - z, y) & Le(y, 5 - z) & \ - Le(y - 2, x) & Le(x, y + 2) & Le(1 - y, x) & Le(x, 5 - y) -cham_plot = cham.plot(facecolors=(1, 0, 0, 0.75)) -pylab.show() - -# Rhombicuboctahedron -rhom = cham & \ - Le(x + y + z, 7) & Ge(-2, -x - y - z) & \ - Le(-1, x + y - z) & Le(x + y - z, 4) & \ - Le(-1, x - y + z) & Le(x - y + z, 4) & \ - Le(-1, -x + y + z) & Le(-x + y + z, 4) -rhom.plot(facecolors=(0, 1, 0, 0.75)) -pylab.show() - -# Truncated cuboctahedron -cubo = Le(0, x) & Le(x, 5) & Le(0, y) & Le(y, 5) & Le(0, z) & Le(z, 5) & \ - Le(x -4, y) & Le(y, x + 4) & Le(-x + 1, y) & Le(y, -x + 9) & \ - Le(y -4, z) & Le(z, y + 4) & Le(-y + 1, z) & Le(z, -y + 9) & \ - Le(z -4, x) & Le(x, z + 4) & Le(-z + 1, x) & Le(x, -z + 9) & \ - Le(3, x + y + z) & Le(x + y + z, 12) & \ - Le(-2, x - y + z) & Le(x - y + z, 7) & \ - Le(-2, -x + y + z) & Le(-x + y + z, 7) & \ - Le(-2, x + y - z) & Le(x + y - z, 7) -cubo_plot = cubo.plot(facecolors=(0, 0, 1, 0.75)) -pylab.show()