// Ueberzeugen Sie sich davon, dass die vertraute reduzierte
// Stufengestalt entsteht!
//
ring r=0,(x1,x2,x3,x4),lp;
poly f1=x1-x2+x3+x4-1;
poly f2=x1+x2+x3-x4+1;
poly f3=x1-x2+x3-x4+1;
ideal i=f1,f2,f3;
//
// Bestimmung der reduzierten Standardbasis
//
option(redSB);
std(i);