X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/2de96003a48ae1ed91c853f38c72374a832824de..960f0c252361dfd696359f803aae40a9b13b14a6:/pypol/polyhedra.py diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py index b0b5d0e..9bfc64b 100644 --- a/pypol/polyhedra.py +++ b/pypol/polyhedra.py @@ -1,3 +1,20 @@ +# 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 functools import math import numbers @@ -263,6 +280,7 @@ class Polyhedron(Domain): constraints.append(sympy.Ge(inequality.tosympy(), 0)) return sympy.And(*constraints) + class EmptyType(Polyhedron): __slots__ = Polyhedron.__slots__ @@ -371,4 +389,3 @@ def Ge(left, right): Assert first set is greater than or equal to the second set. """ return Polyhedron([], [left - right]) -