Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
[linpy.git] / examples / diamonds.py
index 572a870..0978d4c 100755 (executable)
@@ -5,7 +5,7 @@ import matplotlib.pyplot as plt
 from matplotlib import pylab
 from mpl_toolkits.mplot3d import Axes3D
 
 from matplotlib import pylab
 from mpl_toolkits.mplot3d import Axes3D
 
-from pypol import *
+from linpy import *
 
 x, y, z = symbols('x y z')
 
 
 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))
     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()
 pylab.show()