Cleaner implementation of Domain.__or__() (seems slower?)

[linpy.git] / examples / diamonds.py

diff --git a/examples/diamonds.py b/examples/diamonds.py
index 572a870..0978d4c 100755 (executable)
--- a/examples/diamonds.py
+++ b/examples/diamonds.py
@@ -5,7 +5,7 @@ import matplotlib.pyplot as plt
 from matplotlib import pylab
 from mpl_toolkits.mplot3d import Axes3D
 
-from pypol import *
+from linpy import *
 
 x, y, z = symbols('x y z')
 
@@ -44,4 +44,5 @@ cubo = Le(0, x) & Le(x, 5) & Le(0, y) & Le(y, 5) & Le(0, z) & Le(z, 5) & \
     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()