Integración del sistema Kenzo en SageMath para nuevas computaciones de topología algebraica
Autores: Cuevas-Rozo, Julián; Divasón, Jose; Marco-Buzunáriz, Miguel; Romero, Ana
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Integración del sistema Kenzo en SageMath para nuevas computaciones de topología algebraica
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Sistema
Sagemath
Interfaz
Topología algebraica
Grupos de homotopía
Secuencias espectrales
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 35
Citaciones: Sin citaciones
Este trabajo integra el sistema Kenzo dentro de SageMath como una interfaz y un paquete opcional. Nuestro trabajo hace posible comunicar programas de álgebra computacional y mejora el sistema SageMath con nuevas capacidades en topología algebraica, como el cálculo de grupos de homotopía y algún tipo de secuencias espectrales, tratando en particular con objetos simpliciales de naturaleza infinita. La nueva interfaz permite calcular grupos de homotopía que no se conocían antes.
Descripción
Este trabajo integra el sistema Kenzo dentro de SageMath como una interfaz y un paquete opcional. Nuestro trabajo hace posible comunicar programas de álgebra computacional y mejora el sistema SageMath con nuevas capacidades en topología algebraica, como el cálculo de grupos de homotopía y algún tipo de secuencias espectrales, tratando en particular con objetos simpliciales de naturaleza infinita. La nueva interfaz permite calcular grupos de homotopía que no se conocían antes.