From 10a325117241837a7e91728fa4c696cab4d61d4c Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 3 Oct 2011 23:53:42 -0400 Subject: [PATCH] Update the arbitrary instance for Cube to use smaller coordinates. --- src/Cube.hs | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/Cube.hs b/src/Cube.hs index 6e67d4c..7fa4bfe 100644 --- a/src/Cube.hs +++ b/src/Cube.hs @@ -49,9 +49,13 @@ instance Arbitrary Cube where fv' <- arbitrary :: Gen FunctionValues (Positive tet_vol) <- arbitrary :: Gen (Positive Double) return (Cube h' i' j' k' fv' tet_vol) - where - coordmin = -268435456 -- -(2^29 / 2) - coordmax = 268435456 -- +(2^29 / 2) + where + -- The idea here is that, when cubed in the volume formula, + -- these numbers don't overflow 64 bits. This number is not + -- magic in any other sense than that it does not cause test + -- failures, while 2^23 does. + coordmax = 4194304 -- 2^22 + coordmin = -coordmax instance Show Cube where -- 2.43.2