I1M2010: El TAD de los polinomios en Haskell
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de los polinomios y su implementación en Haskell.
Comenzamos la clase analizando las posibles representaciones de los polinomios y, como consecuencia, establecer la signatura y las propiedades del TAD de los polinomios.
A continuación, estudiamos tres implementaciones del TAD de los polinomios: mediante tipos algebraicas, mediantes listas dispersas y mediante listas densas.
Finalmente, mediante QuickCheck, se comprobó que las distintas implementaciones verifican las propiedades del TAD.
Las transparencias usadas en la clase son las páginas 1-42 del tema 21.
El código se encuentra en
- PolRepTDA: Implementación de los polinomios mediante tipos de datos algebraicos.
- PolRepDispersa: Implementación de los polinomios mediante listas dispersas.
- PolRepDensa: Implementación de los polinomios mediante listas densas.
- PolPropiedades: Propiedades del TAD de los polinomios.