Relación 10 - Historial de revisiones

148.56.184.10 en 00:07 2 ene 2022

2022-01-02T00:07:32Z

← Revisión anterior		Revisión del 00:07 2 ene 2022
Línea 462:		Línea 462:
	prodprimosConsecutivos = map f (listaDeLongitud 2 primes)		prodprimosConsecutivos = map f (listaDeLongitud 2 primes)
	where f [a,b] = a*b		where f [a,b] = a*b
			-- Adolfo Sagrera Vivancos
			esProdprimosConsecutivos1 :: Integer -> Bool
			esProdprimosConsecutivos1 n = n == head (dropWhile (<n) sucProductoPrimos)
			sucProductoPrimos1 = [a*b \| (a,b) <- zip primes (tail primes)]
	-- especiales		-- especiales
	-- ==========		-- ==========
Línea 468:		Línea 471:
	especiales :: [Integer]		especiales :: [Integer]
	especiales = [n \| n <- prodprimosConsecutivos, esConcatConsecutivos n]		especiales = [n \| n <- prodprimosConsecutivos, esConcatConsecutivos n]
			-- Adolfo Sagrera Vivancos
			especiales1 :: [Integer]
			especiales1 = [ x \| x <- sucProductoPrimos, esConcatConsecutivos x]
	-- Primer número especial:		-- Primer número especial:
	-- head especiales		-- head especiales

148.56.184.10 en 19:51 31 dic 2021

2021-12-31T19:51:56Z

← Revisión anterior		Revisión del 19:51 31 dic 2021
Línea 448:		Línea 448:
	concatEnterosConsecutivos = map f (listaDeLongitud 2 [0..])		concatEnterosConsecutivos = map f (listaDeLongitud 2 [0..])
	where f [a,b] = read (show a ++ show b) :: Integer		where f [a,b] = read (show a ++ show b) :: Integer
			-- Adolfo Sagrera Vivancos
			esConcatConsecutivos1 :: Integer -> Bool
			esConcatConsecutivos1 n = n == ((x*10^k)+x+1)
			where x = div n (10^k)
			k = div (digitos' n) 2
			digitos' n = length [read [c] :: Integer \| c <- show n]
	-- esProdprimosConsecutivos		-- esProdprimosConsecutivos
	-- =========================		-- =========================

148.56.184.10 en 22:23 30 dic 2021

2021-12-30T22:23:38Z

← Revisión anterior		Revisión del 22:23 30 dic 2021
Línea 395:		Línea 395:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Adolfo Sagrera Vivancos
	masInvPalindromo :: Integer -> Bool		masInvPalindromo :: Integer -> Bool
	masInvPalindromo n = palindromo (n + inverso n)		masInvPalindromo n = palindromo (n + inverso n)
Línea 410:		Línea 410:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Adolfo Sagrera Vivancos
	propInvPalindromo :: Integer -> Bool		propInvPalindromo :: Integer -> Bool
	propInvPalindromo n = not (prodInvPalindromo (abs n)) \|\| masInvPalindromo (abs n)		propInvPalindromo n = not (prodInvPalindromo (abs n)) \|\| masInvPalindromo (abs n)

148.56.184.10 en 19:39 28 dic 2021

2021-12-28T19:39:26Z

← Revisión anterior		Revisión del 19:39 28 dic 2021
Línea 326:		Línea 326:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Adolfo Sagrera Vivancos
	esAritmetico :: Integer -> Bool		esAritmetico :: Integer -> Bool
	esAritmetico n = rem (sum (divisores n)) (fromIntegral $ (length (divisores n))) == 0		esAritmetico n = rem (sum (divisores n)) (fromIntegral $ (length (divisores n))) == 0
Línea 345:		Línea 345:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Adolfo Sagrera Vivancos
	primosAritmeticos :: Int -> Bool		primosAritmeticos :: Int -> Bool
	primosAritmeticos n = all esAritmetico (take n (tail primes))		primosAritmeticos n = all esAritmetico (take n (tail primes))
Línea 368:		Línea 368:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Adolfo Sagrera Vivancos
	sucAritmeticosConsecutivos :: Int -> [Integer]		sucAritmeticosConsecutivos :: Int -> [Integer]
	sucAritmeticosConsecutivos n = head (filter consecutivos (listaDeLongitud n sucAritmeticos))		sucAritmeticosConsecutivos n = head (filter consecutivos (listaDeLongitud n sucAritmeticos))

148.56.184.10 en 17:49 26 dic 2021

2021-12-26T17:49:08Z

← Revisión anterior		Revisión del 17:49 26 dic 2021
Línea 299:		Línea 299:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Adolfo Sagrera Vivancos
	propNoAmable :: Integer -> Bool		propNoAmable :: Integer -> Bool
	propNoAmable n = noAmable (abs n+1) == esPotenciaDeDos (abs n+1)		propNoAmable n = noAmable (abs n+1) == esPotenciaDeDos (abs n+1)

148.56.184.10 en 17:25 26 dic 2021

2021-12-26T17:25:58Z

← Revisión anterior		Revisión del 17:25 26 dic 2021
Línea 270:		Línea 270:
	sucesionesConSuma n = [(a,b) \| a <- [1..div n 2], b <- [a..n-a], (a+b)(fromIntegral $ length [a..b]) == 2n]		sucesionesConSuma n = [(a,b) \| a <- [1..div n 2], b <- [a..n-a], (a+b)(fromIntegral $ length [a..b]) == 2n]

	--José Manuel García		--José Manuel García, Adolfo Sagrera Vivancos
	sucesionesConSuma1 :: Integer -> [(Integer,Integer)]		sucesionesConSuma1 :: Integer -> [(Integer,Integer)]
	sucesionesConSuma1 n = [(a,b) \| a <- [1..(div n 2)], b <- [a..(n-a)], sum [a..b] == n, n>0]		sucesionesConSuma1 n = [(a,b) \| a <- [1..(div n 2)], b <- [a..(n-a)], sum [a..b] == n, n>0]
Línea 287:		Línea 287:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, José Manuel García		-- Elsa Domínguez, José Manuel García, Adolfo Sagrera Vivancos
	noAmable :: Integer -> Bool		noAmable :: Integer -> Bool
	noAmable n = null (sucesionesConSuma n)		noAmable n = null (sucesionesConSuma n)

148.56.184.10 en 16:41 26 dic 2021

2021-12-26T16:41:26Z

← Revisión anterior		Revisión del 16:41 26 dic 2021
Línea 200:		Línea 200:
	sucBlum :: [Integer]		sucBlum :: [Integer]
	sucBlum = filter esBlum semiprimos		sucBlum = filter esBlum semiprimos
			-- Adolfo Sagrera Vivancos
			esBlum1 :: Integer -> Bool
			esBlum1 n = or [n == p*q \| p <- primeFactors n, q <- primeFactors n, p/=q, mod p 4 ==3, mod q 4 == 3]

			sucBlum1 :: [Integer]
			sucBlum1 = [ x \| x <- [1..], esBlum x]

	-- --------------------------------------------------------------------		-- --------------------------------------------------------------------
Línea 229:		Línea 235:
	sucBrillante :: [Integer]		sucBrillante :: [Integer]
	sucBrillante = filter esBrillante [4..]		sucBrillante = filter esBrillante [4..]
			-- Adolfo Sagrera Vivancos
			esBrillante1 :: Integer -> Bool
			esBrillante1 n = or [ n == p*q \| p <- primeFactors n, q <- primeFactors n, digitos p == digitos q]
			digitos n = length [ read [c]::Int \| c <- show n ]
			sucBrillante1 :: [Integer]
			sucBrillante1 = filter esBrillante [1..]

Josgarver4 en 21:06 14 dic 2021

2021-12-14T21:06:37Z

← Revisión anterior		Revisión del 21:06 14 dic 2021
Línea 323:		Línea 323:
	calculoMAF :: Integer -> Float		calculoMAF :: Integer -> Float
	calculoMAF n = ( fromIntegral $ sum (primeFactors n) :: Float) / (read $ show $ length (primeFactors n) :: Float)		calculoMAF n = ( fromIntegral $ sum (primeFactors n) :: Float) / (read $ show $ length (primeFactors n) :: Float)
	~~esAritmetico~~ :: Integer -> Bool		esAritmetico1 :: Integer -> Bool
	~~esAritmetico~~ n = (show (round $ calculoMAF n)) ++ ".0" == (show $ calculoMAF n)		esAritmetico1 n = (show (round $ calculoMAF n)) ++ ".0" == (show $ calculoMAF n)


Línea 336:		Línea 336:
	primosAritmeticos :: Int -> Bool		primosAritmeticos :: Int -> Bool
	primosAritmeticos n = all esAritmetico (take n (tail primes))		primosAritmeticos n = all esAritmetico (take n (tail primes))

			--José Manuel García
			primosAritmeticos1 :: Int -> Bool
			primosAritmeticos1 n = if (isPrime n) && (n/= 2) then (esAritmetico1 (read (show n) :: Integer)) else True

	-- La comprobación es quickCheck primosAritmeticos		-- La comprobación es quickCheck primosAritmeticos

Josgarver4 en 20:55 14 dic 2021

2021-12-14T20:55:26Z

← Revisión anterior		Revisión del 20:55 14 dic 2021
Línea 319:		Línea 319:

	divisores n = [x \| x <- [1..div n 2], rem n x == 0] ++ [n]		divisores n = [x \| x <- [1..div n 2], rem n x == 0] ++ [n]

			--José Manuel García
			calculoMAF :: Integer -> Float
			calculoMAF n = ( fromIntegral $ sum (primeFactors n) :: Float) / (read $ show $ length (primeFactors n) :: Float)
			esAritmetico :: Integer -> Bool
			esAritmetico n = (show (round $ calculoMAF n)) ++ ".0" == (show $ calculoMAF n)



	-- --------------------------------------------------------------------		-- --------------------------------------------------------------------

78.30.20.125 en 17:37 13 dic 2021

2021-12-13T17:37:46Z

← Revisión anterior		Revisión del 17:37 13 dic 2021
Línea 67:		Línea 67:
	-- Elsa Domínguez		-- Elsa Domínguez
	sucSumaDominoPrimos :: [Integer]		sucSumaDominoPrimos :: [Integer]
	sucSumaDominoPrimos = [sumaDominoPrimos n \| n <- [3..], isPrime n]		sucSumaDominoPrimos = [sumaDominoPrimos n \| n <- [4..], isPrime n]

	--José Manuel García		--José Manuel García