LIB "tst.lib";
    tst_init();
    ring MYRINGNAME=32003,(x, y, z),lp;
    ideal MYIDEALNAME=y^2+2*x-7*y+2*z+5,
x^2+6*x+3*y+6*z-4,
x^2+y^2+z^2-1;
    option(redSB);
    slimgb(MYIDEALNAME);
    kill MYRINGNAME;
    tst_status(1);$