Magnus (sistema de álgebra computacional)

Magnus era un sistema de álgebra computacional diseñado para resolver problemas de teoría de grupos . Fue diseñado para ejecutarse en sistemas operativos tipo Unix , así como en Windows . ^{[ 1 ]} El proceso de desarrollo comenzó en 1994 y la primera versión pública apareció en 1997. El proyecto fue abandonado en agosto de 2005. La característica única de Magnus era que proporcionaba herramientas para realizar cálculos en y sobre grupos infinitos. ^{[ 2 ]} Casi todos los sistemas de álgebra simbólica están orientados a computaciones finitas que garantizan la obtención de respuestas, dado el tiempo y los recursos suficientes. Por el contrario, Magnus se centraba en experimentos y computaciones sobre grupos infinitos que, en algunos casos, se sabe que terminan, mientras que en otros se sabe que son generalmente irresolubles recursivamente. ^{[ 3 ]}

• Una interfaz de usuario gráfica basada en objetos y métodos, fácil e intuitiva de usar, que refleja de forma natural las clases C++ subyacentes;
• Un núcleo que consta de un "administrador de sesiones" para comunicarse entre la interfaz de usuario o el front-end y el back-end donde se realizan los cálculos, y "administradores de computación" que dirigen los cálculos que pueden involucrar varios algoritmos y "centros de información" donde se almacena la información; ^{[ 4 ]}
• Sistemas para realizar varios procedimientos en paralelo y asignar recursos a cada uno de los diversos algoritmos simultáneos que trabajan en el mismo problema;
• Enumeradores que generan aproximaciones finitas considerables tanto a objetos algebraicos finitos como infinitos y que permiten realizar búsquedas de respuestas incluso cuando no existen algoritmos generales;
• Algoritmos genéticos innovadores;
• Un gestor de paquetes para "integrar" algoritmos de propósito especial escritos por otros;