Renders the staircase of a monomial ideal (or a list of monomial ideals) in three variables. The output is put into an xfig file if a filename is provided. If no filename is provided then macaulay uses fig2dev to make a png which is displayed by the operating system (see show).
i1 : QQ[x,y,z] o1 = QQ[x, y, z] o1 : PolynomialRing |
i2 : I = ideal "x4,y4,z4,xy2z3,x3yz2,x2y3z" 4 4 4 2 3 3 2 2 3 o2 = ideal (x , y , z , x*y z , x y*z , x y z) o2 : Ideal of QQ[x, y, z] |
i3 : J = ideal "x4,y4,z4,x2y2z2" 4 4 4 2 2 2 o3 = ideal (x , y , z , x y z ) o3 : Ideal of QQ[x, y, z] |
i4 : null -- renderStaircase(I) |
i5 : null -- renderStaircase("twostairs.fig", 6,2,{I,J}) |
To run the examples above, ommit the null -- . The first command will display the staircase of I while the second writes the image of both I and J to file.