Perfect numbers: Difference between revisions

Content added Content deleted

Inline

@@ Line 1,164: / Line 1,164: @@
   let lows = filter ((0 ==) . rem n) [1 .. floor (sqrt (fromIntegral n))]
   in 1 < n &&
-     sum
+     n ==
-       (lows ++
+     quot
-        [ y
+       (sum
-        | x <- lows
+          (lows ++
-        , let y = n `quot` x
+           [ y
-        , x /= y ]) `quot`
+           | x <- lows
-==
+           , let y = quot n x
-     n
+           , x /= y ]))
 main :: IO ()