Implement standard widening

[linpy.git] / examples / diamonds.py

diff --git a/examples/diamonds.py b/examples/diamonds.py
index 572a870..d5119b4 100755 (executable)
--- a/examples/diamonds.py
+++ b/examples/diamonds.py
@@ -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()