Aberrismic theory: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 91: Line 91:
     sizesOfM = [2..edoBound] -- smallest m possible in n-edo is 2\n  
     sizesOfM = [2..edoBound] -- smallest m possible in n-edo is 2\n  
     sizesOfL = [3..edoBound] -- smallest L possible in n-edo is 3\n
     sizesOfL = [3..edoBound] -- smallest L possible in n-edo is 3\n
   in filter (\x -> (fst x) <= edoBound) $ sortBy (\x y -> compare (fst x) (fst y)) [ (edo, (x`div`d, y`div`d, z`div`d))  
   in sortBy (\x y -> compare (fst x) (fst y)) -- sort the list which is finite
      $ filter (\x -> (fst x) <= edoBound) -- filter edos that exceed `edoBound`
      [ (edo, (x`div`d, y`div`d, z`div`d)) --
       | x <- sizesOfL, y <- sizesOfM, z <- sizesOfS,  
       | x <- sizesOfL, y <- sizesOfM, z <- sizesOfS,  
         let d = gcd x (gcd y z),
         let d = gcd x (gcd y z),