D.8.1.1 staircase

Procedure from library graphics.lib (see graphics_lib).

Usage:

staircase(s,I); s a string, I ideal in two variables

Return:

string with Mathematica input for displaying staircase diagrams of an ideal I, i.e. exponent vectors of the initial ideal of I

Note:

ideal I should be given by a standard basis. Let s="" and copy and paste the result into a Mathematica notebook.

Example:

LIB "graphics.lib";
ring r0 = 0,(x,y),ls;
ideal I = -1x2y6-1x4y2, 7x6y5+1/2x7y4+6x4y6;
staircase("",std(I));
ring r1 = 0,(x,y),dp;
ideal I = fetch(r0,I);
staircase("",std(I));
ring r2 = 0,(x,y),wp(2,3);
ideal I = fetch(r0,I);
staircase("",std(I));
// Paste the output into a Mathematica notebook
// active evalutation of the cell with SHIFT RETURN