def test_neg(self): self.assertEqual(-PyMPQInterval.bottom(), PyMPQInterval.bottom()) self.assertEqual(-PyMPQInterval(-1, 2), PyMPQInterval(-2, 1)) self.assertEqual(-PyMPQInterval(), PyMPQInterval(0, 0)) self.assertEqual(-PyMPQInterval(-1, 1, 2, 2), PyMPQInterval(-PyMPQ(1, 2), PyMPQ(1, 2))) self.assertEqual(-PyMPQInterval(1, 1, 2, 2), PyMPQInterval(-PyMPQ(1, 2), -PyMPQ(1, 2))) self.assertEqual(-PyMPQInterval(1, 1, 2, 2), PyMPQInterval(PyMPQ(-1, 2), PyMPQ(-1, 2))) self.assertEqual(-PyMPQInterval(1, 2), PyMPQInterval(-2, -1)) self.assertEqual(-PyMPQInterval.top(), PyMPQInterval.top())
def test_cmp(self): self.assertTrue(PyMPQInterval.bottom() < PyMPQInterval()) self.assertFalse(PyMPQInterval() < PyMPQInterval.bottom()) self.assertTrue(PyMPQInterval() < PyMPQInterval(-1, 1, 2, 2)) self.assertFalse(PyMPQInterval(-1, 1, 2, 2) < PyMPQInterval()) self.assertTrue(PyMPQInterval(-1, 1, 2, 2) < PyMPQInterval.top()) self.assertFalse(PyMPQInterval.top() < PyMPQInterval(-1, 1, 2, 2)) self.assertFalse(PyMPQInterval.bottom() == PyMPQInterval()) self.assertTrue(PyMPQInterval() == PyMPQInterval(0, 0)) self.assertFalse(PyMPQInterval() == PyMPQInterval(-1, 1, 2, 2)) self.assertTrue( PyMPQInterval(-1, 1, 2, 2) == PyMPQInterval( PyMPQ(-1, 2), PyMPQ(1, 2))) self.assertFalse(PyMPQInterval(-1, 1, 2, 2) == PyMPQInterval.top()) self.assertFalse(PyMPQInterval.bottom() > PyMPQInterval()) self.assertTrue(PyMPQInterval() > PyMPQInterval.bottom()) self.assertFalse(PyMPQInterval() > PyMPQInterval(-1, 1, 2, 2)) self.assertTrue(PyMPQInterval(-1, 1, 2, 2) > PyMPQInterval()) self.assertFalse(PyMPQInterval(-1, 1, 2, 2) > PyMPQInterval.top()) self.assertTrue(PyMPQInterval.top() > PyMPQInterval(-1, 1, 2, 2)) self.assertTrue( PyMPQInterval(-3, -1) <= PyMPQInterval(PyMPQScalar.init_infty(-1), PyMPQScalar(-1)))
def test_is_top(self): self.assertFalse(PyMPQInterval().is_top()) self.assertFalse(PyMPQInterval(0, 0).is_top()) self.assertFalse(PyMPQInterval(0, 0, 1, 1).is_top()) self.assertFalse( PyMPQInterval(PyMPQScalar(0), PyMPQScalar(0)).is_top()) self.assertFalse( PyMPQInterval(PyMPQScalar(0, 1), PyMPQScalar(0, 1)).is_top()) self.assertFalse(PyMPQInterval(-1, 1, 2, 2).is_top()) self.assertFalse(PyMPQInterval(PyMPQ(-1, 2), PyMPQ(1, 2)).is_top()) self.assertFalse( PyMPQInterval(PyMPQScalar(-1, 2), PyMPQScalar(1, 2)).is_top()) self.assertTrue(PyMPQInterval.top().is_top()) self.assertFalse(PyMPQInterval.bottom().is_top())
def test_init(self): self.assertEqual(str(PyMPQInterval()), '[0,0]') self.assertEqual(str(PyMPQInterval(0, 0)), '[0,0]') self.assertEqual(str(PyMPQInterval(0, 0, 1, 1)), '[0,0]') self.assertEqual(str(PyMPQInterval(PyMPQScalar(0), PyMPQScalar(0))), '[0,0]') self.assertEqual( str(PyMPQInterval(PyMPQScalar(0, 1), PyMPQScalar(0, 1))), '[0,0]') self.assertEqual(str(PyMPQInterval(-1, 1, 2, 2)), '[-1/2,1/2]') self.assertEqual(str(PyMPQInterval(PyMPQ(-1, 2), PyMPQ(1, 2))), '[-1/2,1/2]') self.assertEqual( str(PyMPQInterval(PyMPQScalar(-1, 2), PyMPQScalar(1, 2))), '[-1/2,1/2]') self.assertEqual(str(PyMPQInterval.top()), '[-1/0,1/0]') self.assertEqual(str(PyMPQInterval.bottom()), '[1,-1]')