Remove license and add to doc examples

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:
 
-    >>> 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
@@ -38,6 +40,10 @@ Basic Examples
 
     >>> 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

diff --git a/examples/bac2014.py b/examples/bac2014.py
index 3c69100..775be66 100755 (executable)
--- a/examples/bac2014.py
+++ b/examples/bac2014.py
@@ -1,21 +1,4 @@
 #!/usr/bin/env python3
-#
-# Copyright 2014 MINES ParisTech
-#
-# This file is part of LinPy.
-#
-# LinPy is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# LinPy is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 from linpy import *
 

diff --git a/examples/diamonds.py b/examples/diamonds.py
index fdf1cc7..0978d4c 100755 (executable)
--- a/examples/diamonds.py
+++ b/examples/diamonds.py
@@ -1,21 +1,4 @@
 #!/usr/bin/env python3
-#
-# Copyright 2014 MINES ParisTech
-#
-# This file is part of LinPy.
-#
-# LinPy is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# LinPy is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 import matplotlib.pyplot as plt
 

diff --git a/examples/menger.py b/examples/menger.py
index 064219e..d8a74d4 100755 (executable)
--- a/examples/menger.py
+++ b/examples/menger.py
@@ -1,21 +1,4 @@
 #!/usr/bin/env python3
-#
-# Copyright 2014 MINES ParisTech
-#
-# This file is part of LinPy.
-#
-# LinPy is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# LinPy is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 import argparse
 

diff --git a/examples/nsad2010.py b/examples/nsad2010.py
index 91a85b4..9359315 100755 (executable)
--- a/examples/nsad2010.py
+++ b/examples/nsad2010.py
@@ -1,21 +1,4 @@
 #!/usr/bin/env python3
-#
-# Copyright 2014 MINES ParisTech
-#
-# This file is part of LinPy.
-#
-# LinPy is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# LinPy is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 from linpy import *
 

diff --git a/examples/squares.py b/examples/squares.py
index 89be192..98e2ca8 100755 (executable)
--- a/examples/squares.py
+++ b/examples/squares.py
@@ -1,21 +1,4 @@
 #!/usr/bin/env python3
-#
-# Copyright 2014 MINES ParisTech
-#
-# This file is part of LinPy.
-#
-# LinPy is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# LinPy is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 from linpy import *
 import matplotlib.pyplot as plt

diff --git a/examples/tesseract.py b/examples/tesseract.py
index bf338f7..0a57188 100755 (executable)
--- a/examples/tesseract.py
+++ b/examples/tesseract.py
@@ -1,21 +1,4 @@
 #!/usr/bin/env python3
-#
-# Copyright 2014 MINES ParisTech
-#
-# This file is part of LinPy.
-#
-# LinPy is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# LinPy is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 from linpy import *