@@ -21,6 +21,17 @@ prop_pool = once $
21 out = poolForward 2 2 1 1 2 3 input
21 out = poolForward 2 2 1 1 2 3 input
22 in expected === out
22 in expected === out
24+prop_pool_rectangular = once $
26+ [ 1.0, 14.0, 3.0, 4.0
28+ , 9.0, 10.0, 11.0, 12.0 ]
32+ out = poolForward 2 3 1 1 2 2 input
24prop_pool_backwards = once $
35prop_pool_backwards = once $
25 let input = (3><4)
36 let input = (3><4)
26 [ 1.0, 2.0, 3.0, 4.0
37 [ 1.0, 2.0, 3.0, 4.0