Relación 13 - Historial de revisiones

10.1.11.77 en 08:02 16 feb 2022

2022-02-16T08:02:53Z

← Revisión anterior		Revisión del 08:02 16 feb 2022
Línea 466:		Línea 466:
	-- Nicolás Rodríguez, Elsa Domínguez		-- Nicolás Rodríguez, Elsa Domínguez
	ramifica :: ArbolG a -> ArbolG a -> (a -> Bool) -> ArbolG a		ramifica :: ArbolG a -> ArbolG a -> (a -> Bool) -> ArbolG a
	~~ramifica (NG a []) x p \| p a = NG a [x]~~		ramifica (NG a xs) x p \| p a = NG a ([ramifica y x p \| y <- xs] ++ [x])
	~~\| otherwise = NG a []~~		\| otherwise = NG a [ramifica y x p \| y <- xs]
	ramifica (NG a xs) x p \| p a = NG a ([ramifica ys x p \| ys <- xs] ++ [x])
	\| otherwise = NG a [ramifica ys x p \| ys <- xs]

Josgarver4 en 09:23 11 feb 2022

2022-02-11T09:23:40Z

← Revisión anterior		Revisión del 09:23 11 feb 2022
Línea 335:		Línea 335:

	primo n = length (divisores n) == 2		primo n = length (divisores n) == 2



			--José Manuel García
			listaDivisores :: Integral a => a -> [a]
			listaDivisores n = ([x \| x<- [1..n], rem n x == 0])

			cogeMedio n \| (not.even) l = [last (take (1+div l 2) (listaDivisores n))]
			\| otherwise = [last (take (div l 2) (listaDivisores n))] ++
			[last (take (1+div l 2) (listaDivisores n))]
			where l = length (listaDivisores n)

			arbolFactorizacion :: Int -> Arbol3 Int
			arbolFactorizacion n \| 2 == l = H3 n
			\| otherwise = ( N3 n (arbolFactorizacion (head (cogeMedio n)))
			((arbolFactorizacion (last (cogeMedio n)))) )
			where l = length (listaDivisores n)

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

10.1.11.76 en 08:52 11 feb 2022

2022-02-11T08:52:01Z

← Revisión anterior		Revisión del 08:52 11 feb 2022
Línea 875:		Línea 875:
	ej23 = NG 1 [NG 8 [NG 4 [], NG 5 [], NG 6 []], NG 3 [NG 7 []]]		ej23 = NG 1 [NG 8 [NG 4 [], NG 5 [], NG 6 []], NG 3 [NG 7 []]]

	-- Elsa Domínguez		-- Elsa Domínguez, Nicolás Rodríguez Ruiz
			-- Dos versiones:
	caminosDesdeRaiz :: ArbolG a -> [[a]]		caminosDesdeRaiz :: ArbolG a -> [[a]]
	caminosDesdeRaiz (NG a []) = [[a]]		caminosDesdeRaiz (NG a []) = [[a]]
	caminosDesdeRaiz (NG a xs) = [a:ys \| y <- xs, ys <- ~~caminosDesdeRaiz~~ y]		caminosDesdeRaiz (NG a xs) = map (a:) (concat [(caminosDesdeRaiz x) \| x <- xs])

			caminosDesdeRaiz2 :: ArbolG a -> [[a]]
			caminosDesdeRaiz2 (NG a []) = [[a]]
			caminosDesdeRaiz2 (NG a xs) = [a:ys \| y <- xs, ys <- caminosDesdeRaiz2 y]

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

66.81.176.89 en 12:54 17 ene 2022

2022-01-17T12:54:11Z

Mostrar los cambios

Josgarver4 en 13:20 16 ene 2022

2022-01-16T13:20:26Z

← Revisión anterior		Revisión del 13:20 16 ene 2022
Línea 265:		Línea 265:
	nivel :: Int -> Arbol3 a -> [a]		nivel :: Int -> Arbol3 a -> [a]
	nivel = undefined		nivel = undefined

			--José Manuel García
			nivel1 :: Int -> Arbol3 a -> [a]
			nivel1 n (H3 x) \| n == 0 = [x]
			\| otherwise = []
			nivel1 n (N3 x i d) \| n == 0 = [x]
			\| otherwise = (nivel1 (n-1) i) ++ (nivel1 (n-1) d)


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

Josgarver4 en 14:49 15 ene 2022

2022-01-15T14:49:27Z

← Revisión anterior		Revisión del 14:49 15 ene 2022
Línea 243:		Línea 243:
	algunoArbol :: Arbol3 a -> (a -> Bool) -> Bool		algunoArbol :: Arbol3 a -> (a -> Bool) -> Bool
	algunoArbol = undefined		algunoArbol = undefined

			--José Manuel García
			algunoArbol3 :: Arbol3 a -> (a -> Bool) -> Bool
			algunoArbol3 (H3 x) p = (p x)
			algunoArbol3 (N3 x i d) p = (p x) \|\| (algunoArbol3 i p) \|\| (algunoArbol3 d p)

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

Josgarver4 en 14:32 15 ene 2022

2022-01-15T14:32:17Z

← Revisión anterior		Revisión del 14:32 15 ene 2022
Línea 60:		Línea 60:
	sumaArbol :: Num a => Arbol1 a -> a		sumaArbol :: Num a => Arbol1 a -> a
	sumaArbol = undefined		sumaArbol = undefined

			--José Manuel García
			sumaArbol1 :: Num a => Arbol1 a -> a
			sumaArbol1 (H1 ) = 0
			sumaArbol1 (N1 x i d) = x + (sumaArbol1 i) + (sumaArbol1 d)


	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 72:		Línea 78:
	mapArbol :: (a -> b) -> Arbol1 a -> Arbol1 b		mapArbol :: (a -> b) -> Arbol1 a -> Arbol1 b
	mapArbol = undefined		mapArbol = undefined

			--José Manuel García
			mapArbol1 :: (a -> b) -> Arbol1 a -> Arbol1 b
			mapArbol1 f (H1) = (H1)
			mapArbol1 f (N1 x i d) = (N1 (f x) (mapArbol1 f i) (mapArbol1 f d))


	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 84:		Línea 96:
	ramaIzquierda :: Arbol1 a -> [a]		ramaIzquierda :: Arbol1 a -> [a]
	ramaIzquierda = undefined		ramaIzquierda = undefined

			--José Manuel García
			ramaIzquierda1 :: Arbol1 a -> [a]
			ramaIzquierda1 (H1 ) = []
			ramaIzquierda1 (N1 x i d) = x : ramaIzquierda1 (i)

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 100:		Línea 117:
	balanceado :: Arbol1 a -> Bool		balanceado :: Arbol1 a -> Bool
	balanceado = undefined		balanceado = undefined

			--José Manuel García
			cuantosNodos H1 = 0
			cuantosNodos (N1 x i d) = 1 + (cuantosNodos i) + (cuantosNodos d)

			balanceado1 :: Arbol1 a -> Bool
			balanceado1 H1 = True
			balanceado1 (N1 x i d) \| (cuantosNodos i) - (cuantosNodos d) <= 1 =
			(balanceado1 i) && (balanceado1 d)
			\| otherwise = False

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 142:		Línea 169:
	igualBorde :: Eq a => Arbol2 a -> Arbol2 a -> Bool		igualBorde :: Eq a => Arbol2 a -> Arbol2 a -> Bool
	igualBorde t1 t2 = undefined		igualBorde t1 t2 = undefined

			--José Manuel García
			igualBorde1 :: Eq a => Arbol2 a -> Arbol2 a -> Bool
			igualBorde1 t1 t2 = (listaBorde t1) == (listaBorde t2)

			listaBorde (N2 i d) = (listaBorde i) ++ (listaBorde d)
			listaBorde (H2 x) = [x]


	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 185:		Línea 220:
	igualEstructura = undefined		igualEstructura = undefined

			--José Manuel García
			arbolEstructura (H3 x) = (H3 0)
			arbolEstructura (N3 x i d) = (N3 0 (arbolEstructura i) (arbolEstructura d))
			--Si fuera deriving (Show,Eq):
			--igualEstructura1 :: Arbol3 a -> Arbol3 a -> Bool
			--igualEstructura1 t1 t2 = (arbolEstructura t1) == (arbolEstructura t2)
			--Pero como es deriving Show :
			igualEstructura1 :: Arbol3 a -> Arbol3 a -> Bool
			igualEstructura1 t1 t2 = show (arbolEstructura t1) == show (arbolEstructura t2)



	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 3.2. Definir la función		-- Ejercicio 3.2. Definir la función

10.1.11.77 en 09:38 14 ene 2022

2022-01-14T09:38:43Z

← Revisión anterior		Revisión del 09:38 14 ene 2022
Línea 418:		Línea 418:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Nicolás Rodríguez		-- Elsa Domínguez, Nicolás Rodríguez, Adriana Gordillo
	bin2gen :: Arbol3 a -> ArbolG a		bin2gen :: Arbol3 a -> ArbolG a
	bin2gen (H3 a) = NG a []		bin2gen (H3 a) = NG a []
Línea 444:		Línea 444:
	\| P1 Expr1 Expr1		\| P1 Expr1 Expr1
	deriving Show		deriving Show

			-- Elsa Domínguez, Nicolás Rodríguez, Adriana Gordillo
	valor :: Expr1 -> Int		valor :: Expr1 -> Int
	valor = ~~undefined~~		valor (C1 a) = a
			valor (S1 i d) = valor i + valor d
			valor (P1 i d) = valor i * valor d

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 459:		Línea 462:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

			-- Elsa Domínguez, Nicolás Rodríguez, Adriana Gordillo
	aplica :: (Int -> Int) -> Expr1 -> Expr1		aplica :: (Int -> Int) -> Expr1 -> Expr1
	aplica = ~~undefined~~		aplica f (C1 a) = C1 (f a)
			aplica f (S1 i d) = S1 (aplica f i) (aplica f d)
			aplica f (P1 i d) = P1 (aplica f i) (aplica f d)

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

10.1.11.77 en 09:29 14 ene 2022

2022-01-14T09:29:24Z

← Revisión anterior		Revisión del 09:29 14 ene 2022
Línea 390:		Línea 390:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

			-- Elsa Domínguez, Nicolás Rodríguez
	nHojasG :: ArbolG a -> Int		nHojasG :: ArbolG a -> Int
	nHojasG = ~~undefined~~		nHojasG (NG _ []) = 1
			nHojasG (NG _ xs) = sum [nHojasG ys \| ys <- xs]

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 402:		Línea 404:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

			-- Elsa Domínguez, Nicolás Rodríguez
	profundidadG :: ArbolG a -> Int		profundidadG :: ArbolG a -> Int
	profundidadG = ~~undefined~~		profundidadG (NG _ []) = 0
			profundidadG (NG _ xs) = 1 + maximum [profundidadG ys \| ys <- xs]

	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
Línea 414:		Línea 418:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

			-- Elsa Domínguez, Nicolás Rodríguez
	bin2gen :: Arbol3 a -> ArbolG a		bin2gen :: Arbol3 a -> ArbolG a
	bin2gen = ~~undefined~~		bin2gen (H3 a) = NG a []
			bin2gen (N3 a i d) = NG a [bin2gen i, bin2gen d]

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

Josgarver4 en 09:23 14 ene 2022

2022-01-14T09:23:59Z

← Revisión anterior		Revisión del 09:23 14 ene 2022
Línea 376:		Línea 376:
	\| otherwise = NG a [ramifica ys x p \| ys <- xs]		\| otherwise = NG a [ramifica ys x p \| ys <- xs]


			--José Manuel García
			ramifica1 :: ArbolG a -> ArbolG a -> (a -> Bool) -> ArbolG a
			ramifica1 (NG x xs) (a) f \| (f x) = (NG x ( ([ramifica1 y a f \| y <-xs ]) ++ [a] ) )
			\| otherwise = (NG x ([ramifica1 y a f \| y <-xs ]) )
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 5.2. Definir la función		-- Ejercicio 5.2. Definir la función