From: Danielle Bolan Date: Thu, 14 Aug 2014 13:59:51 +0000 (+0200) Subject: Remove license and add to doc examples X-Git-Tag: 1.0~73 X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/commitdiff_plain/454a26a54cc7ff563ab278567f3bbad9c6ff42bb?ds=sidebyside;hp=197818714e75c2353ed8b7c9fec653f1212f13ae Remove license and add to doc examples --- 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 . 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 . 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 . 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 . 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 . 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 . from linpy import *