X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/1695c920d030869b3a842736fe5bcf963f2ffc52..c5ec50e02bb591e2ce3b28131424d21c02255f3b:/examples/diamond.py

diff --git a/examples/diamond.py b/examples/diamond.py
deleted file mode 100755
index e82581e..0000000
--- a/examples/diamond.py
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/usr/bin/env python3
-
-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)
-print() 
-rhom1 = Le(0, x) & Le(x, 3) & Le(0, y) & Le(y, 3) & Le(0, z) & Le(z, 3) \
-& Le(z - 2, x) & Ge(z + 2, x) & Ge(z - 1, -x) & Le(z - 5, -x) \
-& Le(z - 2, y) & Ge(z + 2, y) & Ge(z - 1, -y) & Le(z - 5, -y) \
-& Le(y - 2, x) & Ge(y + 2, x) & Ge(y - 1, -x) & Le(y - 5, -x)
-rhom1.plot()
-rhom2 = rhom1 & Le(x + y + z, 7) & Ge(-2, -x - y - z ) \
-& Le(x + y - z, 4) & Ge(x + y - z, -1) \
-& Le(x - y + z, 4) & Ge(x - y + z, -1) \
-& Le(-x + y + z, 4) & Ge(-x + y + z, -1)
-rhom2.plot()