// Wenn Sie in der folgenden Zeile die lexikographische Monomordnung lp durch 
// die Ordnung dp ersetzen, waechst die Rechengeschwindigkeit um Groessenordnungen!
//
// Im Skript (2/5/33, Beispiel) finden Sie einen typischen Fall, in dem sich die Loesungen
// aus einer Standardbasis ( bez. der Ordnung lp ) sogar mit der Hand bestimmen lassen.
//
//
ring r=0,(x1,x2,x3,x4),lp;
poly f1=x1^2-x2+x3+x3^3+x4;
poly f2=x1^2+x2+x3^2-x4^2;
poly f3=x1*x2*x3-x4;
poly f4=x1^2+x2^2+x3^2+x4^2;
ideal i=f1,f2,f3,f4;
//
// Bestimmung der reduzierten Standardbasis
//
option(redSB);
std(i);