Using Macaulay 2 sessions inside TeXmacs

Macaulay 2 is a software system devoted to supporting research in algebraic geometry and commutative algebra. The software is available now in source code for porting, and in compiled form for Linux, Sun OS, Solaris, Windows, and a few other unix machines. You can get it from 

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

Here follows a sample session, which was started using Text→Session→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
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".