Relación 2 - Historial de revisiones

Mdelamor en 15:29 28 oct 2021

2021-10-28T15:29:04Z

← Revisión anterior		Revisión del 15:29 28 oct 2021
Línea 53:		Línea 53:
	divisionSegura x y \| y/=0 = x/y		divisionSegura x y \| y/=0 = x/y
	\| y==0 = 9999.0		\| y==0 = 9999.0

			-- prof
			divisionSegura x 0 = 9999
			divisionSegura x y = x/y

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

Mdelamor en 15:23 28 oct 2021

2021-10-28T15:23:47Z

← Revisión anterior		Revisión del 15:23 28 oct 2021
Línea 78:		Línea 78:
	prop_intercambia (a,b) = intercambia (intercambia (a,b)) == (a,b)		prop_intercambia (a,b) = intercambia (intercambia (a,b)) == (a,b)
	-- La comprobación es quickCheck prop_intercambia		-- La comprobación es quickCheck prop_intercambia
	--+++ OK, passed 100 tests		-- +++ OK, passed 100 tests
	--Lucía Hernández, Laura Arango, Elsa Domínguez		--Lucía Hernández, Laura Arango, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
Línea 85:		Línea 85:

	-- La comprobación es quickCheck prop_intercambia1		-- La comprobación es quickCheck prop_intercambia1
	--+++OK, passed 100 tests.		-- +++OK, passed 100 tests.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 4.1. Definir una función		-- Ejercicio 4.1. Definir una función

Mdelamor en 15:23 28 oct 2021

2021-10-28T15:23:32Z

← Revisión anterior		Revisión del 15:23 28 oct 2021
Línea 78:		Línea 78:
	prop_intercambia (a,b) = intercambia (intercambia (a,b)) == (a,b)		prop_intercambia (a,b) = intercambia (intercambia (a,b)) == (a,b)
	-- La comprobación es quickCheck prop_intercambia		-- La comprobación es quickCheck prop_intercambia
	+++ OK, passed 100 tests		--+++ OK, passed 100 tests
	--Lucía Hernández, Laura Arango, Elsa Domínguez		--Lucía Hernández, Laura Arango, Elsa Domínguez
	-- La propiedad es		-- La propiedad es
Línea 85:		Línea 85:

	-- La comprobación es quickCheck prop_intercambia1		-- La comprobación es quickCheck prop_intercambia1
	+++OK, passed 100 tests.		--+++OK, passed 100 tests.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ejercicio 4.1. Definir una función		-- Ejercicio 4.1. Definir una función

85.52.163.224 en 08:40 27 oct 2021

2021-10-27T08:40:32Z

Mostrar los cambios

217.217.85.84 en 15:00 22 oct 2021

2021-10-22T15:00:48Z

← Revisión anterior		Revisión del 15:00 22 oct 2021
Línea 420:		Línea 420:
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------

	-- Elsa Domínguez, Irene Ortega Moncayo		-- Elsa Domínguez, Irene Ortega Moncayo, Adolfo Sagrera Vivancos
	-- La propiedad es		-- La propiedad es
	prop_distributiva :: (Int,Int) -> (Int,Int) -> (Int,Int) -> Property		prop_distributiva :: (Int,Int) -> (Int,Int) -> (Int,Int) -> Property
Línea 918:		Línea 918:
	prop_leyes_morgan a b = ley1 a b == ley2 a b		prop_leyes_morgan a b = ley1 a b == ley2 a b

	-- Lucía Hernández, Elsa Domínguez, Lucía González, Irene Ortega Moncayo		-- Lucía Hernández, Elsa Domínguez, Lucía González, Irene Ortega Moncayo, Adolfo Sagrera Vivancos
	ley1 :: Bool -> Bool -> Bool		ley1 :: Bool -> Bool -> Bool
	ley1 a b = not(a \|\| b) ==( not a && not b)		ley1 a b = not(a \|\| b) ==( not a && not b)

95.127.178.116 en 19:19 20 oct 2021

2021-10-20T19:19:02Z

← Revisión anterior		Revisión del 19:19 20 oct 2021
Línea 42:		Línea 42:
	-- divisionSegura 7 0 == 9999.0		-- divisionSegura 7 0 == 9999.0
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Lucía Hernández, Elsa Domínguez,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres		-- Ana Sosa Caballero, Lucía Hernández, Elsa Domínguez,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres ,Daniel Kock Cabrera
	divisionSegura :: Double -> Double -> Double		divisionSegura :: Double -> Double -> Double
	divisionSegura x y = if y == 0 then 9999		divisionSegura x y = if y == 0 then 9999
Línea 62:		Línea 62:
	-- intercambia (5,2) == (2,5)		-- intercambia (5,2) == (2,5)
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres		-- Ana Sosa Caballero,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres,Daniel Kock Cabrera
	intercambia :: (a,b) -> (b,a)		intercambia :: (a,b) -> (b,a)
	intercambia (a,b) = (b,a)		intercambia (a,b) = (b,a)
Línea 73:		Línea 73:
	-- aplicarla ninguna.		-- aplicarla ninguna.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Adolfo Sagrera Vivancos, Lucía González, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres		-- Ana Sosa Caballero, Adolfo Sagrera Vivancos, Lucía González, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres,Daniel Kock Cabrera
	-- La propiedad es		-- La propiedad es
	prop_intercambia :: (Int,Int) -> Bool		prop_intercambia :: (Int,Int) -> Bool
Línea 101:		Línea 101:
	ciclo xs \| length xs == 0 = xs		ciclo xs \| length xs == 0 = xs
	\| otherwise = last xs : init xs		\| otherwise = last xs : init xs
	--Lucía Hernández, Irene Ortega Moncayo, Cristina Torres		--Lucía Hernández, Irene Ortega Moncayo, Cristina Torres,Daniel Kock Cabrera
	ciclo1 :: [a] -> [a]		ciclo1 :: [a] -> [a]
	ciclo1 xs =if length xs == 0 then []		ciclo1 xs =if length xs == 0 then []
Línea 121:		Línea 121:
	-- de xs.		-- de xs.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Elsa Domínguez, Lucía Hernández,Lucía González,Laura Arango, Adolfo Sagrera Vivancos, José Manuel García, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres		-- Ana Sosa Caballero, Elsa Domínguez, Lucía Hernández,Lucía González,Laura Arango, Adolfo Sagrera Vivancos, José Manuel García, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres,Daniel Kock Cabrera
	-- La propiedad es		-- La propiedad es
	prop_ciclo :: [Int] -> Bool		prop_ciclo :: [Int] -> Bool
Línea 140:		Línea 140:
	numeroMayor :: (Num a, Ord a) => a -> a -> a		numeroMayor :: (Num a, Ord a) => a -> a -> a
	numeroMayor x y = if x > y then (x10 + y) else (y10+x)		numeroMayor x y = if x > y then (x10 + y) else (y10+x)
	-- Adolfo Sagrera Vivancos, José Manuel García, Lucía González, Cristina Torres		-- Adolfo Sagrera Vivancos, José Manuel García, Lucía González, Cristina Torres,Daniel Kock Cabrera
	numeroMayor1 x y \| x<y = (y*10+x)		numeroMayor1 x y \| x<y = (y*10+x)
	\| x>y = (x*10+y)		\| x>y = (x*10+y)
Línea 159:		Línea 159:
	\| otherwise = 2		\| otherwise = 2
	where t = b^2 - 4ac		where t = b^2 - 4ac
	-- Elsa Domínguez, Lucía González, Irene Ortega Moncayo, Cristina Torres		-- Elsa Domínguez, Lucía González, Irene Ortega Moncayo, Cristina Torres,Daniel Kock Cabrera
	numeroDeRaices1 :: (Num t, Ord t) => t -> t -> t -> Int		numeroDeRaices1 :: (Num t, Ord t) => t -> t -> t -> Int
	numeroDeRaices1 a b c \| b^2-4ac < 0 = 0		numeroDeRaices1 a b c \| b^2-4ac < 0 = 0

Critorseb en 18:47 20 oct 2021

2021-10-20T18:47:15Z

10.100.165.48 en 10:47 20 oct 2021

2021-10-20T10:47:34Z

Mostrar los cambios

Josgarver4 en 06:50 20 oct 2021

2021-10-20T06:50:18Z

← Revisión anterior		Revisión del 06:50 20 oct 2021
Línea 561:		Línea 561:
	\| otherwise = 4		\| otherwise = 4

			-- José Manuel García
			cuadrante4 :: (Int,Int) -> Int
			cuadrante4 (x1,x2) \| x1 * x2 == 0 = 0
			\| x1 > 0 && x2 > 0 = 1
			\| x1 < 0 && x2 > 0 = 2
			\| x1 < 0 && x2 < 0 = 3
			\| x1 > 0 && x2 < 0 = 4


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

46.234.157.158 en 17:06 19 oct 2021

2021-10-19T17:06:28Z

← Revisión anterior		Revisión del 17:06 19 oct 2021
Línea 42:		Línea 42:
	-- divisionSegura 7 0 == 9999.0		-- divisionSegura 7 0 == 9999.0
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Lucía Hernández, Elsa Domínguez,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega		-- Ana Sosa Caballero, Lucía Hernández, Elsa Domínguez,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos
	divisionSegura :: Double -> Double -> Double		divisionSegura :: Double -> Double -> Double
	divisionSegura x y = if y == 0 then 9999		divisionSegura x y = if y == 0 then 9999
Línea 62:		Línea 62:
	-- intercambia (5,2) == (2,5)		-- intercambia (5,2) == (2,5)
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega		-- Ana Sosa Caballero,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos
	intercambia :: (a,b) -> (b,a)		intercambia :: (a,b) -> (b,a)
	intercambia (a,b) = (b,a)		intercambia (a,b) = (b,a)
Línea 73:		Línea 73:
	-- aplicarla ninguna.		-- aplicarla ninguna.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Adolfo Sagrera Vivancos, Lucía González, José Manuel García, Fernando Martínez Ortega		-- Ana Sosa Caballero, Adolfo Sagrera Vivancos, Lucía González, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos
	-- La propiedad es		-- La propiedad es
	prop_intercambia :: (Int,Int) -> Bool		prop_intercambia :: (Int,Int) -> Bool
Línea 121:		Línea 121:
	-- de xs.		-- de xs.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Elsa Domínguez, Lucía Hernández,Lucía González,Laura Arango, Adolfo Sagrera Vivancos, José Manuel García		-- Ana Sosa Caballero, Elsa Domínguez, Lucía Hernández,Lucía González,Laura Arango, Adolfo Sagrera Vivancos, José Manuel García, Ángela Pérez Ríos
	-- La propiedad es		-- La propiedad es
	prop_ciclo :: [Int] -> Bool		prop_ciclo :: [Int] -> Bool

← Revisión anterior		Revisión del 18:47 20 oct 2021
Línea 42:		Línea 42:
	-- divisionSegura 7 0 == 9999.0		-- divisionSegura 7 0 == 9999.0
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Lucía Hernández, Elsa Domínguez,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo		-- Ana Sosa Caballero, Lucía Hernández, Elsa Domínguez,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres
	divisionSegura :: Double -> Double -> Double		divisionSegura :: Double -> Double -> Double
	divisionSegura x y = if y == 0 then 9999		divisionSegura x y = if y == 0 then 9999
Línea 62:		Línea 62:
	-- intercambia (5,2) == (2,5)		-- intercambia (5,2) == (2,5)
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo		-- Ana Sosa Caballero,Lucía González, Adolfo Sagrera Vivancos, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres
	intercambia :: (a,b) -> (b,a)		intercambia :: (a,b) -> (b,a)
	intercambia (a,b) = (b,a)		intercambia (a,b) = (b,a)
Línea 73:		Línea 73:
	-- aplicarla ninguna.		-- aplicarla ninguna.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Adolfo Sagrera Vivancos, Lucía González, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo		-- Ana Sosa Caballero, Adolfo Sagrera Vivancos, Lucía González, José Manuel García, Fernando Martínez Ortega, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres
	-- La propiedad es		-- La propiedad es
	prop_intercambia :: (Int,Int) -> Bool		prop_intercambia :: (Int,Int) -> Bool
Línea 101:		Línea 101:
	ciclo xs \| length xs == 0 = xs		ciclo xs \| length xs == 0 = xs
	\| otherwise = last xs : init xs		\| otherwise = last xs : init xs
	--Lucía Hernández, Irene Ortega Moncayo		--Lucía Hernández, Irene Ortega Moncayo, Cristina Torres
	ciclo1 :: [a] -> [a]		ciclo1 :: [a] -> [a]
	ciclo1 xs =if length xs == 0 then []		ciclo1 xs =if length xs == 0 then []
Línea 121:		Línea 121:
	-- de xs.		-- de xs.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Elsa Domínguez, Lucía Hernández,Lucía González,Laura Arango, Adolfo Sagrera Vivancos, José Manuel García, Ángela Pérez Ríos, Irene Ortega Moncayo		-- Ana Sosa Caballero, Elsa Domínguez, Lucía Hernández,Lucía González,Laura Arango, Adolfo Sagrera Vivancos, José Manuel García, Ángela Pérez Ríos, Irene Ortega Moncayo, Cristina Torres
	-- La propiedad es		-- La propiedad es
	prop_ciclo :: [Int] -> Bool		prop_ciclo :: [Int] -> Bool
Línea 140:		Línea 140:
	numeroMayor :: (Num a, Ord a) => a -> a -> a		numeroMayor :: (Num a, Ord a) => a -> a -> a
	numeroMayor x y = if x > y then (x10 + y) else (y10+x)		numeroMayor x y = if x > y then (x10 + y) else (y10+x)
	-- Adolfo Sagrera Vivancos, José Manuel García, Lucía González		-- Adolfo Sagrera Vivancos, José Manuel García, Lucía González, Cristina Torres
	numeroMayor1 x y \| x<y = (y*10+x)		numeroMayor1 x y \| x<y = (y*10+x)
	\| x>y = (x*10+y)		\| x>y = (x*10+y)
Línea 159:		Línea 159:
	\| otherwise = 2		\| otherwise = 2
	where t = b^2 - 4ac		where t = b^2 - 4ac
	-- Elsa Domínguez, Lucía González, Irene Ortega Moncayo		-- Elsa Domínguez, Lucía González, Irene Ortega Moncayo, Cristina Torres
	numeroDeRaices1 :: (Num t, Ord t) => t -> t -> t -> Int		numeroDeRaices1 :: (Num t, Ord t) => t -> t -> t -> Int
	numeroDeRaices1 a b c \| b^2-4ac < 0 = 0		numeroDeRaices1 a b c \| b^2-4ac < 0 = 0
Línea 185:		Línea 185:
	\| otherwise = [(-b+t)/2a, (-b-t)/2a]		\| otherwise = [(-b+t)/2a, (-b-t)/2a]
	where t = b^2 - 4ac		where t = b^2 - 4ac
	-- Elsa Domínguez, Laura Arango, Irene Ortega Moncayo		-- Elsa Domínguez, Laura Arango, Irene Ortega Moncayo, Cristina Torres
	raices1 :: Double -> Double -> Double -> [Double]		raices1 :: Double -> Double -> Double -> [Double]
	raices1 a b c \| b^2-4ac == 0 = [-b/2a, -b/2a]		raices1 a b c \| b^2-4ac == 0 = [-b/2a, -b/2a]
Línea 209:		Línea 209:
	-- 12.3457 ~= 12.3479 == False		-- 12.3457 ~= 12.3479 == False
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Adolfo Sagrera Vivancos		-- Ana Sosa Caballero, Adolfo Sagrera Vivancos, Cristina Torres
	(~=) :: (Fractional a, Ord a) => a -> a -> Bool		(~=) :: (Fractional a, Ord a) => a -> a -> Bool
	x ~= y \| abs(x-y) <= 0.001 = True		x ~= y \| abs(x-y) <= 0.001 = True
Línea 227:		Línea 227:
	-- Nota. En la comparación usar ~= en lugar de ==		-- Nota. En la comparación usar ~= en lugar de ==
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Adolfo Sagrera Vivancos, Elsa Domínguez, Lucía González, Irene Ortega Moncayo		-- Adolfo Sagrera Vivancos, Elsa Domínguez, Lucía González, Irene Ortega Moncayo, Cristina Torres
	-- La propiedad es		-- La propiedad es
	prop_raices :: Double -> Double -> Double -> Property		prop_raices :: Double -> Double -> Double -> Property
Línea 247:		Línea 247:
	-- area 3 4 5 == 6.0		-- area 3 4 5 == 6.0
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Lucía Hernández, Laura Arango, Lucía González, Elsa Domínguez, Adolfo Sagrera Vivancos, José Manuel García,César Fornis, Irene Ortega Moncayo		-- Ana Sosa Caballero, Lucía Hernández, Laura Arango, Lucía González, Elsa Domínguez, Adolfo Sagrera Vivancos, José Manuel García,César Fornis, Irene Ortega Moncayo, Cristina Torres
	area :: Double -> Double -> Double -> Double		area :: Double -> Double -> Double -> Double
	area a b c = sqrt(s(s-a)(s-b)*(s-c))		area a b c = sqrt(s(s-a)(s-b)*(s-c))
Línea 281:		Línea 281:
	interseccion1 i1 i2 \| i1==[] \|\| i2==[] \|\| head i1>last i2 \|\| last i1<head i2 = []		interseccion1 i1 i2 \| i1==[] \|\| i2==[] \|\| head i1>last i2 \|\| last i1<head i2 = []
	\| otherwise = [max (head i1)(head i2), min (last i1)(last i2)]		\| otherwise = [max (head i1)(head i2), min (last i1)(last i2)]
	--José Manuel García, Fernando Martínez Ortega, Irene Ortega Moncayo		--José Manuel García, Fernando Martínez Ortega, Irene Ortega Moncayo
	interseccion2 :: Ord a => [a] -> [a] -> [a]		interseccion2 :: Ord a => [a] -> [a] -> [a]
	interseccion2 i1 i2 \| null i1 \|\| null i2 \|\| a > d \|\| b < c = []		interseccion2 i1 i2 \| null i1 \|\| null i2 \|\| a > d \|\| b < c = []
Línea 292:		Línea 292:
	c = head i2		c = head i2
	d = last i2		d = last i2
	-- Adolfo Sagrera Vivancos		-- Adolfo Sagrera Vivancos, Cristina Torres
	interseccion3 :: Ord a => [a] -> [a] -> [a]		interseccion3 :: Ord a => [a] -> [a] -> [a]
	interseccion3 i1 i2 \| null i1 \|\| null i2 \|\| a > d \|\| b < c = []		interseccion3 i1 i2 \| null i1 \|\| null i2 \|\| a > d \|\| b < c = []
Línea 304:		Línea 304:
	-- intervalos es conmutativa.		-- intervalos es conmutativa.
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	--Lucía Hernández, Laura Arango, Elsa Domínguez, José Manuel García, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo		--Lucía Hernández, Laura Arango, Elsa Domínguez, José Manuel García, Lucía González, Adolfo Sagrera Vivancos, Irene Ortega Moncayo, Cristina Torres
	-- La propiedad es		-- La propiedad es
	prop_interseccion :: Int -> Int -> Int -> Int -> Bool		prop_interseccion :: Int -> Int -> Int -> Int -> Bool
Línea 323:		Línea 323:
	-- formaReducida (4,10) == (2,5)		-- formaReducida (4,10) == (2,5)
	-- ---------------------------------------------------------------------		-- ---------------------------------------------------------------------
	-- Ana Sosa Caballero, Lucía Hernández, Laura Arango, José Manuel García, Lucía González, Irene Ortega Moncayo		-- Ana Sosa Caballero, Lucía Hernández, Laura Arango, José Manuel García, Lucía González, Irene Ortega Moncayo, Cristina Torres
	formaReducida :: (Int,Int) -> (Int,Int)		formaReducida :: (Int,Int) -> (Int,Int)
	formaReducida (a,b) = (div a z, div b z)		formaReducida (a,b) = (div a z, div b z)
Línea 351:		Línea 351:
	else formaReducida(a+ (div s d)*c, s)		else formaReducida(a+ (div s d)*c, s)
	where s = lcm b d		where s = lcm b d
	-- Elsa Domínguez, José Manuel García, Lucía González, Irene Ortega Moncayo		-- Elsa Domínguez, José Manuel García, Lucía González, Irene Ortega Moncayo, Cristina Torres
	sumaRacional1 :: (Int,Int) -> (Int,Int) -> (Int,Int)		sumaRacional1 :: (Int,Int) -> (Int,Int) -> (Int,Int)
	sumaRacional1 (a,b) (c,d) = formaReducida (ad + cb, b*d)		sumaRacional1 (a,b) (c,d) = formaReducida (ad + cb, b*d)