コード例 #1
0
ファイル: util_test.py プロジェクト: jsreid13/dreal4
 def to_dictionary(self):
     b = Box([x])
     b.Add(y)
     b.Add(z, 2, 5)
     d = dict(b)
     self.assertEqual(d[y], Interval())
     self.assertEqual(d[z], Interval(2, 5))
コード例 #2
0
 def test_math_functions(self):
     # Simply show that we can call the functions.
     i1 = Interval(0.1, 0.3)
     i2 = Interval(0.2, 0.4)
     print(sqr(i1))
     print(sqrt(i1))
     print(pow(i1, 2))
     print(pow(i1, 2.5))
     print(pow(i1, Interval(1, 2)))
     print(root(i1, 2))
     print(exp(i1))
     print(log(i1))
     print(cos(i1))
     print(tan(i1))
     print(sin(i1))
     print(acos(i1))
     print(asin(i1))
     print(atan(i1))
     print(atan2(i1, i2))
     print(cosh(i1))
     print(sinh(i1))
     print(tanh(i1))
     print(abs(i1))
     print(max(i1, i2))
     print(min(i1, i2))
     print(sign(i1))
     print(integer(i1))
コード例 #3
0
 def test_max_diam(self):
     b = Box([x, y])
     b[x] = Interval(0.1, 0.2)
     b[y] = Interval(1, 2)
     (diam, idx) = b.MaxDiam()
     self.assertEqual(idx, 1)
     self.assertEqual(b[idx].diam(), 1)
コード例 #4
0
 def test_constructor(self):
     i1 = Interval()
     self.assertEqual(i1.lb(), -inf)
     self.assertEqual(i1.ub(), +inf)
     i2 = Interval(3, 4)
     self.assertEqual(i2.lb(), 3)
     self.assertEqual(i2.ub(), 4)
     i3 = Interval(5)
     self.assertEqual(i3.lb(), 5)
     self.assertEqual(i3.ub(), 5)
コード例 #5
0
 def test_contains(self):
     i = Interval(2, 3)
     self.assertTrue(i.contains(2.5))
     self.assertTrue(i.interior_contains(2.5))
     self.assertTrue(2.5 in i)
     self.assertFalse(i.contains(3.5))
     self.assertFalse(3.5 in i)
     self.assertFalse(i.interior_contains(2))
コード例 #6
0
    def test_inclusions(self):
        i1 = Interval(2, 3)
        i2 = Interval(4, 5)
        i3 = Interval(1, 6)
        i4 = Interval(2, 4)

        self.assertTrue(i1.is_subset(i3))
        self.assertFalse(i1.is_strict_subset(i1))
        self.assertFalse(i1.is_interior_subset(i4))
        self.assertFalse(i1.is_relative_interior_subset(i4))
        self.assertFalse(i1.is_strict_interior_subset(i2))
        self.assertTrue(i3.is_superset(i1))
        self.assertTrue(i3.is_strict_superset(i1))

        self.assertTrue(i1.intersects(i4))
        self.assertTrue(i1.overlaps(i4))
        self.assertTrue(i1.is_disjoint(i2))

        self.assertFalse(i1.is_degenerated())
        self.assertFalse(i1.is_unbounded())
        self.assertTrue(i1.is_bisectable())
コード例 #7
0
 def test_addition(self):
     i1 = Interval(3, 4)
     i2 = Interval(4, 5)
     self.assertEqual(i1 + i2, Interval(7, 9))
     self.assertEqual(i1 + 1, Interval(4, 5))
     self.assertEqual(1 + i1, Interval(4, 5))
     i1 += i2
     self.assertEqual(i1, Interval(7, 9))
     i1 += 1
     self.assertEqual(i1, Interval(8, 10))
コード例 #8
0
 def test_subtraction(self):
     i1 = Interval(3, 4)
     i2 = Interval(4, 5)
     self.assertEqual(i1 - i2, Interval(-2, 0))
     self.assertEqual(i1 - 1, Interval(2, 3))
     self.assertEqual(1 - i1, Interval(-3, -2))
     i1 -= i2
     self.assertEqual(i1, Interval(-2, 0))
     i1 -= 1
     self.assertEqual(i1, Interval(-3, -1))
コード例 #9
0
 def test_multiplication(self):
     i1 = Interval(3, 4)
     i2 = Interval(4, 5)
     self.assertEqual(i1 * i2, Interval(12, 20))
     self.assertEqual(i1 * 2, Interval(6, 8))
     self.assertEqual(2 * i1, Interval(6, 8))
     i1 *= i2
     self.assertEqual(i1, Interval(12, 20))
     i1 *= 2
     self.assertEqual(i1, Interval(24, 40))
コード例 #10
0
 def test_div2(self):
     i = Interval(-10, 10)
     out = Interval()
     result = i.div2_inter(Interval(2, 3), Interval(-1, 2), out)
     self.assertEqual(result, True)
     self.assertEqual(i, Interval(-10, -2))
     self.assertEqual(out, Interval(1, 10))
コード例 #11
0
 def test_division(self):
     i1 = Interval(3, 4)
     i2 = Interval(4, 5)
     self.assertEqual(i1 / i2, Interval(3.0 / 5.0, 4.0 / 4.0))
     self.assertEqual(i1 / 2, Interval(1.5, 2.0))
     self.assertAlmostEqual((2 / i1).lb(), 2 / 4.0)
     self.assertAlmostEqual((2 / i1).ub(), 2 / 3.0)
     i1 /= i2
     self.assertEqual(i1, Interval(3.0 / 5.0, 4.0 / 4.0))
     i1 /= 2
     self.assertEqual(i1, Interval(3.0 / 10.0, 4.0 / 8.0))
コード例 #12
0
    def test_inplace_union(self):
        b1 = Box([x, y])
        b1[x] = Interval(1, 3)
        b1[y] = Interval(1, 2)

        b2 = Box([x, y])
        b2[x] = Interval(2, 4)
        b2[y] = Interval(3, 5)

        b2.InplaceUnion(b1)
        self.assertEqual(b2[x], Interval(1, 4))
        self.assertEqual(b2[y], Interval(1, 5))
コード例 #13
0
ファイル: util_test.py プロジェクト: jsreid13/dreal4
 def test_keys_values_items(self):
     b = Box([x])
     b.Add(y)
     b.Add(z, 2, 5)
     self.assertEqual(b.keys(), [x, y, z])
     self.assertEqual(
         b.values(),
         [Interval(-inf, inf),
          Interval(-inf, inf),
          Interval(2, 5)])
     self.assertEqual(b.items(), [(x, Interval(-inf, inf)),
                                  (y, Interval(-inf, inf)),
                                  (z, Interval(2, 5))])
コード例 #14
0
 def test_complementary(self):
     i1 = Interval()
     i2 = Interval()
     Interval(2, 3).complementary(i1, i2, True)
     self.assertEqual(i1, Interval(-inf, 2))
     self.assertEqual(i2, Interval(3, inf))
コード例 #15
0
 def test_eq_neq(self):
     i1 = Interval(3, 4)
     i2 = Interval(3, 5)
     i3 = Interval(3, 4)
     self.assertNotEqual(i1, i2)
     self.assertEqual(i1, i3)
コード例 #16
0
 def test_unary_minus(self):
     i = Interval(3, 4)
     self.assertEqual(-i, Interval(-4, -3))
コード例 #17
0
 def test_to_string(self):
     i = Interval(3, 4)
     self.assertEqual(str(i), "[3, 4]")
     self.assertEqual(repr(i), "Interval(3, 4)")
コード例 #18
0
 def test_empty(self):
     i = Interval(3, 4)
     self.assertFalse(i.is_empty())
     i.set_empty()
     self.assertTrue(i.is_empty())
コード例 #19
0
 def test_intersection(self):
     i1 = Interval(2, 5)
     i2 = Interval(3, 8)
     self.assertEqual(i1 & i2, Interval(3, 5))
     i2 &= i1
     self.assertEqual(i2, Interval(3, 5))
コード例 #20
0
 def test_add(self):
     b = Box([x])
     b.Add(y)
     b.Add(z, 2, 5)
     self.assertEqual(b[y], Interval())
     self.assertEqual(b[z], Interval(2, 5))
コード例 #21
0
 def test_inflate(self):
     i = Interval(2, 5)
     i.inflate(1)
     self.assertEqual(i, Interval(1, 6))
     i.inflate(2, 3)
     self.assertEqual(i, Interval(-4.5, 11.5))
コード例 #22
0
 def test_union(self):
     i1 = Interval(2, 5)
     i2 = Interval(3, 8)
     self.assertEqual(i1 | i2, Interval(2, 8))
     i2 |= i1
     self.assertEqual(i2, Interval(2, 8))
コード例 #23
0
 def test_get_set_item_variable(self):
     b = Box([x, y, z])
     b[x] = Interval(3, 4)
     self.assertEqual(b[x], Interval(3, 4))
コード例 #24
0
 def test_get_set_item_int(self):
     b = Box([x, y, z])
     self.assertEqual(b.variable(0), x)
     b[0] = Interval(3, 4)
     self.assertEqual(b[0], Interval(3, 4))
コード例 #25
0
 def test_bisect(self):
     (i1, i2) = Interval(-10, 10).bisect(0.5)
     self.assertEqual(i1, Interval(-10, 0))
     self.assertEqual(i2, Interval(0, 10))
コード例 #26
0
 def test_mid_rad_diam(self):
     i = Interval(0, 1)
     self.assertEqual(i.mid(), 0.5)
     self.assertEqual(i.rad(), 0.5)
     self.assertEqual(i.diam(), 0.5 * 2)
コード例 #27
0
 def test_diff(self):
     i1 = Interval()
     i2 = Interval()
     Interval(1, 10).diff(Interval(2, 5), i1, i2, True)
     self.assertEqual(i1, Interval(1, 2))
     self.assertEqual(i2, Interval(5, 10))
コード例 #28
0
 def test_mig_mag(self):
     i = Interval(2, 3)
     self.assertEqual(i.mig(), 2)
     self.assertEqual(i.mag(), 3)
コード例 #29
0
 def test_distance(self):
     i1 = Interval(2, 3)
     i2 = Interval(4, 5)
     self.assertEqual(i1.rel_distance(i2), 2)