From 454a26a54cc7ff563ab278567f3bbad9c6ff42bb Mon Sep 17 00:00:00 2001
From: Danielle Bolan <n02702451@hawkmail.newpaltz.edu>
Date: Thu, 14 Aug 2014 15:59:51 +0200
Subject: [PATCH] Remove license and add to doc examples
---
doc/examples.rst | 8 +++++++-
examples/bac2014.py | 17 -----------------
examples/diamonds.py | 17 -----------------
examples/menger.py | 17 -----------------
examples/nsad2010.py | 17 -----------------
examples/squares.py | 17 -----------------
examples/tesseract.py | 17 -----------------
7 files changed, 7 insertions(+), 103 deletions(-)
diff --git a/doc/examples.rst b/doc/examples.rst
index ee254bc..3d2626d 100644
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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 *
--
2.20.1