Euler's sum of powers conjecture: Difference between revisions

Content deleted Content added
Hout (talk | contribs)
Hout (talk | contribs)
Line 1,734:
(\(p, s) -> M.member (p - s) sumMap)
(M.keys powerMap >>=
(\p -((>>=) takeWhile. (<flip p)takeWhile (M.keys sumMap) . (>)) <*>= (\ p s -> [(p, s)])))
 
sumMapForRange :: [Int] -> M.Map Int (Int, Int)
Line 1,760:
xs = [1 .. 249]
sumsAndPowers = ((,) . sumMapForRange <*> powerMapForRange) xs
 
showExample :: (M.Map Int (Int, Int), M.Map Int Int) -> [Int] -> (Int, Int) -> String