+++ /dev/null
-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: ::
-
- >>> ¬square
-
-
-Plot Examples
--------------
-
-