ring r=0,(x,y,a,b,c,d,e,f),lp; poly k1=(x-a)^2+(y-b)^2-c^2; poly k2=(x-d)^2+(y-e)^2-f^2; ideal i=k1,k2; std(i); // // erst ansehen ! // poly g1=_[1]; coeffs(g1,y); // // ist polynom vom grad 2 in y (anfangskoeff = // 4(a-d)^2+4(b-e)^2 dies ist 0 <=> a=d und b=e // // Nun folgt dieselbe Rechnung mit vertauschter Reihenfolge // von x,y: // ring r=0,(y,x,a,b,c,d,e,f),lp; poly k1=(x-a)^2+(y-b)^2-c^2; poly k2=(x-d)^2+(y-e)^2-f^2; ideal i=k1,k2; std(i); // // erst ansehen ! // poly g1=_[1]; coeffs(g1,x); // // ist polynom vom grad 2 in x (anfangskoeff = // 4(a-d)^2+4(b-e)^2 dies ist 0 <=> a=d und b=e ; ; ;