Relación 8 - Historial de revisiones

Josgarver4 en 09:01 3 dic 2021

2021-12-03T09:01:26Z

← Revisión anterior		Revisión del 09:01 3 dic 2021
Línea 325:		Línea 325:

	--José Manuel García		--José Manuel García
	~~muyCreciente1~~ :: [Integer] -> Bool		muyCrecientePr :: [Integer] -> Bool
	~~muyCreciente1~~ [] = True		muyCrecientePr [] = True
	~~muyCreciente1~~ xs = ~~reverse~~ (~~foldl~~ f [~~head~~ xs'] xs') == xs		muyCrecientePr xs = (foldr f [last xs] (init xs)) == xs
	where f xs~~' x~~ \| ~~last xs' >~~ 3*x = xs~~' ++ [x]~~		where f x xs \| 3*x < head xs = x:xs
	\| otherwise = ~~xs'~~		\| otherwise = xs
	~~xs' = reverse~~ xs


	</source>		</source>

Josgarver4 en 08:25 3 dic 2021

2021-12-03T08:25:48Z

← Revisión anterior		Revisión del 08:25 3 dic 2021
Línea 300:		Línea 300:

	--José Manuel García		--José Manuel García
	~~relacionadosP~~ :: (a -> a -> Bool) -> [a] -> Bool		relacionadosP1 :: (a -> a -> Bool) -> [a] -> Bool
	~~relacionadosP~~ p xs = length (foldr f [last xs] xs) == length xs		relacionadosP1 p xs = length (foldr f [last xs] xs) == length xs
	where f x xs \| x `p` head (xs) = x : xs		where f x xs \| x `p` head (xs) = x : xs
	\| otherwise = XS		\| otherwise = XS
Línea 323:		Línea 323:
	muyCreciente xs = relacionadosA p xs		muyCreciente xs = relacionadosA p xs
	where p x y = 3*x<y		where p x y = 3*x<y

			--José Manuel García
			muyCreciente1 :: [Integer] -> Bool
			muyCreciente1 [] = True
			muyCreciente1 xs = reverse (foldl f [head xs'] xs') == xs
			where f xs' x \| last xs' > 3*x = xs' ++ [x]
			\| otherwise = xs'
			xs' = reverse xs


	</source>		</source>

Josgarver4 en 08:09 3 dic 2021

2021-12-03T08:09:29Z

← Revisión anterior		Revisión del 08:09 3 dic 2021
Línea 298:		Línea 298:
	where ys = zip xs (tail xs)		where ys = zip xs (tail xs)
	f (x,y) recu = (r x y) && recu		f (x,y) recu = (r x y) && recu

			--José Manuel García
			relacionadosP :: (a -> a -> Bool) -> [a] -> Bool
			relacionadosP p xs = length (foldr f [last xs] xs) == length xs
			where f x xs \| x `p` head (xs) = x : xs
			\| otherwise = XS

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 9.3. (Basado en el ejercicio 4 del primer parcial del		-- Ejercicio 9.3. (Basado en el ejercicio 4 del primer parcial del

31.221.181.183 en 09:04 1 dic 2021

2021-12-01T09:04:54Z

← Revisión anterior		Revisión del 09:04 1 dic 2021
Línea 178:		Línea 178:
	maximumR :: Ord a => [a] -> a		maximumR :: Ord a => [a] -> a
	maximumR [x] = x		maximumR [x] = x
	maximumR (x:xs) = max x (maximumR XS)		maximumR (x:xs) = max x (maximumR xs)

	-- Ana Sosa Caballero		-- Ana Sosa Caballero

10.100.160.222 en 08:56 1 dic 2021

2021-12-01T08:56:06Z

← Revisión anterior		Revisión del 08:56 1 dic 2021
Línea 279:		Línea 279:
	-- relacionadosA (<) [2,3,1,9] == False		-- relacionadosA (<) [2,3,1,9] == False
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
			--Adriana Gordillo, Elsa Domínguez
	relacionadosA :: (a -> a -> Bool) -> [a] -> Bool		relacionadosA :: (a -> a -> Bool) -> [a] -> Bool
	relacionadosA = ~~undefined~~		relacionadosA r xs = all (f) (zip xs ys)
			where ys = tail xs
			f (x,y) = r x y

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 291:		Línea 293:
	-- relacionadosP (<) [2,3,1,9] == False		-- relacionadosP (<) [2,3,1,9] == False
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
			--Adriana Gordillo, Elsa Domínguez
	relacionadosP :: (a -> a -> Bool) -> [a] -> Bool		relacionadosP :: (a -> a -> Bool) -> [a] -> Bool
	relacionadosP = ~~undefined~~		relacionadosP r xs = foldr f True ys
			where ys = zip xs (tail xs)
			f (x,y) recu = (r x y) && recu
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 9.3. (Basado en el ejercicio 4 del primer parcial del		-- Ejercicio 9.3. (Basado en el ejercicio 4 del primer parcial del
Línea 309:		Línea 312:
	-- muyCreciente [] == True		-- muyCreciente [] == True
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
			--Adriana Gordillo, Elsa Domínguez
	muyCreciente :: [Integer] -> Bool		muyCreciente :: [Integer] -> Bool
	muyCreciente xs = ~~undefined~~		muyCreciente xs = relacionadosA p xs
			where p x y = 3*x<y


	</source>		</source>

Josgarver4 en 08:34 1 dic 2021

2021-12-01T08:34:25Z

← Revisión anterior		Revisión del 08:34 1 dic 2021
Línea 258:		Línea 258:
	\| (not.p) x = recu		\| (not.p) x = recu

			--José Manuel García
			filtraAplicaPr :: (a -> b) -> (a -> Bool) -> [a] -> [b]
			filtraAplicaPr f p xs = foldr fr [] xs
			where fr x ys \| p x = [f x] ++ ys
			\| otherwise = ys

			filtraAplicaPl :: (a -> b) -> (a -> Bool) -> [a] -> [b]
			filtraAplicaPl f p xs = foldl fl [] xs
			where fl ys x \| p x = ys ++ [f x]
			\| otherwise = ys

10.100.46.249 en 08:23 1 dic 2021

2021-12-01T08:23:44Z

← Revisión anterior		Revisión del 08:23 1 dic 2021
Línea 260:		Línea 260:


	~~--Lucía Hernández~~
	~~filtraAplicaP :: (a -> b) -> (a -> Bool) -> [a] -> [b]~~
	~~filtro f p x y = if p x then [f x] ++ y~~
	~~else y~~
	~~filtraAplicaP f p xs = foldr (filtro f p) [] xs~~

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

10.100.46.249 en 08:21 1 dic 2021

2021-12-01T08:21:59Z

← Revisión anterior		Revisión del 08:21 1 dic 2021
Línea 257:		Línea 257:
	where g x recu \| p x = [f x] ++ recu		where g x recu \| p x = [f x] ++ recu
	\| (not.p) x = recu		\| (not.p) x = recu



			--Lucía Hernández
			filtraAplicaP :: (a -> b) -> (a -> Bool) -> [a] -> [b]
			filtro f p x y = if p x then [f x] ++ y
			else y
			filtraAplicaP f p xs = foldr (filtro f p) [] xs

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

217.217.85.84 en 23:53 30 nov 2021

2021-11-30T23:53:51Z

← Revisión anterior		Revisión del 23:53 30 nov 2021
Línea 29:		Línea 29:
	-- segmentos odd [1,2,0,4,9,6,4,5,7,2] == [[1],[9],[5,7]]		-- segmentos odd [1,2,0,4,9,6,4,5,7,2] == [[1],[9],[5,7]]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández, Ana Sosa Caballero		-- Lucía Hernández, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	segmentos1 :: (a -> Bool) -> [a] -> [[a]]		segmentos1 :: (a -> Bool) -> [a] -> [[a]]
	segmentos1 p [] = []		segmentos1 p [] = []
Línea 57:		Línea 57:
	relacionadosC1 r xs = (length [1 \| (a,b) <- (zip xs (tail xs)), a `r` b]) ==		relacionadosC1 r xs = (length [1 \| (a,b) <- (zip xs (tail xs)), a `r` b]) ==
	(length (zip xs (tail xs)))		(length (zip xs (tail xs)))
			-- Adolfo Sagrera Vivancos
			relacionadosC' :: (a -> a -> Bool) -> [a] -> Bool
			relacionadosC' r xs = and [ r x y \| (x,y) <- agrupa1 xs]
			agrupa1' xs = zip xs (tail xs)
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 2.2. Definir, por recursión, la función		-- Ejercicio 2.2. Definir, por recursión, la función
Línea 66:		Línea 70:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Adolfo Sagrera Vivancos
	relacionadosR :: (a -> a -> Bool) -> [a] -> Bool		relacionadosR :: (a -> a -> Bool) -> [a] -> Bool
	relacionadosR r [] = True		relacionadosR r [] = True
Línea 90:		Línea 94:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Lucía Hernández, Ana Sosa Caballero		-- Lucía Hernández, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	agrupa :: Eq a => [[a]] -> [[a]]		agrupa :: Eq a => [[a]] -> [[a]]
	agrupa [] = []		agrupa [] = []
Línea 101:		Línea 105:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Ana Sosa Caballero		-- Elsa Domínguez, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	-- La propiedad es		-- La propiedad es
	prop_agrupa :: [[Int]] -> Bool		prop_agrupa :: [[Int]] -> Bool
Línea 117:		Línea 121:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	concatR :: [[a]] -> [a]		concatR :: [[a]] -> [a]
	concatR [] = []		concatR [] = []
Línea 130:		Línea 134:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero, Adolfo Sagrera Vivancos
	filtraAplicaC :: (a -> b) -> (a -> Bool) -> [a] -> [b]		filtraAplicaC :: (a -> b) -> (a -> Bool) -> [a] -> [b]
	filtraAplicaC f p xs = [f x \| x <- xs, p x]		filtraAplicaC f p xs = [f x \| x <- xs, p x]

Anasoscab en 14:24 30 nov 2021

2021-11-30T14:24:50Z

← Revisión anterior		Revisión del 14:24 30 nov 2021
Línea 29:		Línea 29:
	-- segmentos odd [1,2,0,4,9,6,4,5,7,2] == [[1],[9],[5,7]]		-- segmentos odd [1,2,0,4,9,6,4,5,7,2] == [[1],[9],[5,7]]
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Lucía Hernández		-- Lucía Hernández, Ana Sosa Caballero
	segmentos1 :: (a -> Bool) -> [a] -> [[a]]		segmentos1 :: (a -> Bool) -> [a] -> [[a]]
	segmentos1 p [] = []		segmentos1 p [] = []
Línea 50:		Línea 50:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero
	relacionadosC :: (a -> a -> Bool) -> [a] -> Bool		relacionadosC :: (a -> a -> Bool) -> [a] -> Bool
	relacionadosC r xs = and [r a b \| (a,b) <- zip xs (tail xs)]		relacionadosC r xs = and [r a b \| (a,b) <- zip xs (tail xs)]
Línea 75:		Línea 75:
	relacionadosR r [x1,x2] = x1 `r` x2		relacionadosR r [x1,x2] = x1 `r` x2
	relacionadosR r (x1:x2:xs) = (x1 `r`x2) && (relacionadosR r (x2:xs))		relacionadosR r (x1:x2:xs) = (x1 `r`x2) && (relacionadosR r (x2:xs))
			-- Ana Sosa Caballero
			relacionadosR :: (a -> a -> Bool) -> [a] -> Bool
			relacionadosR _ [] = False
			relacionadosR r [x,y] = r x y
			relacionadosR r (x:y:xs) \| r x y = relacionadosR r (y:xs)
			\| otherwise = False
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 3.1. Definir la función		-- Ejercicio 3.1. Definir la función
Línea 84:		Línea 90:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Lucía Hernández		-- Lucía Hernández, Ana Sosa Caballero
	agrupa :: Eq a => [[a]] -> [[a]]		agrupa :: Eq a => [[a]] -> [[a]]
	agrupa [] = []		agrupa [] = []
Línea 95:		Línea 101:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Ana Sosa Caballero
	-- La propiedad es		-- La propiedad es
	prop_agrupa :: [[Int]] -> Bool		prop_agrupa :: [[Int]] -> Bool
Línea 111:		Línea 117:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero
	concatR :: [[a]] -> [a]		concatR :: [[a]] -> [a]
	concatR [] = []		concatR [] = []
Línea 124:		Línea 130:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero
	filtraAplicaC :: (a -> b) -> (a -> Bool) -> [a] -> [b]		filtraAplicaC :: (a -> b) -> (a -> Bool) -> [a] -> [b]
	filtraAplicaC f p xs = [f x \| x <- xs, p x]		filtraAplicaC f p xs = [f x \| x <- xs, p x]
Línea 136:		Línea 142:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Lucía Hernández		-- Elsa Domínguez, Lucía Hernández, Ana Sosa Caballero
	filtraAplicaMF :: (a -> b) -> (a -> Bool) -> [a] -> [b]		filtraAplicaMF :: (a -> b) -> (a -> Bool) -> [a] -> [b]
	filtraAplicaMF f p xs = map f (filter p xs)		filtraAplicaMF f p xs = map f (filter p xs)
Línea 148:		Línea 154:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Ana Sosa Caballero
	filtraAplicaR :: (a -> b) -> (a -> Bool) -> [a] -> [b]		filtraAplicaR :: (a -> b) -> (a -> Bool) -> [a] -> [b]
	filtraAplicaR f p [] = []		filtraAplicaR f p [] = []
Línea 168:		Línea 174:
	maximumR :: Ord a => [a] -> a		maximumR :: Ord a => [a] -> a
	maximumR [x] = x		maximumR [x] = x
	maximumR (x:xs) = max x (maximumR xs)		maximumR (x:xs) = max x (maximumR XS)

			-- Ana Sosa Caballero
			maximumR :: Ord a => [a] -> a
			maximumR [x] = x
			maximumR (x:xs) \| x > (head xs) = maximumR (x:(tail xs))
			\| otherwise = maximumR (xs)

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 198:		Línea 210:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Ana Sosa Caballero
	concatP :: [[a]] -> [a]		concatP :: [[a]] -> [a]
	concatP xs = foldr (++) [] xs		concatP xs = foldr (++) [] xs
Línea 207:		Línea 219:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Ana Sosa Caballero
	-- La propiedad es		-- La propiedad es
	prop_concat :: [[Int]] -> Bool		prop_concat :: [[Int]] -> Bool
Línea 220:		Línea 232:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Ana Sosa Caballero
	-- La propiedad es		-- La propiedad es
	prop_longConcat :: [[Int]] -> Bool		prop_longConcat :: [[Int]] -> Bool
Línea 236:		Línea 248:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez		-- Elsa Domínguez, Ana Sosa Caballero
	filtraAplicaP :: (a -> b) -> (a -> Bool) -> [a] -> [b]		filtraAplicaP :: (a -> b) -> (a -> Bool) -> [a] -> [b]
	filtraAplicaP f p xs = foldr g [] xs		filtraAplicaP f p xs = foldr g [] xs