Fix license headers

diff --git a/license.rst b/LICENSE
similarity index 100%
rename from license.rst
rename to LICENSE

diff --git a/examples/bac2014.py b/examples/bac2014.py
index 866ed82..bb8969d 100755 (executable)
--- a/examples/bac2014.py
+++ b/examples/bac2014.py
@@ -1,22 +1,5 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-"""
-    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 pypol import *
 
 x, y, z = symbols('x y z')
 from pypol import *
 
 x, y, z = symbols('x y z')


@@ -24,5 +7,3 @@ DF = Eq(x, y) & Eq(z, 6 - 2*x)
 P = Eq(x + y - 2*z, 0)
 
 print('DF ∩ P =', DF & P)
 P = Eq(x + y - 2*z, 0)
 
 print('DF ∩ P =', DF & P)

-
-# Copyright 2014 MINES ParisTech  

diff --git a/examples/diamonds.py b/examples/diamonds.py
index 56af7e3..d5119b4 100755 (executable)
--- a/examples/diamonds.py
+++ b/examples/diamonds.py
@@ -1,22 +1,5 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-"""
-    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
 
 from matplotlib import pylab
 import matplotlib.pyplot as plt
 
 from matplotlib import pylab


@@ -63,5 +46,3 @@ cubo = Le(0, x) & Le(x, 5) & Le(0, y) & Le(y, 5) & Le(0, z) & Le(z, 5) & \
 cubo.plot(cubo_plot, facecolors=(0, 0, 1, 0.75))
 
 pylab.show()
 cubo.plot(cubo_plot, facecolors=(0, 0, 1, 0.75))
 
 pylab.show()

-
-# Copyright 2014 MINES ParisTech  

diff --git a/examples/menger.py b/examples/menger.py
index b6ab90d..9ec958f 100755 (executable)
--- a/examples/menger.py
+++ b/examples/menger.py
@@ -1,22 +1,5 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-"""
-    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
 
 import matplotlib.pyplot as plt
 import argparse
 
 import matplotlib.pyplot as plt


@@ -84,5 +67,3 @@ if __name__ == '__main__':
     plot = fig.add_subplot(1, 1, 1, projection='3d', aspect='equal')
     fractal.plot(plot)
     pylab.show()
     plot = fig.add_subplot(1, 1, 1, projection='3d', aspect='equal')
     fractal.plot(plot)
     pylab.show()

-    
-# Copyright 2014 MINES ParisTech  

diff --git a/examples/nsad2010.py b/examples/nsad2010.py
index f310f9d..0a25279 100755 (executable)
--- a/examples/nsad2010.py
+++ b/examples/nsad2010.py
@@ -1,22 +1,5 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-"""
-    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 pypol import *
 
 
 from pypol import *
 
 


@@ -61,5 +44,3 @@ if __name__ == '__main__':
         [i, j], [iprime, jprime])
     print('T  =', transformer.polyhedron)
     print('T* =', transformer.star().polyhedron)
         [i, j], [iprime, jprime])
     print('T  =', transformer.polyhedron)
     print('T* =', transformer.star().polyhedron)

-    
-# Copyright 2014 MINES ParisTech  

diff --git a/examples/squares.py b/examples/squares.py
index 1df6e3d..e00821e 100755 (executable)
--- a/examples/squares.py
+++ b/examples/squares.py
@@ -1,22 +1,5 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-"""
-    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 pypol import *
 
 a, x, y, z = symbols('a x y z')
 from pypol import *
 
 a, x, y, z = symbols('a x y z')


@@ -93,5 +76,3 @@ print()
 print('the verticies for s are:', p.vertices())
 print()
 print(p.plot())
 print('the verticies for s are:', p.vertices())
 print()
 print(p.plot())

-
-# Copyright 2014 MINES ParisTech  

diff --git a/examples/tesseract.py b/examples/tesseract.py
index eaccf43..b2a5e97 100755 (executable)
--- a/examples/tesseract.py
+++ b/examples/tesseract.py
@@ -1,22 +1,5 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-"""
-    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 pypol import *
 
 x, y, z, t = symbols('x y z t')
 from pypol import *
 
 x, y, z, t = symbols('x y z t')


@@ -38,5 +21,3 @@ print('Faces of tesseract\n\n  {}\n\nare:\n'.format(tesseract))
 for face in faces(tesseract):
     assert(len(face.vertices()) == 8)
     print('  {}'.format(face))
 for face in faces(tesseract):
     assert(len(face.vertices()) == 8)
     print('  {}'.format(face))

-    
-# Copyright 2014 MINES ParisTech  

diff --git a/pypol/__init__.py b/pypol/__init__.py
index 8d0af92..1df4728 100644 (file)
--- a/pypol/__init__.py
+++ b/pypol/__init__.py
@@ -1,23 +1,23 @@
-"""
-    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.
+# 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/>.

 
 

-    You should have received a copy of the GNU General Public License
-    along with Linpy.  If not, see <http://www.gnu.org/licenses/>.

 """
 """

-
-    """
-    A polyhedral library based on ISL.
-    """
+A polyhedral library based on ISL.
+"""

 
 from .geometry import Point, Vector
 from .linexprs import Expression, Symbol, Dummy, symbols, Rational
 
 from .geometry import Point, Vector
 from .linexprs import Expression, Symbol, Dummy, symbols, Rational


@@ -31,5 +31,3 @@ __all__ = [
     'Polyhedron', 'Eq', 'Ne', 'Le', 'Lt', 'Ge', 'Gt', 'Empty', 'Universe',
     'Domain', 'And', 'Or', 'Not',
 ]
     'Polyhedron', 'Eq', 'Ne', 'Le', 'Lt', 'Ge', 'Gt', 'Empty', 'Universe',
     'Domain', 'And', 'Or', 'Not',
 ]

-
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/_islhelper.c b/pypol/_islhelper.c
index 467a7ca..6757ae1 100644 (file)
--- a/pypol/_islhelper.c
+++ b/pypol/_islhelper.c
@@ -1,19 +1,19 @@
-/*
-    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/>.
-*/
+// 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/>.

 
 #include <Python.h>
 
 
 #include <Python.h>
 


@@ -160,5 +160,3 @@ PyMODINIT_FUNC PyInit__islhelper(void) {
     }
     return m;
 }
     }
     return m;
 }

-
-// Copyright 2014 MINES ParisTech

diff --git a/pypol/domains.py b/pypol/domains.py
index b529163..f918e14 100644 (file)
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 ast
 import functools
 
 import ast
 import functools


@@ -713,5 +713,3 @@ def Not(domain):
     Returns the complement of this set.
     """
     return ~domain
     Returns the complement of this set.
     """
     return ~domain

-    
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/geometry.py b/pypol/geometry.py
index dffa608..9a5fa8f 100644 (file)
--- a/pypol/geometry.py
+++ b/pypol/geometry.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 math
 import numbers
 
 import math
 import numbers


@@ -307,5 +307,3 @@ class Vector(Coordinates):
             coordinates = self._map2(other, operator.sub)
             return other.__class__(coordinates)
         return NotImplemented
             coordinates = self._map2(other, operator.sub)
             return other.__class__(coordinates)
         return NotImplemented

-        
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/islhelper.py b/pypol/islhelper.py
index 18e888b..7201882 100644 (file)
--- a/pypol/islhelper.py
+++ b/pypol/islhelper.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 ctypes, ctypes.util
 
 
 import ctypes, ctypes.util
 


@@ -69,5 +69,3 @@ def isl_multi_aff_to_str(islmaff):
     islpr = libisl.isl_printer_print_multi_aff(islpr, islmaff)
     string = libisl.isl_printer_get_str(islpr).decode()
     return string
     islpr = libisl.isl_printer_print_multi_aff(islpr, islmaff)
     string = libisl.isl_printer_get_str(islpr).decode()
     return string

-    
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/linexprs.py b/pypol/linexprs.py
index 3dd03ef..bd3ad5a 100644 (file)
--- a/pypol/linexprs.py
+++ b/pypol/linexprs.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 ast
 import functools
 
 import ast
 import functools


@@ -477,5 +477,3 @@ class Rational(Expression, Fraction):
             return Rational(expr)
         else:
             raise TypeError('expr must be a sympy.Rational instance')
             return Rational(expr)
         else:
             raise TypeError('expr must be a sympy.Rational instance')

-            
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py
index cedb5c0..8e22602 100644 (file)
--- a/pypol/polyhedra.py
+++ b/pypol/polyhedra.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 functools
 import math
 
 import functools
 import math


@@ -388,5 +388,3 @@ def Ge(left, right):
     Assert first set is greater than or equal to the second set.
     """
     return Polyhedron([], [left - right])
     Assert first set is greater than or equal to the second set.
     """
     return Polyhedron([], [left - right])

-
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/tests/__init__.py b/pypol/tests/__init__.py
index 691d568..072bb70 100644 (file)
--- a/pypol/tests/__init__.py
+++ b/pypol/tests/__init__.py
@@ -1,18 +1,16 @@
-"""
-    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/>.
-"""
-
-# Copyright 2014 MINES ParisTech   
+# 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/>.

diff --git a/pypol/tests/libhelper.py b/pypol/tests/libhelper.py
index 00fc59c..1ac25d3 100644 (file)
--- a/pypol/tests/libhelper.py
+++ b/pypol/tests/libhelper.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 functools
 import unittest
 
 import functools
 import unittest


@@ -35,5 +35,3 @@ except ImportError:
         def wrapper(self):
             raise unittest.SkipTest('SymPy is not available')
         return wrapper
         def wrapper(self):
             raise unittest.SkipTest('SymPy is not available')
         return wrapper

-
-# Copyright 2014 MINES ParisTech   

diff --git a/pypol/tests/test_domains.py b/pypol/tests/test_domains.py
index 529025e..9cb3a98 100644 (file)
--- a/pypol/tests/test_domains.py
+++ b/pypol/tests/test_domains.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 unittest
 
 
 import unittest
 


@@ -178,5 +178,3 @@ class TestDomain(unittest.TestCase):
         self.assertTrue(self.square1.involves_dims(symbols('x y')))
         self.assertFalse(self.empty.involves_dims(symbols('x')))
         self.assertFalse(self.universe.involves_dims(symbols('x')))
         self.assertTrue(self.square1.involves_dims(symbols('x y')))
         self.assertFalse(self.empty.involves_dims(symbols('x')))
         self.assertFalse(self.universe.involves_dims(symbols('x')))

-        
-# Copyright 2014 MINES ParisTech   

diff --git a/pypol/tests/test_geometry.py b/pypol/tests/test_geometry.py
index a241ffa..45ffa3c 100644 (file)
--- a/pypol/tests/test_geometry.py
+++ b/pypol/tests/test_geometry.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 math
 import unittest
 
 import math
 import unittest


@@ -106,5 +106,3 @@ class TestVector(unittest.TestCase):
     def test_sub(self):
         self.assertEqual(self.vec1 - self.pt1, Point({self.x: 10, self.y: 25, self.z: 39}))
         self.assertEqual(self.vec1 - self.vec2, Vector({self.x: -25, self.y: -40, self.z: -40}))
     def test_sub(self):
         self.assertEqual(self.vec1 - self.pt1, Point({self.x: 10, self.y: 25, self.z: 39}))
         self.assertEqual(self.vec1 - self.vec2, Vector({self.x: -25, self.y: -40, self.z: -40}))

-        
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/tests/test_linexprs.py b/pypol/tests/test_linexprs.py
index 2bdd33a..0fca90e 100644 (file)
--- a/pypol/tests/test_linexprs.py
+++ b/pypol/tests/test_linexprs.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 functools
 import unittest
 
 import functools
 import unittest


@@ -322,5 +322,3 @@ class TestRational(unittest.TestCase):
         self.assertEqual(Rational.fromsympy(sympy.Rational(22, 7)), self.pi)
         with self.assertRaises(TypeError):
             Rational.fromsympy(sympy.Symbol('x'))
         self.assertEqual(Rational.fromsympy(sympy.Rational(22, 7)), self.pi)
         with self.assertRaises(TypeError):
             Rational.fromsympy(sympy.Symbol('x'))

-            
-# Copyright 2014 MINES ParisTech

diff --git a/pypol/tests/test_polyhedra.py b/pypol/tests/test_polyhedra.py
index 066e3d1..30d5d5f 100644 (file)
--- a/pypol/tests/test_polyhedra.py
+++ b/pypol/tests/test_polyhedra.py
@@ -1,19 +1,19 @@
-"""
-    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/>.
-"""
+# 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 functools
 import unittest
 
 import functools
 import unittest


@@ -90,5 +90,3 @@ class TestUniverse:
 
     def test_isuniverse(self):
         self.assertTrue(Universe.isuniverse())
 
     def test_isuniverse(self):
         self.assertTrue(Universe.isuniverse())

-
-# Copyright 2014 MINES ParisTech        

diff --git a/setup.py b/setup.py
index 2638825..f72af50 100755 (executable)
--- a/setup.py
+++ b/setup.py
@@ -1,22 +1,21 @@
 #!/usr/bin/env python3
 
 #!/usr/bin/env python3
 

-"""
-    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/>.
-"""
-
+# 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 distutils.core import setup, Extension
 
 
 from distutils.core import setup, Extension
 


@@ -31,5 +30,3 @@ setup(
             libraries=['isl'])
     ]
 )
             libraries=['isl'])
     ]
 )

-
-# Copyright 2014 MINES ParisTech