#!/usr/bin/env python3
+#
+# Copyright 2014 MINES ParisTech
+#
+# This file is part of LinPy.
+#
+# LinPy is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# LinPy is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with LinPy. If not, see <http://www.gnu.org/licenses/>.
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')
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()