Better initialization of Rational

[linpy.git] / doc / examples.rst

diff --git a/doc/examples.rst b/doc/examples.rst
index e69de29..793ecbe 100644 (file)
--- a/doc/examples.rst
+++ b/doc/examples.rst
@@ -0,0 +1,22 @@
+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
+-------------    
+   
+