La mayor potencia de dos no es divisor

2 Comentarios

1. Haskell

   import Test.QuickCheck mayorPotenciaDeDosEnS :: RealFrac a => Floating a => a -> Integer mayorPotenciaDeDosEnS n = toInteger (2 ^ floor (logBase 2 n)) prop_mayorP :: RealFrac a => Floating a => a -> Property prop_mayorP n = n >= 1 ==> [b | b <- [m..toInteger (floor n)], b `mod` m == 0] == [m] where m = mayorPotenciaDeDosEnS n -- λ> quickCheck prop_mayorP -- +++ OK, passed 100 tests. -- Para aumentar la eficiencia, tomo n no como "Integer," sino del tipo -- "a", y en la comprobación n debe ser igual o mayor que 1 -- -- Basta comprobar que no divide con los números que sean mayores

   1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

   import Test.QuickCheck   mayorPotenciaDeDosEnS :: RealFrac a => Floating a => a -> Integer mayorPotenciaDeDosEnS n = toInteger (2 ^ floor (logBase 2 n))   prop_mayorP :: RealFrac a => Floating a => a -> Property prop_mayorP n =   n >= 1   ==>   [b | b <- [m..toInteger (floor n)], b `mod` m == 0] == [m]   where m = mayorPotenciaDeDosEnS n   -- λ> quickCheck prop_mayorP -- +++ OK, passed 100 tests.   -- Para aumentar la eficiencia, tomo n no como "Integer," sino del tipo -- "a", y en la comprobación n debe ser igual o mayor que 1 -- -- Basta comprobar que no divide con los números que sean mayores

   Responder

2. Haskell

   mayorPotenciaDeDosEnS :: Integer -> Integer mayorPotenciaDeDosEnS = last . potenciaDeDosEnS potenciaDeDosEnS :: Integer -> [Integer] potenciaDeDosEnS n = filter (<=n) [2^x | x <- [1..n]]

   1 2 3 4 5

   mayorPotenciaDeDosEnS :: Integer -> Integer mayorPotenciaDeDosEnS = last . potenciaDeDosEnS   potenciaDeDosEnS :: Integer -> [Integer] potenciaDeDosEnS n = filter (<=n) [2^x | x <- [1..n]]

   Esta sería una definición con el tipo del enunciado.

   Responder