2 This file is part of Linpy.
4 Linpy is free software: you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation, either version 3 of the License, or
7 (at your option) any later version.
9 Linpy is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with Linpy. If not, see <http://www.gnu.org/licenses/>.
21 from ..linexprs
import symbols
22 from ..polyhedra
import *
23 from .libhelper
import requires_sympy
26 class TestPolyhedron(unittest
.TestCase
):
30 self
.square
= Polyhedron(inequalities
=[x
, 1 - x
, y
, 1 - y
])
32 def test_symbols(self
):
33 self
.assertTupleEqual(self
.square
.symbols
, symbols('x y'))
35 def test_dimension(self
):
36 self
.assertEqual(self
.square
.dimension
, 2)
39 self
.assertEqual(str(self
.square
),
40 'And(Ge(x, 0), Ge(-x + 1, 0), Ge(y, 0), Ge(-y + 1, 0))')
43 self
.assertEqual(repr(self
.square
),
44 "And(Ge(x, 0), Ge(-x + 1, 0), Ge(y, 0), Ge(-y + 1, 0))")
46 def test_fromstring(self
):
47 self
.assertEqual(Polyhedron
.fromstring('{x >= 0, -x + 1 >= 0, '
48 'y >= 0, -y + 1 >= 0}'), self
.square
)
50 def test_isempty(self
):
51 self
.assertFalse(self
.square
.isempty())
53 def test_isuniverse(self
):
54 self
.assertFalse(self
.square
.isuniverse())
57 def test_fromsympy(self
):
59 sp_x
, sp_y
= sympy
.symbols('x y')
60 self
.assertEqual(Polyhedron
.fromsympy((sp_x
>= 0) & (sp_x
<= 1) &
61 (sp_y
>= 0) & (sp_y
<= 1)), self
.square
)
64 def test_tosympy(self
):
66 sp_x
, sp_y
= sympy
.symbols('x y')
67 self
.assertEqual(self
.square
.tosympy(),
68 sympy
.And(-sp_x
+ 1 >= 0, -sp_y
+ 1 >= 0, sp_x
>= 0, sp_y
>= 0))
74 self
.assertEqual(repr(Empty
), 'Empty')
76 def test_isempty(self
):
77 self
.assertTrue(Empty
.isempty())
79 def test_isuniverse(self
):
80 self
.assertFalse(Empty
.isuniverse())
86 self
.assertEqual(repr(Universe
), 'Universe')
88 def test_isempty(self
):
89 self
.assertTrue(Universe
.isempty())
91 def test_isuniverse(self
):
92 self
.assertTrue(Universe
.isuniverse())
94 # Copyright 2014 MINES ParisTech