Macaulay
Per a l'historiador anglés, vore Thomas Macaulay Macaulay és un sistema d'àlgebra computacional (CAS) de propòsit específic, especialisat en càlculs en polinomis, i en particular en bases de Gröbner. Macaulay està dissenyat per a resoldre problemes en els camps del àlgebra conmutativa i de la geometria algebraica.
En el seu desenroll podem distinguir dos etapes. La primera, de 1983 a 1993, de la mà de Dave Bayer i Mike Stillman. A partir de 1993 va sofrir una reescritura completa del seu còdic per part de Donen grayson i Mike Stillman, i va rebre el nom de Macaulay 2.
Com a molts atres CAS, dispon d'un llenguage propi interpretat, pero a diferència d'ells, abans d'introduir una expressió que involucre variables, devem crear l'anell al que pertanyguen estes.
La llista d'objectes d'alt nivell que és capaç de manejar inclou: cossos finitos, anells polinòmics, àlgebra exteriors, àlgebra de Weyl; anells, mòduls, complexos de cadenes i aplicacions entre ells; varietats algebraiques i fas coherents.
Vore també
[editar | editar còdic]Referències
[editar | editar còdic]- Schenck, Hal (2003). Computational Algebraic Geometry, Cambridge: Cambridge University Press.
- Eisenbud, David (2002). Computations in Algebraic Geometry with Macaulay 2, Nova York: Springer.
- Este artícul conté una traducció derivada de «Macaulay» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.