Relación 3 - Historial de revisiones

188.78.90.137 en 12:34 3 nov 2021

2021-11-03T12:34:10Z

88.1.101.158 en 18:08 29 oct 2021

2021-10-29T18:08:41Z

217.217.85.84 en 18:18 27 oct 2021

2021-10-27T18:18:19Z

86.127.225.197 en 16:45 27 oct 2021

2021-10-27T16:45:47Z

Mostrar los cambios

85.52.163.224 en 08:43 27 oct 2021

2021-10-27T08:43:27Z

← Revisión anterior		Revisión del 08:43 27 oct 2021
Línea 24:		Línea 24:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres		-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres, Ana Sánchez Martín
	sumaDeCuadrados :: Integer -> Integer		sumaDeCuadrados :: Integer -> Integer
	sumaDeCuadrados n = sum [(x^2) \| x <- [1..n]]		sumaDeCuadrados n = sum [(x^2) \| x <- [1..n]]
Línea 38:		Línea 38:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres		-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres, Ana Sánchez Martín
	replica :: Int -> a -> [a]		replica :: Int -> a -> [a]
	replica n x = [x \| _ <- [1..n]]		replica n x = [x \| _ <- [1..n]]
Línea 52:		Línea 52:
	suma :: Integer -> Integer		suma :: Integer -> Integer
	suma n = sum [1..n]		suma n = sum [1..n]
			-- Ana Sánchez Martín
			suma n = [x \| x <- [1..n]

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 82:		Línea 84:
	-- Además, la Fila n tiene n elementos (Ej. la fila 3 es [4,5,6], tiene 3 elementos)		-- Además, la Fila n tiene n elementos (Ej. la fila 3 es [4,5,6], tiene 3 elementos)

	-- Lucía Hernández. Lucía González		-- Lucía Hernández. Lucía González, Ana Sánchez Martín
	linea :: Integer -> [Integer]		linea :: Integer -> [Integer]
	linea n = [x \| x<-[suma(n-1) +1..suma n]]		linea n = [x \| x<-[suma(n-1) +1..suma n]]
Línea 99:		Línea 101:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Adolfo Sagrera Vivancos, Elsa Domínguez, Cristina Torres, Carmen Blanco		-- José Manuel García, Lucía Hernández, Adolfo Sagrera Vivancos, Elsa Domínguez, Cristina Torres, Carmen Blanco, Ana Sánchez Martín
	triangulo :: Integer -> [[Integer]]		triangulo :: Integer -> [[Integer]]
	triangulo n = [linea x \| x <- [1..n]]		triangulo n = [linea x \| x <- [1..n]]
Línea 114:		Línea 116:
	-- Indicación: Usar la función factores del tema 5.		-- Indicación: Usar la función factores del tema 5.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	--Lucía Hernández		--Lucía Hernández, Ana Sánchez Martín
	factores :: Int -> [Int]		factores :: Int -> [Int]
	factores n = [x \| x <- [1..n-1], mod n x == 0]		factores n = [x \| x <- [1..n-1], mod n x == 0]

95.127.242.162 en 07:38 27 oct 2021

2021-10-27T07:38:41Z

Critorseb en 18:06 26 oct 2021

2021-10-26T18:06:12Z

Critorseb en 17:09 26 oct 2021

2021-10-26T17:09:36Z

← Revisión anterior		Revisión del 17:09 26 oct 2021
Línea 24:		Línea 24:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero		-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres
	sumaDeCuadrados :: Integer -> Integer		sumaDeCuadrados :: Integer -> Integer
	sumaDeCuadrados n = sum [(x^2) \| x <- [1..n]]		sumaDeCuadrados n = sum [(x^2) \| x <- [1..n]]
Línea 38:		Línea 38:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero		-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres
	replica :: Int -> a -> [a]		replica :: Int -> a -> [a]
	replica n x = [x \| _ <- [1..n]]		replica n x = [x \| _ <- [1..n]]
Línea 49:		Línea 49:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero		-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres
	suma :: Integer -> Integer		suma :: Integer -> Integer
	suma n = sum [1..n]		suma n = sum [1..n]
Línea 85:		Línea 85:
	linea :: Integer -> [Integer]		linea :: Integer -> [Integer]
	linea n = [x \| x<-[suma(n-1) +1..suma n]]		linea n = [x \| x<-[suma(n-1) +1..suma n]]
	-- Adolfo Sagrera Vivancos, Ana Sosa Caballero, Elsa Domínguez		-- Adolfo Sagrera Vivancos, Ana Sosa Caballero, Elsa Domínguez, Cristina Torres
	linea1 :: Integer -> [Integer]		linea1 :: Integer -> [Integer]
	linea1 n = [suma (n-1)+1..suma n]		linea1 n = [suma (n-1)+1..suma n]
Línea 99:		Línea 99:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Adolfo Sagrera Vivancos, Elsa Domínguez		-- José Manuel García, Lucía Hernández, Adolfo Sagrera Vivancos, Elsa Domínguez, Cristina Torres
	triangulo :: Integer -> [[Integer]]		triangulo :: Integer -> [[Integer]]
	triangulo n = [linea x \| x <- [1..n]]		triangulo n = [linea x \| x <- [1..n]]
Línea 137:		Línea 137:
	factores3 n = [x \| x <- [1..n], rem n x == 0]		factores3 n = [x \| x <- [1..n], rem n x == 0]

			--Cristina Torres
			factores4:: Int -> [Int]
			factores4 n= [ x \|x <- [1..n] , rem n x == 0]

			perfectos4 :: Int -> [Int]
			perfectos4 n = [i \| i <- [1..n], perfecto i]
			where perfecto x = x == sum (factores x)- x
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 5.1. Un número natural n se denomina abundante si es menor		-- Ejercicio 5.1. Un número natural n se denomina abundante si es menor
Línea 155:		Línea 162:
	numeroAbundante :: Int -> Bool		numeroAbundante :: Int -> Bool
	numeroAbundante n = n < (sum (factores n) - n)		numeroAbundante n = n < (sum (factores n) - n)
	-- Lucía Hernández		-- Lucía Hernández, Cristina Torres
	numeroAbundante :: Int -> Bool		numeroAbundante :: Int -> Bool
	numeroAbundante n = n < sum(factores n)		numeroAbundante n = n < sum(factores n)
Línea 174:		Línea 181:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Adolfo Sagrera Vivancos, Ana Sosa Caballero		--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres
	numerosAbundantesMenores :: Int -> [Int]		numerosAbundantesMenores :: Int -> [Int]
	numerosAbundantesMenores n = [x \| x <- [1..n], numeroAbundante x]		numerosAbundantesMenores n = [x \| x <- [1..n], numeroAbundante x]
Línea 197:		Línea 204:
	todosPares :: Int -> Bool		todosPares :: Int -> Bool
	todosPares n = length (filter odd (numerosAbundantesMenores n)) == 0		todosPares n = length (filter odd (numerosAbundantesMenores n)) == 0
	-- Adolfo Sagrera Vivancos, Ana Sosa Caballero		-- Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres
	todosPares1 :: Int -> Bool		todosPares1 :: Int -> Bool
	todosPares1 n = and [even x \| x <- numerosAbundantesMenores n]		todosPares1 n = and [even x \| x <- numerosAbundantesMenores n]
Línea 208:		Línea 215:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero		--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Cristina Torres
	primerAbundanteImpar :: Int		primerAbundanteImpar :: Int
	primerAbundanteImpar = head [x \| x <- [1,3..], numeroAbundante x]		primerAbundanteImpar = head [x \| x <- [1,3..], numeroAbundante x]
Línea 248:		Línea 255:
	-- λ> euler1' 1000		-- λ> euler1' 1000
	-- 233168		-- 233168


			-- Cristina Torres

			euler1 :: Int -> Int
			euler1 n = sum [ i \| i<- [1..n-1], rem i 3==0 \|\| rem i 5==0 ]
			-- Cálculo: λ> euler1 1000
			233168

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 260:		Línea 275:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos		--Álvaro Cano, Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres
	circulo :: Int -> Int		circulo :: Int -> Int
	circulo n = length [(x,y) \| x <- [0..n], y <- [0..n], x^2 + y^2 < n^2]		circulo n = length [(x,y) \| x <- [0..n], y <- [0..n], x^2 + y^2 < n^2]
Línea 273:		Línea 288:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos		--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres
	aproxE :: Double -> [Double]		aproxE :: Double -> [Double]
	aproxE n = [(1+1/m)**m \| m <- [1..n]]		aproxE n = [(1+1/m)**m \| m <- [1..n]]

217.217.85.84 en 10:04 24 oct 2021

2021-10-24T10:04:05Z

212.225.139.58 en 16:03 23 oct 2021

2021-10-23T16:03:11Z

← Revisión anterior		Revisión del 16:03 23 oct 2021
Línea 520:		Línea 520:
	densa xs = [(y,x) \| x <- xs , y <- [ys, ys-1 .. 0] ]		densa xs = [(y,x) \| x <- xs , y <- [ys, ys-1 .. 0] ]
	where ys = length xs -1		where ys = length xs -1
			-- Lucía Hernández
			densa :: [Int] -> [(Int,Int)]
			densa xs = [(x,y) \| (x,y)<- zip (reverse ys) xs, y/=0]
			where ys = [0.. length xs-1]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 16.0. La bases de datos sobre actividades de personas pueden		-- Ejercicio 16.0. La bases de datos sobre actividades de personas pueden

← Revisión anterior		Revisión del 18:08 29 oct 2021
Línea 24:		Línea 24:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres, Ana Sánchez Martín		-- José Manuel García, Lucía Hernández, Elsa Domínguez, Lucía González, Carmen Blanco, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres, Ana Sánchez Martín, Irene Ortega Moncayo
	sumaDeCuadrados :: Integer -> Integer		sumaDeCuadrados :: Integer -> Integer
	sumaDeCuadrados n = sum [(x^2) \| x <- [1..n]]		sumaDeCuadrados n = sum [(x^2) \| x <- [1..n]]
Línea 236:		Línea 236:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano		--Álvaro Cano, Irene Ortega Moncayo
	euler1 :: Int -> Int		euler1 :: Int -> Int
	euler1 n = sum [3x \| x <- [1..n] , 3x < n] + sum [5x \| x <- [1..n], 5x < n]		euler1 n = sum [3x \| x <- [1..n] , 3x < n] + sum [5x \| x <- [1..n], 5x < n]
Línea 277:		Línea 277:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González		--Álvaro Cano, Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González, Irene Ortega Moncayo
	circulo :: Int -> Int		circulo :: Int -> Int
	circulo n = length [(x,y) \| x <- [0..n], y <- [0..n], x^2 + y^2 < n^2]		circulo n = length [(x,y) \| x <- [0..n], y <- [0..n], x^2 + y^2 < n^2]
Línea 290:		Línea 290:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González		--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González, Irene Ortega Moncayo
	aproxE :: Double -> [Double]		aproxE :: Double -> [Double]
	aproxE n = [(1+1/m)**m \| m <- [1..n]]		aproxE n = [(1+1/m)**m \| m <- [1..n]]
Línea 316:		Línea 316:
	errorAproxE :: Double -> Double		errorAproxE :: Double -> Double
	errorAproxE x = head [m \| m <- [1..], (exp 1 - (1+1/m)**m) < x]		errorAproxE x = head [m \| m <- [1..], (exp 1 - (1+1/m)**m) < x]
	-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González, Irene Ortega Moncayo
	errorAproxE' :: Double -> Double		errorAproxE' :: Double -> Double
	errorAproxE' x = head [m \| m <- [1..], abs (exp 1 - (1+1/m)**m) < x]		errorAproxE' x = head [m \| m <- [1..], abs (exp 1 - (1+1/m)**m) < x]
Línea 398:		Línea 398:
	-- pitagoricas 10 == [(3,4,5),(4,3,5),(6,8,10),(8,6,10)]		-- pitagoricas 10 == [(3,4,5),(4,3,5),(6,8,10),(8,6,10)]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González		-- Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres, Lucía González, Irene Ortega Moncayo
	pitagoricas :: Int -> [(Int,Int,Int)]		pitagoricas :: Int -> [(Int,Int,Int)]
	pitagoricas n = [(x,y,z) \| x <-[1..n], y <-[1..n], z <-[1..n], x^2+y^2 == z^2]		pitagoricas n = [(x,y,z) \| x <-[1..n], y <-[1..n], z <-[1..n], x^2+y^2 == z^2]
Línea 412:		Línea 412:
	-- numeroDePares (4,6,4) == 3		-- numeroDePares (4,6,4) == 3
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Cristina Torres, Lucía González, Adolfo Sagrera Vivancos		-- Lucía Hernández, Cristina Torres, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	numeroDePares :: (Int,Int,Int) -> Int		numeroDePares :: (Int,Int,Int) -> Int
	numeroDePares (x,y,z) = length [i \| i<-[x,y,z], even i]		numeroDePares (x,y,z) = length [i \| i<-[x,y,z], even i]
Línea 433:		Línea 433:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Cristina Torres, Lucía González, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía Hernández, Cristina Torres, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	conjetura :: Int -> Bool		conjetura :: Int -> Bool
	conjetura n = and [odd (numeroDePares (x,y,z)) \| (x,y,z) <- pitagoricas n]		conjetura n = and [odd (numeroDePares (x,y,z)) \| (x,y,z) <- pitagoricas n]
Línea 466:		Línea 466:
	ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]		ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]
	ternasPitagoricas t = [ (x,y,z) \| x <- [1..], y <- [1..], z <- [1..], x<y && y<z, x^2+y^2 == z^2, sum [x,y,z] == t]		ternasPitagoricas t = [ (x,y,z) \| x <- [1..], y <- [1..], z <- [1..], x<y && y<z, x^2+y^2 == z^2, sum [x,y,z] == t]
	-- Adolfo Sagrera Vivancos		-- Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	ternasPitagoricas1 :: Integer -> [(Integer,Integer,Integer)]		ternasPitagoricas1 :: Integer -> [(Integer,Integer,Integer)]
	ternasPitagoricas1 x = [(a,b,c) \| a <- [1..x], b <- [a+1..x], c <- [x-a-b],		ternasPitagoricas1 x = [(a,b,c) \| a <- [1..x], b <- [a+1..x], c <- [x-a-b],
Línea 516:		Línea 516:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Ana Sosa Caballero, Lucía González, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Ana Sosa Caballero, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	sumaConsecutivos :: [Int] -> [Int]		sumaConsecutivos :: [Int] -> [Int]
	sumaConsecutivos xs = [a+b \| (a,b) <- zip xs (tail xs)]		sumaConsecutivos xs = [a+b \| (a,b) <- zip xs (tail xs)]
Línea 585:		Línea 585:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	nombres :: [(String,String,Int,Int)] -> [String]		nombres :: [(String,String,Int,Int)] -> [String]
	nombres bd = [(a) \| (a,_,_,_) <- bd]		nombres bd = [(a) \| (a,_,_,_) <- bd]
Línea 597:		Línea 597:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	musicos :: [(String,String,Int,Int)] -> [String]		musicos :: [(String,String,Int,Int)] -> [String]
	musicos bd = [(a) \| (a,b,_,_) <- bd, b == "Musica"]		musicos bd = [(a) \| (a,b,_,_) <- bd, b == "Musica"]
Línea 612:		Línea 612:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	seleccion :: [(String,String,Int,Int)] -> String -> [String]		seleccion :: [(String,String,Int,Int)] -> String -> [String]
	seleccion bd m = [(a) \| (a,b,_,_) <- bd, b == m]		seleccion bd m = [(a) \| (a,b,_,_) <- bd, b == m]
Línea 625:		Línea 625:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	musicos' :: [(String,String,Int,Int)] -> [String]		musicos' :: [(String,String,Int,Int)] -> [String]
	musicos' bd = seleccion bd "Musica"		musicos' bd = seleccion bd "Musica"
Línea 638:		Línea 638:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo
	vivas :: [(String,String,Int,Int)] -> Int -> [String]		vivas :: [(String,String,Int,Int)] -> Int -> [String]
	vivas ps a = [(p) \| (p,_,c,d) <- ps, c <= a && a <= d]		vivas ps a = [(p) \| (p,_,c,d) <- ps, c <= a && a <= d]

	</source>		</source>

← Revisión anterior		Revisión del 18:18 27 oct 2021
Línea 412:		Línea 412:
	-- numeroDePares (4,6,4) == 3		-- numeroDePares (4,6,4) == 3
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Cristina Torres, Lucía González		-- Lucía Hernández, Cristina Torres, Lucía González, Adolfo Sagrera Vivancos
	numeroDePares :: (Int,Int,Int) -> Int		numeroDePares :: (Int,Int,Int) -> Int
	numeroDePares (x,y,z) = length [i \| i<-[x,y,z], even i]		numeroDePares (x,y,z) = length [i \| i<-[x,y,z], even i]
Línea 433:		Línea 433:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Cristina Torres, Lucía González		-- Elsa Domínguez, Lucía Hernández, Cristina Torres, Lucía González, Adolfo Sagrera Vivancos
	conjetura :: Int -> Bool		conjetura :: Int -> Bool
	conjetura n = and [odd (numeroDePares (x,y,z)) \| (x,y,z) <- pitagoricas n]		conjetura n = and [odd (numeroDePares (x,y,z)) \| (x,y,z) <- pitagoricas n]
Línea 466:		Línea 466:
	ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]		ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]
	ternasPitagoricas t = [ (x,y,z) \| x <- [1..], y <- [1..], z <- [1..], x<y && y<z, x^2+y^2 == z^2, sum [x,y,z] == t]		ternasPitagoricas t = [ (x,y,z) \| x <- [1..], y <- [1..], z <- [1..], x<y && y<z, x^2+y^2 == z^2, sum [x,y,z] == t]
			-- Adolfo Sagrera Vivancos
			ternasPitagoricas1 :: Integer -> [(Integer,Integer,Integer)]
			ternasPitagoricas1 x = [(a,b,c) \| a <- [1..x], b <- [a+1..x], c <- [x-a-b],
			a^2+b^2 == c^2]

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 479:		Línea 483:
	euler9 = abc		euler9 = abc
	where (a,b,c)= head (ternasPitagoricas 1000)		where (a,b,c)= head (ternasPitagoricas 1000)
			-- Adolfo Sagrera Vivancos
			euler9' :: Integer
			euler9' = head[ abc \| (a,b,c) <- (ternasPitagoricas 1000)]
	-- El cálculo del valor de euler9 es		-- El cálculo del valor de euler9 es

Línea 493:		Línea 500:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Ana Sosa Caballero, Lucía González		-- Elsa Domínguez, Ana Sosa Caballero, Lucía González, Adolfo Sagrera Vivancos
	productoEscalar :: [Int] -> [Int] -> Int		productoEscalar :: [Int] -> [Int] -> Int
	productoEscalar xs ys = sum [a*b \| (a,b) <- zip xs ys]		productoEscalar xs ys = sum [a*b \| (a,b) <- zip xs ys]
Línea 509:		Línea 516:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Ana Sosa Caballero, Lucía González		-- Elsa Domínguez, Ana Sosa Caballero, Lucía González, Adolfo Sagrera Vivancos
	sumaConsecutivos :: [Int] -> [Int]		sumaConsecutivos :: [Int] -> [Int]
	sumaConsecutivos xs = [a+b \| (a,b) <- zip xs (tail xs)]		sumaConsecutivos xs = [a+b \| (a,b) <- zip xs (tail xs)]
Línea 529:		Línea 536:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Adolfo Sagrera Vivancos
	densa :: [Int] -> [(Int,Int)]		densa :: [Int] -> [(Int,Int)]
	densa xs = [(a,b) \| (a,b) <- zip (reverse [0..(length xs-1)]) xs, b /= 0]		densa xs = [(a,b) \| (a,b) <- zip (reverse [0..(length xs-1)]) xs, b /= 0]
Línea 578:		Línea 585:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos
	nombres :: [(String,String,Int,Int)] -> [String]		nombres :: [(String,String,Int,Int)] -> [String]
	nombres bd = [(a) \| (a,_,_,_) <- bd]		nombres bd = [(a) \| (a,_,_,_) <- bd]
Línea 590:		Línea 597:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos
	musicos :: [(String,String,Int,Int)] -> [String]		musicos :: [(String,String,Int,Int)] -> [String]
	musicos bd = [(a) \| (a,b,_,_) <- bd, b == "Musica"]		musicos bd = [(a) \| (a,b,_,_) <- bd, b == "Musica"]
Línea 605:		Línea 612:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos
	seleccion :: [(String,String,Int,Int)] -> String -> [String]		seleccion :: [(String,String,Int,Int)] -> String -> [String]
	seleccion bd m = [(a) \| (a,b,_,_) <- bd, b == m]		seleccion bd m = [(a) \| (a,b,_,_) <- bd, b == m]
Línea 618:		Línea 625:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos
	musicos' :: [(String,String,Int,Int)] -> [String]		musicos' :: [(String,String,Int,Int)] -> [String]
	musicos' bd = seleccion bd "Musica"		musicos' bd = seleccion bd "Musica"
Línea 631:		Línea 638:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía González		-- Elsa Domínguez, Lucía González, Adolfo Sagrera Vivancos
	vivas :: [(String,String,Int,Int)] -> Int -> [String]		vivas :: [(String,String,Int,Int)] -> Int -> [String]
	vivas ps a = [(p) \| (p,_,c,d) <- ps, c <= a && a <= d]		vivas ps a = [(p) \| (p,_,c,d) <- ps, c <= a && a <= d]

	</source>		</source>

← Revisión anterior		Revisión del 07:38 27 oct 2021
Línea 85:		Línea 85:
	linea :: Integer -> [Integer]		linea :: Integer -> [Integer]
	linea n = [x \| x<-[suma(n-1) +1..suma n]]		linea n = [x \| x<-[suma(n-1) +1..suma n]]
	-- Adolfo Sagrera Vivancos, Ana Sosa Caballero, Elsa Domínguez, Cristina Torres		-- Adolfo Sagrera Vivancos, Carmen Blanco, Ana Sosa Caballero, Elsa Domínguez, Cristina Torres
	linea1 :: Integer -> [Integer]		linea1 :: Integer -> [Integer]
	linea1 n = [suma (n-1)+1..suma n]		linea1 n = [suma (n-1)+1..suma n]
Línea 99:		Línea 99:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- José Manuel García, Lucía Hernández, Adolfo Sagrera Vivancos, Elsa Domínguez, Cristina Torres		-- José Manuel García, Lucía Hernández, Adolfo Sagrera Vivancos, Elsa Domínguez, Cristina Torres, Carmen Blanco
	triangulo :: Integer -> [[Integer]]		triangulo :: Integer -> [[Integer]]
	triangulo n = [linea x \| x <- [1..n]]		triangulo n = [linea x \| x <- [1..n]]
Línea 125:		Línea 125:
	perfectos1 :: Int -> [Int]		perfectos1 :: Int -> [Int]
	perfectos1 n = [x \| x <- [1..n], sum (factores x) == 2*x]		perfectos1 n = [x \| x <- [1..n], sum (factores x) == 2*x]
	-- Adolfo Sagrera Vivancos		-- Adolfo Sagrera Vivancos, Carmen Blanco
	factores2 n = [x \| x <- [1..n], rem n x ==0]		factores2 n = [x \| x <- [1..n], rem n x ==0]
	perfectos2 :: Int -> [Int]		perfectos2 :: Int -> [Int]
Línea 165:		Línea 165:
	numeroAbundante :: Int -> Bool		numeroAbundante :: Int -> Bool
	numeroAbundante n = n < sum(factores n)		numeroAbundante n = n < sum(factores n)
	-- Elsa Domínguez		-- Elsa Domínguez, Carmen Blanco
	numeroAbundante2 :: Int -> Bool		numeroAbundante2 :: Int -> Bool
	numeroAbundante2 n = sum (factores n) > 2*n		numeroAbundante2 n = sum (factores n) > 2*n
Línea 181:		Línea 181:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres		--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Adolfo Sagrera Vivancos, Ana Sosa Caballero, Cristina Torres, Carmen Blanco
	numerosAbundantesMenores :: Int -> [Int]		numerosAbundantesMenores :: Int -> [Int]
	numerosAbundantesMenores n = [x \| x <- [1..n], numeroAbundante x]		numerosAbundantesMenores n = [x \| x <- [1..n], numeroAbundante x]

← Revisión anterior		Revisión del 18:06 26 oct 2021
Línea 314:		Línea 314:
	errorAproxE :: Double -> Double		errorAproxE :: Double -> Double
	errorAproxE x = head [m \| m <- [1..], (exp 1 - (1+1/m)**m) < x]		errorAproxE x = head [m \| m <- [1..], (exp 1 - (1+1/m)**m) < x]
	-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres
	errorAproxE' :: Double -> Double		errorAproxE' :: Double -> Double
	errorAproxE' x = head [m \| m <- [1..], abs (exp 1 - (1+1/m)**m) < x]		errorAproxE' x = head [m \| m <- [1..], abs (exp 1 - (1+1/m)**m) < x]
Línea 331:		Línea 331:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres
	aproxLimSeno :: Double -> [Double]		aproxLimSeno :: Double -> [Double]
	aproxLimSeno n = [sin (1/m) / (1/m) \| m <- [1..n]]		aproxLimSeno n = [sin (1/m) / (1/m) \| m <- [1..n]]
Línea 352:		Línea 352:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres
	errorLimSeno :: Double -> Double		errorLimSeno :: Double -> Double
	errorLimSeno x = head [m \| m <- [1..], abs (1 - sin (1/m) / (1/m)) < x]		errorLimSeno x = head [m \| m <- [1..], abs (1 - sin (1/m) / (1/m)) < x]
Línea 367:		Línea 367:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres
	calculaPi :: Double -> Double		calculaPi :: Double -> Double
	calculaPi n = 4(sum [(-1)x / (2x + 1) \| x <- [0..n]])		calculaPi n = 4(sum [(-1)x / (2x + 1) \| x <- [0..n]])
Línea 382:		Línea 382:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos, Cristina Torres
	errorPi :: Double -> Double		errorPi :: Double -> Double
	errorPi x = head [n \| n <- [1..], abs (pi - calculaPi n) < x]		errorPi x = head [n \| n <- [1..], abs (pi - calculaPi n) < x]
Línea 396:		Línea 396:
	-- pitagoricas 10 == [(3,4,5),(4,3,5),(6,8,10),(8,6,10)]		-- pitagoricas 10 == [(3,4,5),(4,3,5),(6,8,10),(8,6,10)]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos		-- Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres
	pitagoricas :: Int -> [(Int,Int,Int)]		pitagoricas :: Int -> [(Int,Int,Int)]
	pitagoricas n = [(x,y,z) \| x <-[1..n], y <-[1..n], z <-[1..n], x^2+y^2 == z^2]		pitagoricas n = [(x,y,z) \| x <-[1..n], y <-[1..n], z <-[1..n], x^2+y^2 == z^2]
Línea 410:		Línea 410:
	-- numeroDePares (4,6,4) == 3		-- numeroDePares (4,6,4) == 3
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Cristina Torres
	numeroDePares :: (Int,Int,Int) -> Int		numeroDePares :: (Int,Int,Int) -> Int
	numeroDePares (x,y,z) = length [i \| i<-[x,y,z], even i]		numeroDePares (x,y,z) = length [i \| i<-[x,y,z], even i]
Línea 431:		Línea 431:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Cristina Torres
	conjetura :: Int -> Bool		conjetura :: Int -> Bool
	conjetura n = and [odd (numeroDePares (x,y,z)) \| (x,y,z) <- pitagoricas n]		conjetura n = and [odd (numeroDePares (x,y,z)) \| (x,y,z) <- pitagoricas n]
Línea 457:		Línea 457:
	ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]		ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]
	ternasPitagoricas x = [(a,b,c) \| a <- [1..x], b <- [a+1..x], c <- [b+1..x], a^2 + b^2 == c^2, a+b+c == x]		ternasPitagoricas x = [(a,b,c) \| a <- [1..x], b <- [a+1..x], c <- [b+1..x], a^2 + b^2 == c^2, a+b+c == x]
	--Lucía Hernández		--Lucía Hernández,Cristina Torres
	ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]		ternasPitagoricas :: Integer -> [(Integer,Integer,Integer)]
	ternasPitagoricas x = [(a,b,c) \| a<-[1..x],b<-[1..x],c<-[1..x], a<b && b<c,a^2+b^2 == c^2,a+b+c == x ]		ternasPitagoricas x = [(a,b,c) \| a<-[1..x],b<-[1..x],c<-[1..x], a<b && b<c,a^2+b^2 == c^2,a+b+c == x ]

← Revisión anterior		Revisión del 10:04 24 oct 2021
Línea 260:		Línea 260:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Elsa Domínguez, Lucía Hernández		--Álvaro Cano, Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos
	circulo :: Int -> Int		circulo :: Int -> Int
	circulo n = length [(x,y) \| x <- [0..n], y <- [0..n], x^2 + y^2 < n^2]		circulo n = length [(x,y) \| x <- [0..n], y <- [0..n], x^2 + y^2 < n^2]
Línea 273:		Línea 273:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero		--Álvaro Cano, Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	aproxE :: Double -> [Double]		aproxE :: Double -> [Double]
	aproxE n = [(1+1/m)**m \| m <- [1..n]]		aproxE n = [(1+1/m)**m \| m <- [1..n]]
Línea 299:		Línea 299:
	errorAproxE :: Double -> Double		errorAproxE :: Double -> Double
	errorAproxE x = head [m \| m <- [1..], (exp 1 - (1+1/m)**m) < x]		errorAproxE x = head [m \| m <- [1..], (exp 1 - (1+1/m)**m) < x]
	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos
	errorAproxE' :: Double -> Double		errorAproxE' :: Double -> Double
	errorAproxE' x = head [m \| m <- [1..], abs (exp 1 - (1+1/m)**m) < x]		errorAproxE' x = head [m \| m <- [1..], abs (exp 1 - (1+1/m)**m) < x]
Línea 316:		Línea 316:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	aproxLimSeno :: Double -> [Double]		aproxLimSeno :: Double -> [Double]
	aproxLimSeno n = [sin (1/m) / (1/m) \| m <- [1..n]]		aproxLimSeno n = [sin (1/m) / (1/m) \| m <- [1..n]]
Línea 337:		Línea 337:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos
	errorLimSeno :: Double -> Double		errorLimSeno :: Double -> Double
	errorLimSeno x = head [m \| m <- [1..], abs (1 - sin (1/m) / (1/m)) < x]		errorLimSeno x = head [m \| m <- [1..], abs (1 - sin (1/m) / (1/m)) < x]
Línea 352:		Línea 352:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos
	calculaPi :: Double -> Double		calculaPi :: Double -> Double
	calculaPi n = 4(sum [(-1)x / (2x + 1) \| x <- [0..n]])		calculaPi n = 4(sum [(-1)x / (2x + 1) \| x <- [0..n]])
Línea 367:		Línea 367:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos
	errorPi :: Double -> Double		errorPi :: Double -> Double
	errorPi x = head [n \| n <- [1..], abs (pi - calculaPi n) < x]		errorPi x = head [n \| n <- [1..], abs (pi - calculaPi n) < x]
Línea 381:		Línea 381:
	-- pitagoricas 10 == [(3,4,5),(4,3,5),(6,8,10),(8,6,10)]		-- pitagoricas 10 == [(3,4,5),(4,3,5),(6,8,10),(8,6,10)]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero		-- Lucía Hernández, Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	pitagoricas :: Int -> [(Int,Int,Int)]		pitagoricas :: Int -> [(Int,Int,Int)]
	pitagoricas n = [(x,y,z) \| x <-[1..n], y <-[1..n], z <-[1..n], x^2+y^2 == z^2]		pitagoricas n = [(x,y,z) \| x <-[1..n], y <-[1..n], z <-[1..n], x^2+y^2 == z^2]