33from hypothesis import given
44from hypothesis import strategies as st
55from hypothesis .strategies import complex_numbers
6+ from hypothesis .strategies import floats
67from hypothesis .strategies import integers
78from hypothesis .strategies import lists
89from hypothesis .strategies import sampled_from
@@ -40,10 +41,10 @@ class TestChapter4(ClrsTestCase):
4041 def test_matrix_multiply_recursive_general (self , data ):
4142 n = data .draw (integers (min_value = 1 , max_value = 15 ), label = "Matrices dimension" )
4243 elements1 = data .draw (
43- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
44+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
4445 label = "First matrix elements" )
4546 elements2 = data .draw (
46- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
47+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
4748 label = "Second matrix elements" )
4849 A = create_matrix (elements1 )
4950 B = create_matrix (elements2 )
@@ -59,10 +60,10 @@ def test_matrix_multiply_recursive_by_copying(self, data):
5960 k = data .draw (integers (min_value = 0 , max_value = 4 ), label = "Matrices dimension exponent" )
6061 n = 2 ** k
6162 elements1 = data .draw (
62- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
63+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
6364 label = "First matrix elements" )
6465 elements2 = data .draw (
65- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
66+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
6667 label = "Second matrix elements" )
6768 A = create_matrix (elements1 )
6869 B = create_matrix (elements2 )
@@ -78,10 +79,10 @@ def test_matrix_add_recursive(self, data):
7879 k = data .draw (integers (min_value = 0 , max_value = 4 ), label = "Matrices dimension exponent" )
7980 n = 2 ** k
8081 elements1 = data .draw (
81- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
82+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
8283 label = "First matrix elements" )
8384 elements2 = data .draw (
84- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
85+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
8586 label = "Second matrix elements" )
8687 A = create_matrix (elements1 )
8788 B = create_matrix (elements2 )
@@ -97,10 +98,10 @@ def test_strassen(self, data):
9798 k = data .draw (integers (min_value = 0 , max_value = 4 ), label = "Matrices dimension exponent" )
9899 n = 2 ** k
99100 elements1 = data .draw (
100- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
101+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
101102 label = "First matrix elements" )
102103 elements2 = data .draw (
103- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
104+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
104105 label = "Second matrix elements" )
105106 A = create_matrix (elements1 )
106107 B = create_matrix (elements2 )
@@ -126,10 +127,10 @@ def test_complex_multiply(self, data):
126127 def test_matrix_multiply_by_squaring (self , data ):
127128 n = data .draw (integers (min_value = 1 , max_value = 15 ), label = "Matrices dimension" )
128129 elements1 = data .draw (
129- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
130+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
130131 label = "First matrix elements" )
131132 elements2 = data .draw (
132- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
133+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = n , max_size = n ),
133134 label = "Second matrix elements" )
134135 A = create_matrix (elements1 )
135136 B = create_matrix (elements2 )
@@ -162,7 +163,7 @@ def test_monge_leftmost_minimums(self, data):
162163 m = data .draw (integers (min_value = 1 , max_value = 15 ), label = "Monge array row dimension" )
163164 n = data .draw (integers (min_value = 1 , max_value = 15 ), label = "Monge array column dimension" )
164165 elements = data .draw (
165- lists (lists (integers (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = m , max_size = m ),
166+ lists (lists (floats (min_value = - 1000 , max_value = 1000 ), min_size = n , max_size = n ), min_size = m , max_size = m ),
166167 label = "Monge array elements" )
167168 A = create_matrix (elements )
168169 assume (is_monge_array (A , m , n ))
0 commit comments