"Wir verwenden einen einfachen Test, ob eine Loesung vorliegt:"; "Wie schon gesehen, sind alle Komponenten eine der Zahlen 0,-2,i,-i,1+i,1-i."; "Unsere Prozedur heisst test0(a,b,c) und entscheidet, ob "; "(a,b,c) eine Loesung ist."; ring r=(0,i),(x,y,z),lp; minpoly=i^2+1; poly f=x2+y+z; poly g=x+y2+z; poly h=x+y+z2; // ideal j=f,g,h; // std(j); proc test0 (poly p,poly q,poly r) { if (subst(subst(subst(f,x,p),y,q),z,r)==0) { if (subst(subst(subst(g,x,p),y,q),z,r)==0) { if (subst(subst(subst(h,x,p),y,q),z,r)==0) {"Loesung";} } } else {"Keine Loesung";} }