projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix Domain.make_disjoint()
[linpy.git]
/
linpy
/
tests
/
test_polyhedra.py
diff --git
a/linpy/tests/test_polyhedra.py
b/linpy/tests/test_polyhedra.py
index
d50f0f1
..
d0ebe57
100644
(file)
--- a/
linpy/tests/test_polyhedra.py
+++ b/
linpy/tests/test_polyhedra.py
@@
-35,13
+35,9
@@
class TestPolyhedron(unittest.TestCase):
def test_dimension(self):
self.assertEqual(self.square.dimension, 2)
def test_dimension(self):
self.assertEqual(self.square.dimension, 2)
- def test_str(self):
- self.assertEqual(str(self.square),
- 'And(Ge(x, 0), Ge(-x + 1, 0), Ge(y, 0), Ge(-y + 1, 0))')
-
def test_repr(self):
self.assertEqual(repr(self.square),
def test_repr(self):
self.assertEqual(repr(self.square),
- "And(
Ge(x, 0), Ge(-x + 1, 0), Ge(y, 0), Ge(-y + 1, 0)
)")
+ "And(
0 <= x, x <= 1, 0 <= y, y <= 1
)")
def test_fromstring(self):
self.assertEqual(Polyhedron.fromstring('{x >= 0, -x + 1 >= 0, '
def test_fromstring(self):
self.assertEqual(Polyhedron.fromstring('{x >= 0, -x + 1 >= 0, '