Macaulay

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Macaulay
Desarrollador
Dave Bayer, Dan grayson y Mike Stillman.
math.uiuc.edu/Macaulay2/
Información general
Última versión estable 2-1.1
Febrero de 2008
Género CAS
Sistema operativo Multiplataforma
Licencia ?
[editar datos en Wikidata]

Macaulay es un sistema de álgebra computacional (CAS) de propósito específico, especializado en cálculos con polinomios, y en particular con bases de Gröbner. Macaulay está diseñado para resolver problemas en los campos del álgebra conmutativa y de la geometría algebraica.

En su desarrollo podemos distinguir dos etapas. La primera, de 1983 a 1993, de la mano de Dave Bayer y Mike Stillman. A partir de 1993 sufrió una reescritura completa de su código por parte de Dan grayson y Mike Stillman, y recibió el nombre de Macaulay 2.

Como muchos otros CAS, dispone de un lenguaje propio interpretado, pero a diferencia de ellos, antes de introducir una expresión que involucre variables, debemos crear el anillo al que pertenezcan estas.

La lista de objetos de alto nivel que es capaz de manejar incluye: cuerpos finitos, anillos polinómicos, álgebras exteriores, álgebras de Weyl; anillos, módulos, complejos de cadenas y aplicaciones entre ellos; variedades algebraicas y haces coherentes.

Véase también[editar]

Referencias[editar]

  • Schenck, Hal (2003). Computational Algebraic Geometry. Cambridge: Cambridge University Press. ISBN 0-521-53650-2. 
  • Eisenbud, David (2002). Computations in Algebraic Geometry with Macaulay 2. New York: Springer. ISBN 3-540-42230-7. 

Enlaces externos[editar]