Changes that need to be merged

[linpy.git] / doc / examples.rst~

diff --git a/doc/examples.rst~ b/doc/examples.rst~
new file mode 100644 (file)
index 0000000..18a2e83
--- /dev/null
+++ 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: ::     
+    
+    >>> square2 = 
+
+
+Plot Examples
+-------------    
+   
+