ring R = 0, (h1(0..3),h0(0..1)), lp; string s = "ideal k = "+read("eqs"); execute(s); k; option(redSB); ideal i = std(k); i; write(":w gb.lp",i); list l = facstd(i); l; write(":w gb.lp.fact.1",l[1]); write(":a gb.lp.fact.1",";"); // append ";" write(":w gb.lp.fact.2",l[2]); write(":a gb.lp.fact.2",";"); // append ";"