"solve" in the source from Oct 30 fails on this command:
Code : Tout sélectionner
solve([3*x^2-3*z^2,3*y^2-3*z^2,x*y+y*z+x*z-x*y*z],[x,y,z])
Modérateur : xcasadmin
Code : Tout sélectionner
solve([3*x^2-3*z^2,3*y^2-3*z^2,x*y+y*z+x*z-x*y*z],[x,y,z])
Code : Tout sélectionner
diff cocoa.cc cocoa.cc~
14535,14555d14534
< bool tryseparate=radical!=-1;
< environment env;
< env.modulo=p;
< env.moduloon=true;
< if (radical==0){
< // additional check for non sqrfree minp,
< // for solve([3*x^2-3*z^2,3*y^2-3*z^2,x*y+y*z+x*z-x*y*z],[x,y,z]);
< for (int i=0;i<d;++i){
< if (minp[i].type!=_VECT)
< continue;
< m=*minp[i]._VECTptr;
< if (m.empty())
< continue;
< vecteur m1=derivative(m,&env);
< m1=gcd(m,m1,&env);
< if (m1.size()>1){
< tryseparate=false;
< break;
< }
< }
< }
14557c14536
< if (tryseparate){
---
> if (radical!=-1){
14590a14570,14572
> environment env;
> env.modulo=p;
> env.moduloon=true;
Code : Tout sélectionner
solve([-4*y*x^2*z-4*y*z+4*y+3*x^4-2*x^3+2*x^2+4*x*z-2*x-1,-y*x+y+z*x-z,-2*y^2-4*y*x*z+x^3-x^2-x-2*z^2+1],[x,y,z])