Usare sessioni di Macaulay 2 in TeXmacs

Macaulay 2 è un software dedicato al supporto della ricerca in geometria algebrica e algebra commutativa. Questo software è ora disponibile come codice sorgente e in forme compilate per Linux, Sun OS, Solaris, Windows, e per alcune altre macchine unix. Lo si può scaricare da 

    http://www.math.uiuc.edu/Macaulay2

Qui di seguito vi è un esempio di una sessione, che si può iniziare usando Testo→Sessione→Macaulay 2:

Macaulay 2, version 0.9.2

–Copyright 1993-2001, D. R. Grayson and M. E. Stillman

–Singular-Factory 1.3b, copyright 1993-2001, G.-M. Greuel, et al.

–Singular-Libfac 0.3.2, copyright 1996-2001, M. Messollen

Macaulay 2 starting up

macaulay2]

R=QQ[x_1..x_4]

o2 = R
o2 : PolynomialRing
macaulay2]

M=matrix{{x_1,x_2},{x_3,x_4}}

o3 = (
x1 x2
x3 x4
)
o3 : Matrix
macaulay2]

D=det M

o4 = - x2 x3 + x1 x4
o4 : R
macaulay2]

T=trace M

o5 = x1 + x4
o5 : R
macaulay2]

I=ideal{D,T}

o6 = –Function– ( - x2 x3 + x1 x4,x1 + x4)
o6 : Ideal
macaulay2]

J=ideal M^2

o7 = –Function– (x
2
1
+ x2 x3,x1 x3 + x3 x4,x1 x2 + x2 x4,x2 x3 + x
2
4
)
o7 : Ideal
macaulay2]

radical I== radical J

o8 = true
o8 : Boolean
macaulay2]

© 2003 Chu-Ching Huang, Lucia Gecchelin
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".