Skip to content

Practicas de Maple con los algoritmos para Algebra Computacional de la UCM.

Notifications You must be signed in to change notification settings

deyors/ALCP-UCM-DEYORS-Spanish

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

95 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ALCP-UCM-DEYORS (Español)

Prácticas para el programa "Maple" con los algoritmos de la evaluación de la asignatura "Álgebra Computacional" de la Universidad Complutense de Madrid, curso 2019-2020.

Basados en la lectura de dos libros:

  • Modern Computer Algebra (Joachim von zur Gathen)
  • A Computational Introduction to Number Theory and Algebra (Victor Shoup)

Los algoritmos están en .txt para ver los códigos. Para poder aplicarlos hace falta abrir un archivo .mw y añadirlos línea a línea. La mayoría de los algoritmos necesitan que estén cargados todos los algoritmos para recurrir unos a otros.

Este repositorio ha sido creado con el afán de ampliar el conocimiento sobre la asignatura y ver un ejemplo de las técnicas que se pueden aplicar para llegar a los resultados de los libros. No se pretende de ninguna manera promover la copia literal de los códigos para aprobar la asignatura.

Este contenido es 100% gratuito, pero puedes ayudarme a seguir subiendo material donando lo que creas conveniente a mi Paypal: paypal.me/deyors

Si deseas descargarte los códigos, es aconsejable abrirlos con Notepad++ para ver bien las separaciones entre líneas, y luego pasarlos en el Maple.

Para ejecutar correctamente los códigos, tanto los ejemplos como cada función por separado deberán ir en otro entorno de ejecución, es decir, esto no sería correcto:

"> InversoFinito:=proc(K,e)

local inverso, oc, r, s, t, K1, K2;

oc:=K[Size];

#termina la función..

p := 13;

Zp := Zmod(p);

InversoFinito(Zp, 5); #ESTO TIENE QUE IR FUERA DE LA EJECUCIÓN

#Lo de arriba es el ejemplo de la función

Sin embargo, esto sí sería correcto:

"> InversoFinito:=proc(K,e)

local inverso, oc, r, s, t, K1, K2;

oc:=K[Size];

#termina la función..

#acabo esta ejecución y creo otra:

"> p := 13;

Zp := Zmod(p);

InversoFinito(Zp, 5);

#Lo de arriba es el ejemplo de la función

Los algoritmos son los enumerados a continuación:

1. Algoritmo de Euclides para cualquier dominio euclideo.

Dado un dominio euclideo (D.E.) y dos elementos, realiza el Algoritmo de Euclides y devuelve el m.c.d. de esos elementos.

2. Algoritmo de Euclides extendido.

Dado un K D.E. y dos elementos a,b de K, realiza el Algoritmo de Euclides anterior para devolver el m.c.d. de esos elementos, digamos "d", y encuentra utilizando la Identidad de Bezout, los dos números x e y tales que:

ax + by = d

3. Algoritmo para calcular el Teorema Chino del Resto.

Sea R un D.E. Sean m[0], m[1], ... ,m[r-1] pertenecientes a R coprimos dos a dos Sean v[0], v[1], ... , v[r-1] pertenecientes a R Sea m = m[0]m[1]...*m[r-1]

Entonces tenemos que m = mcm(m[0],m[1],... m[r-1])

Este teorma dice que existe un elemento f perteneciente a R tal que:

f ≡v[i] mod m[i], para 0 <= i < r

El siguiente algoritmo toma los elementos m[i] y v[i] del enunciado y devuelve el mencionado elemento f, utilizando como base la demostración de dicho teorema.

4. M.C.D. en un D.F.U.

Sea K un Dominio de Factorización Única (D.F.U.), y sean f y g dos elementos de K, el siguiente algoritmo calcula el Máximo Común Divisor (M.C.D.) entre esos dos elementos (normalizado).

5. Inverso de un elemento en un cuerpo finito.

Sea K un cuerpo finito, "e" perteneciente a K, el algoritmo devuelve el inverso de "e" en K.

6. Test de Irreducibilidad de un polinomio en Fq[x]:

Sea un polinomio f en un cuerpo de dimensión q^k, devuelve "Reducible" si el polinomio es reducible en dicho cuerpo e "Irreducible" en caso contrario.

7. Logaritmo discreto en cuerpos Fq[x]/f(x):

Dado un polinomio f(x), un cuerpo de dimensión "q primo" y dos números "a" y "b", calcula log_b(a).

8. Algoritmo de factorización de un polinomio en un cuerpo finito, parte 1, 2 y 3:

A continuación se detallan tres formatos de factorización polinómica en cuerpos finitos. La estructura del archivo está formada por:

    1. Funciones auxiliares:

Sea F un cuerpo con |F| = q = p^w, w != 1, la función PolinomioAFx convierte un polinomio f con variables alpha y x en un polinomio con coeficientes en F.

Para construir F, al ser q posiblemente no primo, es necesaria la acción de un polinomio "pol" irreducible de grado w con el que podamos expresar F como Zp/(pol).

En el caso de que w=1, poniendo el valor pol=1 (no se necesitara ya que en este caso F se puede representar como Zp) la función convertirá f en un polinomio con coeficientes en Zp.

La segunda función auxiliar calcula el M.C.D. en un cuerpo finito, dados dos polinomios primitivos con coeficientes en F, donde F, p, pol se han descrito anteriormente.

    1. SFD (Square-free descomposition)

Dado un F cuerpo finito con |F| = q = p^w y un polinomio "pol" irreducible de grado w con el que podamos expresar F como Zp/(pol), este algoritmo devuelve una lista de pares [(g[i], s[i])], donde f es el productorio de (g[i])^(s[i]), y cada g[i] es mónico y libre de cuadrados.

    1. DDF (Distinct Degree Factorization)

Dado un F cuerpo finito con |F| = q = p^w y un polinomio "pol" irreducible de grado w con el que podamos expresar F como Zp/(pol), este algoritmo devuelve una lista de pares [(g[i]),k[i])], donde el productorio de los g[i] da f, mientras que cada g[i] se puede descomponer en producto de irreducibles de grado k[i].

    1. EDF (Equal Degree Factorization)

Dado un F cuerpo finito con |F| = q = p^w y un polinomio "pol" irreducible de grado w con el que podamos expresar F como Zp/(pol), este algoritmo nos da una lista de los irreducibles de un polinomio f si sabemos que puede descomponerse en k irreducibles.

9. Algoritmo de Berlekamp en un cuerpo finito.

La estructura del algoritmo está formada por:

    1. Funciones auxiliares:

Dada una matriz Q, la función insertRow insterta el vector r los primeros n elementos en la fila i.

Dado un polinomio f y p el cardinal de Zp para el cual se quiera factorizar el polinomio aplicando este algoritmo, la función matrixQ proporciona la matriz de Berlekamp de ese polinomio.

Dado un número "a", la función inverseModulo devuelve su inverso módulo "b".

Dada una matriz M de dimensión n, la función permuteRow permuta la fila i por la fila j.

Dada una matriz M de dimensión n y p el cardinal de Zp, calcula los vectores de Berlekamp v(1), ... , v(n).

    1. Algoritmo final:

Dado un polinomio f libre de cuadrados y p el cardinal de Zp, este algoritmo factoriza completamente f en factores contenidos en Zp[x].

10. Algoritmo de factorización en Z[x] o de Hensel:

Dado un polinomio f, p el cardinal de Zp y dos polinomios g y h que respeten las condiciones de las proposiciones de Hensel, el algoritmo devuelve una factorización de f.

11. Algoritmo de primalidad AKS:

Dado un número entero, resuelve si ese número es primo en Z utilizando el algoritmo AKS.

About

Practicas de Maple con los algoritmos para Algebra Computacional de la UCM.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published