Remove license and add to doc examples

[linpy.git] / doc / examples.rst

diff --git a/doc/examples.rst b/doc/examples.rst
index ee254bc..3d2626d 100644 (file)
--- a/doc/examples.rst
+++ b/doc/examples.rst
@@ -15,7 +15,9 @@ Basic Examples
 
     Binary operations and properties examples:
 
 
     Binary operations and properties examples:
 

-    >>> square2 = Le(1, x) & Le(x, 3) & Le(1, y) & Le(y, 3)
+    >>> # create a polyhedron from a string
+    >>> square2 = Polyhedron('1 <= x') & Polyhedron('x <= 3') & \
+    Polyhedron('1 <= y') & Polyhedron('y <= 3')

     >>> #test equality
     >>> square1 == square2
     False
     >>> #test equality
     >>> square1 == square2
     False


@@ -38,6 +40,10 @@ Basic Examples
 
     >>> square1.isempty()
     False
 
     >>> square1.isempty()
     False

+    >>> # compute the complement of square1
+    >>> ~square1
+    Or(Ge(-x - 1, 0), Ge(x - 3, 0), And(Ge(x, 0), Ge(-x + 2, 0), \
+    Ge(-y - 1, 0)), And(Ge(x, 0), Ge(-x + 2, 0), Ge(y - 3, 0)))

     >>> square1.symbols()
     (x, y)
     >>> square1.inequalities
     >>> square1.symbols()
     (x, y)
     >>> square1.inequalities