The following session defines a polynomial ring , an ideal inside , and the quotient ring . The text i1 : is the 1st input prompt in a session, while o1 is the corresponding output. i1 : S=QQ[a,b,c,d,e] o1 = S o1 : PolynomialRing i2 : I=ideal(a^3-b^3, a+b+c+d+e) 3 3 o2 = ideal (a - b , a + b + c + d + e) o2 : Ideal of S i3 : R = S/I o3 = R o3 : QuotientRing Reception In a 2006 interview, Andrei Okounkov cited Macaulay2 along with TeX as a successful open-source project used in mathematics and suggested that funding agencies look into and learn from these examples. Macaulay2 has been cited in over 2,600 scholarly publications. See also Singular and CoCoA, two other computer algebra systems that are specialized for computation in commutative algebra Comparison of computer algebra systems References Further reading (Full text available online.) External links for Macaulay2 Computer algebra system software for Linux Domain-specific programming languages Free computer algebra systems