Relación 11 - Historial de revisiones

148.56.184.10 en 15:00 4 ene 2022

2022-01-04T15:00:41Z

148.56.184.10 en 23:44 3 ene 2022

2022-01-03T23:44:35Z

← Revisión anterior		Revisión del 23:44 3 ene 2022
Línea 81:		Línea 81:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos
	repiteFinitaC :: Int -> a -> [a]		repiteFinitaC :: Int -> a -> [a]
	repiteFinitaC n x = [x \| _ <- [1..n]]		repiteFinitaC n x = [x \| _ <- [1..n]]
Línea 110:		Línea 110:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos
	-- La propiedad es		-- La propiedad es
	prop_repiteFinitaEquiv :: Int -> Int -> Bool		prop_repiteFinitaEquiv :: Int -> Int -> Bool

86.127.225.208 en 12:23 31 dic 2021

2021-12-31T12:23:48Z

← Revisión anterior		Revisión del 12:23 31 dic 2021
Línea 34:		Línea 34:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Lucía González
	repite :: a -> [a]		repite :: a -> [a]
	repite x = [x] ++ repite x		repite x = [x] ++ repite x
Línea 50:		Línea 50:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Lucía González
	repiteC :: a -> [a]		repiteC :: a -> [a]
	repiteC x = [x \| _ <- [1..]]		repiteC x = [x \| _ <- [1..]]
Línea 65:		Línea 65:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Lucía González
	repiteFinitaR :: Int -> a -> [a]		repiteFinitaR :: Int -> a -> [a]
	repiteFinitaR n x \| n <= 0 = []		repiteFinitaR n x \| n <= 0 = []
Línea 81:		Línea 81:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Lucía González
	repiteFinitaC :: Int -> a -> [a]		repiteFinitaC :: Int -> a -> [a]
	repiteFinitaC n x = [x \| _ <- [1..n]]		repiteFinitaC n x = [x \| _ <- [1..n]]
Línea 96:		Línea 96:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Lucía González
	repiteFinita :: Int -> a -> [a]		repiteFinita :: Int -> a -> [a]
	repiteFinita n x = take n (repite x)		repiteFinita n x = take n (repite x)
Línea 110:		Línea 110:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Lucía González
	-- La propiedad es		-- La propiedad es
	prop_repiteFinitaEquiv :: Int -> Int -> Bool		prop_repiteFinitaEquiv :: Int -> Int -> Bool
Línea 141:		Línea 141:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Lucía González
	-- La propiedad es		-- La propiedad es
	prop_repiteFinitaIguales :: Int -> Int -> Bool		prop_repiteFinitaIguales :: Int -> Int -> Bool

46.6.146.71 en 09:07 22 dic 2021

2021-12-22T09:07:48Z

← Revisión anterior		Revisión del 09:07 22 dic 2021
Línea 540:		Línea 540:
	-- Elsa Domínguez		-- Elsa Domínguez
	fibs2 :: [Integer]		fibs2 :: [Integer]
	fibs2 = ~~fibs2~~ [0..]		fibs2 = f [0..]
	where ~~fibs2~~ (x:xs) = fib x : ~~fibs2~~ xs		where f (x:xs) = fib x : f xs

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

66.81.176.89 en 16:24 18 dic 2021

2021-12-18T16:24:15Z

← Revisión anterior		Revisión del 16:24 18 dic 2021
Línea 538:		Línea 538:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	fibs2 :: Integer ~~-> Integer~~		-- Elsa Domínguez
	fibs2 n = ~~undefined~~		fibs2 :: [Integer]
			fibs2 = fibs2 [0..]
			where fibs2 (x:xs) = fib x : fibs2 xs

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

10.1.11.77 en 09:44 17 dic 2021

2021-12-17T09:44:02Z

← Revisión anterior		Revisión del 09:44 17 dic 2021
Línea 492:		Línea 492:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

			-- Elsa Domínguez
	factoriales5 :: [Integer]		factoriales5 :: [Integer]
	factoriales5 = ~~undefined~~		factoriales5 = map fst (iterate f (1,1))
			where f (x,y) = (x*y,y+1)

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

10.1.11.77 en 09:38 17 dic 2021

2021-12-17T09:38:54Z

← Revisión anterior		Revisión del 09:38 17 dic 2021
Línea 514:		Línea 514:
	-- Elsa Domínguez		-- Elsa Domínguez
	fib :: Integer -> Integer		fib :: Integer -> Integer
	fib n = ~~sucFib !!~~ (~~fromIntegral~~ n)		fib 0 = 0
			fib 1 = 1
	~~sucFib = 0 : 1 : [x~~+~~y \|~~ (~~x,y) <~~- ~~zip (sucFib) (tail sucFib~~)]		fib n = fib (n-1) + fib (n-2)

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 536:		Línea 536:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	~~-- Elsa Domínguez~~
	fibs2 :: Integer -> Integer		fibs2 :: Integer -> Integer
	~~fibs2 0 = 0~~		fibs2 n = undefined
	~~fibs2 1 = 1~~
	fibs2 n = ~~fibs2 (n-1) + fibs2 (n-2)~~

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

10.100.28.193 en 09:35 17 dic 2021

2021-12-17T09:35:26Z

← Revisión anterior		Revisión del 09:35 17 dic 2021
Línea 425:		Línea 425:
	sumaDeDosPrimos' :: Int -> [(Int,Int)]		sumaDeDosPrimos' :: Int -> [(Int,Int)]
	sumaDeDosPrimos' n = [ (x,n-x) \| x <- (takeWhile (<=(n `div` 2)) primos), primo (n-x)]		sumaDeDosPrimos' n = [ (x,n-x) \| x <- (takeWhile (<=(n `div` 2)) primos), primo (n-x)]

			--Lucía González, Adolfo Sagrera
			sumaDeDosPrimos'' :: Int -> [(Int,Int)]
			sumaDeDosPrimos'' n = [(x,y) \| x<- primos1 n, y<- primos1 n, x+y == n, x<y]
			primos1 n = takeWhile (<n) primos

	-- El cálculo es head [n \| n <- [4..], length (sumaDeDosPrimos n) == 10]		-- El cálculo es head [n \| n <- [4..], length (sumaDeDosPrimos n) == 10]

31.221.183.3 en 09:34 17 dic 2021

2021-12-17T09:34:31Z

← Revisión anterior		Revisión del 09:34 17 dic 2021
Línea 509:		Línea 509:
	-- Elsa Domínguez		-- Elsa Domínguez
	fib :: Integer -> Integer		fib :: Integer -> Integer
	fib 0 = 0		fib n = sucFib !! (fromIntegral n)
	~~fib 1~~ = 1
	~~fib n = fib~~ (n-1) ~~+ fib~~ (~~n-2~~)		sucFib = 0 : 1 : [x+y \| (x,y) <- zip (sucFib) (tail sucFib)]

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 531:		Línea 531:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	fibs2 :: [Integer]		-- Elsa Domínguez
	fibs2 = ~~undefined~~		fibs2 :: Integer -> Integer
			fibs2 0 = 0
			fibs2 1 = 1
			fibs2 n = fibs2 (n-1) + fibs2 (n-2)

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

10.1.11.78 en 09:32 17 dic 2021

2021-12-17T09:32:22Z

← Revisión anterior		Revisión del 09:32 17 dic 2021
Línea 421:		Línea 421:
	sumaDeDosPrimos :: Int -> [(Int,Int)]		sumaDeDosPrimos :: Int -> [(Int,Int)]
	sumaDeDosPrimos n = [(x,n-x) \| x <- [2..div n 2], primo x, primo (n-x)]		sumaDeDosPrimos n = [(x,n-x) \| x <- [2..div n 2], primo x, primo (n-x)]

			--Nicolás Rodríguez Ruiz
			sumaDeDosPrimos' :: Int -> [(Int,Int)]
			sumaDeDosPrimos' n = [ (x,n-x) \| x <- (takeWhile (<=(n `div` 2)) primos), primo (n-x)]

	-- El cálculo es head [n \| n <- [4..], length (sumaDeDosPrimos n) == 10]		-- El cálculo es head [n \| n <- [4..], length (sumaDeDosPrimos n) == 10]