The precision is setable, but I had left at the default.
Increasing the precision to the point where it match or suppassed the accuracy of your Haskell code (a setting of 58), doubled the time it took to a gnat's under 50 ms:
[ 6:46:43.79] P:\test>MP-FET.pl
8.070604647867604097576877675243109941729476950993498765160880911582E-
+7030
1 trial of _default ( 49.865ms total), 49.865ms/trial
BTW: Could you explain something for me? In this:
cancel (x:xs) (y:ys)
| x == y = cancel xs ys
| x < y = let (xs', ys') = cancel xs (y:ys) in (x:xs', ys')
| otherwise = let (xs', ys') = cancel (x:xs) ys in (xs', y:ys')
cancel xs ys = (xs, ys)
I understand how it cancels between the lists, but I am confused about when it would pattern match against the second definition?
Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
Lingua non convalesco, consenesco et abolesco. -- Rule 1 has a caveat! -- Who broke the cabal?
"Science is about questioning the status quo. Questioning authority".
The "good enough" maybe good enough for the now, and perfection maybe unobtainable, but that should not preclude us from striving for perfection, when time, circumstance or desire allow.
|