-- |
-- Module      : Pol
-- Description : TAD de los polinomios.
-- License     : Creative Commons
-- Maintainer  : José A. Alonso
-- 
-- = TAD (tipo abstracto de datos) de los polinomios
--
-- Este módulo contiene el código del TAD de los polinomios
-- estudiado en el <http://bit.ly/1WYZJuC tema 21> del curso.
-- 
-- En los ejemplos se usarán los siguientes polinomios:
--
-- > ejPol1, ejPol2, ejPol3:: Polinomio Int
-- > ejPol1 = consPol 4 3 (consPol 2 (-5) (consPol 0 3 polCero))
-- > ejPol2 = consPol 5 1 (consPol 2 5 (consPol 1 4 polCero))
-- > ejPol3 = consPol 4 6 (consPol 1 2 polCero)
-- > ejPol5, ejPol6, ejPol7:: Polinomio Float
-- > ejPol5 = consPol 4 3 (consPol 2 (-5) (consPol 0 3 polCero))
-- > ejPol6 = consPol 5 1 (consPol 2 5 (consPol 1 4 polCero))
-- > ejPol7 = consPol 1 2 (consPol 4 6 polCero)
--
-- Su escritura es
-- 
-- > ejPol1  ==  3*x^4 + -5*x^2 + 3
-- > ejPol2  ==  x^5 + 5*x^2 + 4*x
-- > ejPol3  ==  6*x^4 + 2*x
-- > ejPol5  ==  3.0*x^4 + -5.0*x^2 + 3.0
-- > ejPol6  ==  x^5 + 5.0*x^2 + 4.0*x
-- > ejPol7  ==  6.0*x^4 + 2.0*x

module I1M.Pol
  ( Polinomio,
    polCero,   -- Polinomio a                                         
    esPolCero, -- Polinomio a -> Bool                       
    consPol,   -- (Num a, Eq a)) => Int -> a -> Polinomio a -> Polinomio a   
    grado,     -- Polinomio a -> Int                                  
    coefLider, -- Num t => Polinomio t -> t                           
    restoPol   -- Polinomio t -> Polinomio t                          
  ) where

-- ---------------------------------------------------------------------
-- TAD de los polinomios mediante un tipo de dato algebraico.         --
-- ---------------------------------------------------------------------

-- Representamos un polinomio mediante los constructores ConsPol y
-- PolCero. Por ejemplo, el polinomio 
--    6x^4 -5x^2 + 4x -7 
-- se representa por 
--    ConsPol 4 6 (ConsPol 2 (-5) (ConsPol 1 4 (ConsPol 0 (-7) PolCero)))

-- | Tipo de dato de polinomios.
data Polinomio a = PolCero 
                 | ConsPol Int a (Polinomio a)
  deriving Polinomio a -> Polinomio a -> Bool
(Polinomio a -> Polinomio a -> Bool)
-> (Polinomio a -> Polinomio a -> Bool) -> Eq (Polinomio a)
forall a. Eq a => Polinomio a -> Polinomio a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: forall a. Eq a => Polinomio a -> Polinomio a -> Bool
== :: Polinomio a -> Polinomio a -> Bool
$c/= :: forall a. Eq a => Polinomio a -> Polinomio a -> Bool
/= :: Polinomio a -> Polinomio a -> Bool
Eq
             
-- ---------------------------------------------------------------------
-- Escritura de los polinomios                                        --
-- ---------------------------------------------------------------------

instance (Num a, Show a, Eq a) => Show (Polinomio a) where
  show :: Polinomio a -> String
show Polinomio a
PolCero               = String
"0"
  show (ConsPol Int
0 a
b Polinomio a
PolCero) = a -> String
forall a. Show a => a -> String
show a
b
  show (ConsPol Int
0 a
b Polinomio a
p)       = [String] -> String
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [a -> String
forall a. Show a => a -> String
show a
b, String
" + ", Polinomio a -> String
forall a. Show a => a -> String
show Polinomio a
p] 
  show (ConsPol Int
1 a
b Polinomio a
PolCero) = a -> String
forall a. Show a => a -> String
show a
b String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"*x"
  show (ConsPol Int
1 a
b Polinomio a
p)       = [String] -> String
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [a -> String
forall a. Show a => a -> String
show a
b, String
"*x + ", Polinomio a -> String
forall a. Show a => a -> String
show Polinomio a
p] 
  show (ConsPol Int
n a
1 Polinomio a
PolCero) = String
"x^" String -> ShowS
forall a. [a] -> [a] -> [a]
++ Int -> String
forall a. Show a => a -> String
show Int
n 
  show (ConsPol Int
n a
b Polinomio a
PolCero) = [String] -> String
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [a -> String
forall a. Show a => a -> String
show a
b, String
"*x^", Int -> String
forall a. Show a => a -> String
show Int
n] 
  show (ConsPol Int
n a
1 Polinomio a
p)       = [String] -> String
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [String
"x^", Int -> String
forall a. Show a => a -> String
show Int
n, String
" + ", Polinomio a -> String
forall a. Show a => a -> String
show Polinomio a
p] 
  show (ConsPol Int
n a
b Polinomio a
p)       = [String] -> String
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [a -> String
forall a. Show a => a -> String
show a
b, String
"*x^", Int -> String
forall a. Show a => a -> String
show Int
n, String
" + ", Polinomio a -> String
forall a. Show a => a -> String
show Polinomio a
p] 

-- ---------------------------------------------------------------------
-- Ejemplos de polinomios                                             --
-- ---------------------------------------------------------------------

-- Ejemplos de polinomios con coeficientes enteros:
-- ejPol1, ejPol2, ejPol3:: Polinomio Int
-- ejPol1 = consPol 4 3 (consPol 2 (-5) (consPol 0 3 polCero))
-- ejPol2 = consPol 5 1 (consPol 2 5 (consPol 1 4 polCero))
-- ejPol3 = consPol 4 6 (consPol 1 2 polCero)

-- Comprobación de escritura:
--    > ejPol1
--    3*x^4 + -5*x^2 + 3
--    > ejPol2
--    x^5 + 5*x^2 + 4*x
--    > ejPol3
--    6*x^4 + 2*x

-- Ejemplos de polinomios con coeficientes reales:
-- ejPol5, ejPol6, ejPol7:: Polinomio Float
-- ejPol5 = consPol 4 3 (consPol 2 (-5) (consPol 0 3 polCero))
-- ejPol6 = consPol 5 1 (consPol 2 5 (consPol 1 4 polCero))
-- ejPol7 = consPol 1 2 (consPol 4 6 polCero)

-- Comprobación de escritura:
--    > ejPol5
--    3.0*x^4 + -5.0*x^2 + 3.0
--    > ejPol6
--    x^5 + 5.0*x^2 + 4.0*x
--    > ejPol7
--    6.0*x^4 + 2.0*x

-- ---------------------------------------------------------------------
-- Implementación de la especificación                                --
-- ---------------------------------------------------------------------

-- | polCero es el polinomio cero. Por ejemplo,
-- 
-- > > polCero
-- > 0
polCero :: Polinomio a
polCero :: forall a. Polinomio a
polCero = Polinomio a
forall a. Polinomio a
PolCero

-- | (esPolCero p) se verifica si p es el polinomio cero. Por ejemplo,
-- 
-- > esPolCero polCero  ==  True
-- > esPolCero ejPol1   ==  False
esPolCero :: Polinomio a -> Bool
esPolCero :: forall a. Polinomio a -> Bool
esPolCero Polinomio a
PolCero = Bool
True
esPolCero Polinomio a
_       = Bool
False

-- | (consPol n b p) es el polinomio bx^n+p. Por ejemplo,
-- 
-- > ejPol2               ==  x^5 + 5*x^2 + 4*x
-- > consPol 3 0 ejPol2   ==  x^5 + 5*x^2 + 4*x
-- > consPol 3 2 polCero  ==  2*x^3
-- > consPol 6 7 ejPol2   ==  7*x^6 + x^5 + 5*x^2 + 4*x
-- > consPol 4 7 ejPol2   ==  x^5 + 7*x^4 + 5*x^2 + 4*x
-- > consPol 5 7 ejPol2   ==  8*x^5 + 5*x^2 + 4*x
consPol :: (Num a, Eq a) => Int -> a -> Polinomio a -> Polinomio a  
consPol :: forall a. (Num a, Eq a) => Int -> a -> Polinomio a -> Polinomio a
consPol Int
_ a
0 Polinomio a
p = Polinomio a
p
consPol Int
n a
b Polinomio a
PolCero = Int -> a -> Polinomio a -> Polinomio a
forall a. Int -> a -> Polinomio a -> Polinomio a
ConsPol Int
n a
b Polinomio a
forall a. Polinomio a
PolCero
consPol Int
n a
b (ConsPol Int
m a
c Polinomio a
p) 
  | Int
n Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
m      = Int -> a -> Polinomio a -> Polinomio a
forall a. Int -> a -> Polinomio a -> Polinomio a
ConsPol Int
n a
b (Int -> a -> Polinomio a -> Polinomio a
forall a. Int -> a -> Polinomio a -> Polinomio a
ConsPol Int
m a
c Polinomio a
p)
  | Int
n Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
m      = Int -> a -> Polinomio a -> Polinomio a
forall a. Int -> a -> Polinomio a -> Polinomio a
ConsPol Int
m a
c (Int -> a -> Polinomio a -> Polinomio a
forall a. (Num a, Eq a) => Int -> a -> Polinomio a -> Polinomio a
consPol Int
n a
b Polinomio a
p)
  | a
ba -> a -> a
forall a. Num a => a -> a -> a
+a
c a -> a -> Bool
forall a. Eq a => a -> a -> Bool
== a
0   = Polinomio a
p
  | Bool
otherwise  = Int -> a -> Polinomio a -> Polinomio a
forall a. Int -> a -> Polinomio a -> Polinomio a
ConsPol Int
n (a
ba -> a -> a
forall a. Num a => a -> a -> a
+a
c) Polinomio a
p

-- | (grado p) es el grado del polinomio p. Por ejemplo,
-- 
-- > ejPol3        ==  6*x^4 + 2*x
-- > grado ejPol3  ==  4
grado :: Polinomio a -> Int
grado :: forall a. Polinomio a -> Int
grado Polinomio a
PolCero         = Int
0
grado (ConsPol Int
n a
_ Polinomio a
_) = Int
n

-- | (coefLider p) es el coeficiente líder del polinomio p. Por ejemplo,
-- 
-- > ejPol3            ==  6*x^4 + 2*x
-- > coefLider ejPol3  ==  6
coefLider :: Num t => Polinomio t -> t
coefLider :: forall t. Num t => Polinomio t -> t
coefLider Polinomio t
PolCero         = t
0
coefLider (ConsPol Int
_ t
b Polinomio t
_) = t
b

-- | (restoPol p) es el resto del polinomio p. Por ejemplo,
-- 
-- > ejPol3           ==  6*x^4 + 2*x
-- > restoPol ejPol3  ==  2*x
-- > ejPol2           ==  x^5 + 5*x^2 + 4*x
-- > restoPol ejPol2  ==  5*x^2 + 4*x
restoPol :: Polinomio t -> Polinomio t
restoPol :: forall t. Polinomio t -> Polinomio t
restoPol Polinomio t
PolCero         = Polinomio t
forall a. Polinomio a
PolCero
restoPol (ConsPol Int
_ t
_ Polinomio t
p) = Polinomio t
p