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
-------------