Relación 6 - Historial de revisiones

Anasoscab en 08:39 17 nov 2021

2021-11-17T08:39:07Z

Josgarver4 en 10:45 10 nov 2021

2021-11-10T10:45:56Z

← Revisión anterior		Revisión del 10:45 10 nov 2021
Línea 365:		Línea 365:
	listaNumeroC' xs = sum [ x*(10^y) \| (x,y) <- agrupa1 xs]		listaNumeroC' xs = sum [ x*(10^y) \| (x,y) <- agrupa1 xs]
	agrupa1 xs = zip (reverse xs) [0..]		agrupa1 xs = zip (reverse xs) [0..]

			--José Manuel García
			listaNumeroC :: [Integer] -> Integer
			listaNumeroC xs = read [stringToChar t \| t <- [show a \| a <- xs]] :: Integer
			stringToChar :: String -> Char
			stringToChar x = head (x)

Josgarver4 en 09:35 10 nov 2021

2021-11-10T09:35:09Z

← Revisión anterior		Revisión del 09:35 10 nov 2021
Línea 341:		Línea 341:
	listaNumeroR' [x] = x		listaNumeroR' [x] = x
	listaNumeroR' xs = last xs + (listaNumeroR (init xs))*10		listaNumeroR' xs = last xs + (listaNumeroR (init xs))*10

			--José Manuel García
			listaNumeroR :: [Integer] -> Integer
			listaNumeroR (x:xs) = read ( (show x) ++ listaNumeroR' xs) :: Integer
			listaNumeroR' :: [Integer] -> [Char]
			listaNumeroR' [] = []
			listaNumeroR' (x:xs) = show x ++ listaNumeroR' xs

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

188.78.90.137 en 10:36 9 nov 2021

2021-11-09T10:36:34Z

Mostrar los cambios

217.217.85.84 en 16:58 7 nov 2021

2021-11-07T16:58:41Z

Mostrar los cambios

Elsdomgon en 14:54 6 nov 2021

2021-11-06T14:54:55Z

← Revisión anterior		Revisión del 14:54 6 nov 2021
Línea 301:		Línea 301:
	sumaDigitosNR :: Integer -> Integer		sumaDigitosNR :: Integer -> Integer
	sumaDigitosNR n = sum (digitosR n)		sumaDigitosNR n = sum (digitosR n)
			-- Elsa Domínguez
			sumaDigitosNR :: Integer -> Integer
			sumaDigitosNR n = sum (digitosC n)

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 313:		Línea 316:
	-- La comprobación es quickCheck prop_sumaDigitos		-- La comprobación es quickCheck prop_sumaDigitos
	+++ OK, passed 100 tests.		+++ OK, passed 100 tests.


	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 370:		Línea 372:
	-- mayorExponenteR 2 60 == 2		-- mayorExponenteR 2 60 == 2
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	mayorExponenteR :: Integer -> Integer -> Integer		mayorExponenteR :: Integer -> Integer -> Integer
	mayorExponenteR _ 0 = 0		mayorExponenteR _ 0 = 0
	mayorExponenteR a b \| mod b (a) == 0 = 1 + mayorExponenteR a( div b a)		mayorExponenteR a b \| mod b a == 0 = 1 + mayorExponenteR a( div b a)
	\| otherwise = 0		\| otherwise = 0

Elsdomgon en 13:56 6 nov 2021

2021-11-06T13:56:20Z

← Revisión anterior		Revisión del 13:56 6 nov 2021
Línea 389:		Línea 389:
	mayorExponenteC :: Integer -> Integer -> Integer		mayorExponenteC :: Integer -> Integer -> Integer
	mayorExponenteC a b = last [s \| s<- [0..b], mod b (a^s) == 0]		mayorExponenteC a b = last [s \| s<- [0..b], mod b (a^s) == 0]
			-- Elsa Domínguez
			mayorExponenteC' :: Integer -> Integer -> Integer
			mayorExponenteC' a b \| rem b a /= 0 = 0 -- mejora la eficiencia
			\| otherwise = last [x \| x <- [0..32], rem b (a^x) == 0]

	</source>		</source>

Elsdomgon en 13:41 6 nov 2021

2021-11-06T13:41:57Z

← Revisión anterior		Revisión del 13:41 6 nov 2021
Línea 167:		Línea 167:
	-- coge (-3) [4..12] == []		-- coge (-3) [4..12] == []
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Nicolás Rodríguez Ruiz		-- Lucía Hernández, Nicolás Rodríguez Ruiz, Elsa Domínguez
	coge :: Int -> [a] -> [a]		coge :: Int -> [a] -> [a]
	coge _ [] = []		coge _ [] = []
Línea 177:		Línea 177:
	-- take.		-- take.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Nicolás Rodríguez Ruiz		-- Lucía Hernández, Nicolás Rodríguez Ruiz, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_coge :: Int -> [Int] -> Bool		prop_coge :: Int -> [Int] -> Bool
	prop_coge n xs = coge n xs == take n xs		prop_coge n xs = coge n xs == take n xs

	-- La comprobación es quickCheck prop_coge		-- La comprobación es quickCheck prop_coge
	+++ OK, passed 100 tests		+++ OK, passed 100 tests

Línea 196:		Línea 196:
	sumaCuadradosR 0 = 0		sumaCuadradosR 0 = 0
	sumaCuadradosR n = n^2 + sumaCuadradosR (n-1)		sumaCuadradosR n = n^2 + sumaCuadradosR (n-1)
			-- Elsa Domínguez
			sumaCuadradosR :: Integer -> Integer
			sumaCuadradosR 1 = 1
			sumaCuadradosR n \| n < 0 = error "n debe ser mayor que cero"
			\| otherwise = n^2 + sumaCuadradosR (n-1)

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 6.2. Comprobar con QuickCheck si sumaCuadradosR n es igual a		-- Ejercicio 6.2. Comprobar con QuickCheck si sumaCuadradosR n es igual a
	-- n(n+1)(2n+1)/6.		-- n(n+1)(2n+1)/6.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_SumaCuadrados :: Integer -> Property		prop_SumaCuadrados :: Integer -> Property
Línea 215:		Línea 221:
	-- sumaCuadradosC 4 == 30		-- sumaCuadradosC 4 == 30
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	sumaCuadradosC :: Integer -> Integer		sumaCuadradosC :: Integer -> Integer
	sumaCuadradosC n = sum [ x^2 \| x <- [1..n]]		sumaCuadradosC n = sum [x^2 \| x <- [1..n]]

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 224:		Línea 230:
	-- naturales.		-- naturales.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_sumaCuadradosR :: Integer -> Property		prop_sumaCuadradosR :: Integer -> Property
Línea 239:		Línea 245:
	-- digitosR 320274 == [3,2,0,2,7,4]		-- digitosR 320274 == [3,2,0,2,7,4]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	digitosR :: Integer -> [Integer]		digitosR :: Integer -> [Integer]
	digitosR n = if n<10 then [n]		digitosR n = if n<10 then [n]
Línea 251:		Línea 257:
	-- Indicación: Usar las funciones show y read.		-- Indicación: Usar las funciones show y read.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
			-- Lucía Hernández, Elsa Domínguez
	-- Lucía Hernández
	digitosC :: Integer -> [Integer]		digitosC :: Integer -> [Integer]
	digitosC n = [read [x] \| x <- show n]		digitosC n = [read [x] \| x <- show n]
Línea 259:		Línea 264:
	-- digitosC son equivalentes.		-- digitosC son equivalentes.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_digitos :: Integer -> Property		prop_digitos :: Integer -> Property
Línea 279:		Línea 284:
	sumaDigitosR n = if n<10 then n		sumaDigitosR n = if n<10 then n
	else rem n 10 + sumaDigitosR (div n 10)		else rem n 10 + sumaDigitosR (div n 10)
			-- Elsa Domínguez
			sumaDigitosR' :: Integer -> Integer
			sumaDigitosR' 0 = 0
			sumaDigitosR' n \| n < 0 = error "no es posible"
			\| otherwise = rem n 10 + sumaDigitosR (div n 10)

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 296:		Línea 306:
	-- y sumaDigitosNR son equivalentes.		-- y sumaDigitosNR son equivalentes.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_sumaDigitos :: Integer -> Property		prop_sumaDigitos :: Integer -> Property
	prop_sumaDigitos n = n>= 0 ==> sumaDigitosR n == sumaDigitosNR n		prop_sumaDigitos n = n>= 0 ==> sumaDigitosR n == sumaDigitosNR n


	-- La comprobación es quickCheck prop_sumaDigitos		-- La comprobación es quickCheck prop_sumaDigitos
Línea 320:		Línea 329:
	listaNumeroR [x] = x		listaNumeroR [x] = x
	listaNumeroR (x:xs) = x*10^(length (xs)) + listaNumeroR xs		listaNumeroR (x:xs) = x*10^(length (xs)) + listaNumeroR xs
			-- Elsa Domínguez
			listaNumeroR' :: [Integer] -> Integer
			listaNumeroR' [] = 0
			listaNumeroR' [x] = x
			listaNumeroR' xs = last xs + (listaNumeroR (init xs))*10

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 330:		Línea 344:
	-- listaNumeroC [0,0,1] == 1		-- listaNumeroC [0,0,1] == 1
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Elsa Domínguez
	listaNumeroC :: [Integer] -> Integer		listaNumeroC :: [Integer] -> Integer
	listaNumeroC xs = sum [x*10^s \| (x,s) <- zip(reverse xs) [0..length xs -1]]		listaNumeroC xs = sum [x*10^s \| (x,s) <- zip(reverse xs) [0..length xs -1]]
Línea 338:		Línea 352:
	-- listaNumeroR y listaNumeroC son equivalentes.		-- listaNumeroR y listaNumeroC son equivalentes.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	--Lucía Hernández		--Lucía Hernández, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_listaNumero :: [Integer] -> Bool		prop_listaNumero :: [Integer] -> Bool

Elsdomgon en 12:29 6 nov 2021

2021-11-06T12:29:42Z

← Revisión anterior		Revisión del 12:29 6 nov 2021
Línea 33:		Línea 33:
	potencia x n = x* potencia x (n-1)		potencia x n = x* potencia x (n-1)

	-- Nicolás Rodríguez Ruiz		-- Nicolás Rodríguez Ruiz, Elsa Domínguez
	potencia :: Integer -> Integer -> Integer		potencia :: Integer -> Integer -> Integer
	potencia _ 0 = 1		potencia _ 0 = 1
Línea 43:		Línea 43:
	-- equivalente a la predefinida (^).		-- equivalente a la predefinida (^).
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Irene Ortega		-- Lucía Hernández, Irene Ortega, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_potencia :: Integer -> Integer -> Property		prop_potencia :: Integer -> Integer -> Property
Línea 64:		Línea 64:
	-- mcd 30 45 == 15		-- mcd 30 45 == 15
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Nicolás Rodríguez Ruiz, Irene Ortega		-- Lucía Hernández, Nicolás Rodríguez Ruiz, Irene Ortega, Elsa Domínguez
	mcd :: Integer -> Integer -> Integer		mcd :: Integer -> Integer -> Integer
	mcd a 0 = a		mcd a 0 = a
	mcd a b = mcd b (mod a b)		mcd a b = mcd b (mod a b)


	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 76:		Línea 75:
	-- menor de los números a y b.		-- menor de los números a y b.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Irene Ortega		-- Lucía Hernández, Irene Ortega, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_mcd :: Integer -> Integer -> Property		prop_mcd :: Integer -> Integer -> Property
Línea 99:		Línea 98:
	1		1
	1		1
	-- Nicolás Rodríguez Ruiz, Irene Ortega		-- Nicolás Rodríguez Ruiz, Irene Ortega, Elsa Domínguez
	prop_mcd_div :: Integer -> Integer -> Property		prop_mcd_div :: Integer -> Integer -> Property
	prop_mcd_div a b = a>0 && b>0 && a/=b==> mcd a b <= (max a b) `div` 2		prop_mcd_div a b = a>0 && b>0 && a/=b==> mcd a b <= (max a b) `div` 2
Línea 118:		Línea 117:
	pertenece n (x:xs) \| n == x = True		pertenece n (x:xs) \| n == x = True
	\|otherwise = pertenece n xs		\|otherwise = pertenece n xs
	-- Nicolás Rodríguez Ruiz		-- Nicolás Rodríguez Ruiz, Elsa Domínguez
	pertenece :: Eq a => a -> [a] -> Bool		pertenece :: Eq a => a -> [a] -> Bool
	pertenece _ [] = False		pertenece _ [] = False
Línea 126:		Línea 125:
	-- a elem.		-- a elem.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Irene Ortega		-- Lucía Hernández, Irene Ortega, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_pertenece :: Int -> [Int] -> Bool		prop_pertenece :: Int -> [Int] -> Bool
Línea 141:		Línea 140:
	-- concatenaListas [[1..3],[5..7],[8..10]] == [1,2,3,5,6,7,8,9,10]		-- concatenaListas [[1..3],[5..7],[8..10]] == [1,2,3,5,6,7,8,9,10]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández , Nicolás Rodríguez Ruiz
			-- Lucía Hernández , Nicolás Rodríguez Ruiz, Elsa Domínguez
	concatenaListas :: [[a]] -> [a]		concatenaListas :: [[a]] -> [a]
	concatenaListas [] = []		concatenaListas [] = []
	concatenaListas (xs:xss) = xs ++ concatenaListas xss		concatenaListas (xs:xss) = xs ++ concatenaListas xss

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 4.2. Comprobar con QuickCheck que concatenaListas es		-- Ejercicio 4.2. Comprobar con QuickCheck que concatenaListas es
Línea 150:		Línea 151:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Nicolás Rodrígez Ruiz		-- Nicolás Rodrígez Ruiz, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
	prop_concat :: [[Int]] -> Bool		prop_concat :: [[Int]] -> Bool

10.100.157.102 en 10:27 5 nov 2021

2021-11-05T10:27:00Z

← Revisión anterior		Revisión del 10:27 5 nov 2021
Línea 28:		Línea 28:
	-- potencia 2 3 == 8		-- potencia 2 3 == 8
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Irene Ortega
	potencia :: Integer -> Integer -> Integer		potencia :: Integer -> Integer -> Integer
	potencia _ 0 = 1		potencia _ 0 = 1
Línea 43:		Línea 43:
	-- equivalente a la predefinida (^).		-- equivalente a la predefinida (^).
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Irene Ortega
	-- La propiedad es		-- La propiedad es
	prop_potencia :: Integer -> Integer -> Property		prop_potencia :: Integer -> Integer -> Property
Línea 64:		Línea 64:
	-- mcd 30 45 == 15		-- mcd 30 45 == 15
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Nicolás Rodríguez Ruiz		-- Lucía Hernández, Nicolás Rodríguez Ruiz, Irene Ortega
	mcd :: Integer -> Integer -> Integer		mcd :: Integer -> Integer -> Integer
	mcd a 0 = a		mcd a 0 = a
Línea 76:		Línea 76:
	-- menor de los números a y b.		-- menor de los números a y b.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Irene Ortega
	-- La propiedad es		-- La propiedad es
	prop_mcd :: Integer -> Integer -> Property		prop_mcd :: Integer -> Integer -> Property
Línea 99:		Línea 99:
	1		1
	1		1
	-- Nicolás Rodríguez Ruiz		-- Nicolás Rodríguez Ruiz, Irene Ortega
	prop_mcd_div :: Integer -> Integer -> Property		prop_mcd_div :: Integer -> Integer -> Property
	prop_mcd_div a b = a>0 && b>0 && a/=b==> mcd a b <= (max a b) `div` 2		prop_mcd_div a b = a>0 && b>0 && a/=b==> mcd a b <= (max a b) `div` 2
Línea 113:		Línea 113:
	-- pertenece 4 [2,3,5] == False		-- pertenece 4 [2,3,5] == False
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Irene Ortega
	pertenece :: Eq a => a -> [a] -> Bool		pertenece :: Eq a => a -> [a] -> Bool
	pertenece _ [] = False		pertenece _ [] = False
Línea 126:		Línea 126:
	-- a elem.		-- a elem.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Irene Ortega
	-- La propiedad es		-- La propiedad es
	prop_pertenece :: Int -> [Int] -> Bool		prop_pertenece :: Int -> [Int] -> Bool