Pypol Examples
==============
Creating a Square
-----------------
To create any polyhedron, first define the symbols used. Then use the polyhedron functions to define the constraints for the polyhedron. This example creates a square::
>>> x, y = symbols('x y')
>>> # define the constraints of the polyhedron
>>> square = Le(0, x) & Le(x, 2) & Le(0, y) & Le(y, 2)
>>> print(square)
>>> And(Ge(x, 0), Ge(-x + 2, 0), Ge(y, 0), Ge(-y + 2, 0))
Several unary operations can be performed on a polyhedron. For example: ::
>>> square2 =
Plot Examples
-------------