? tst12([],[a,b,c,x,y],f->f,"(a*x^2+b*x-c)*y^2+(b*x^2+c*x-a)*y+c*x^2+a*x-b==0"); *** using Lazard's method (MPP17). [y,1] [x,3] [c,11] [b,41] [a,1] time = 414 ms. 3 217(188,41) 5631(66,259) 64685(1784,2346) 89867(26164,0) *** combined adja…

Mathematica による結果の検証． ? tst12([],[a,b,c,d,e,f,x],(f1,f2,f3,f4,f5,f6,f7)->f1*f2*f3*f4*f5*f6*f7,"a==0,b<0,c<0,d==0,e<0,a*x^2+b*x+c>0,d*x^2+e*x+f<0",11);Ans(1) *** roots will be displayed in [pol,[zero,root,multi,deg]] for mma. *** u…

? tst12([],[a,b,c,x],f1->f1,"a*x^2+(a+b)*x+b*c<1",17); *** using Lazard's method (BM20). -5 [x,1] 0 [c,1] [b,1] [a,1] [[[a],[b],[],[]],[[a+4],[b],[],[]]] time = 264 ms. 5 15(0,0) [[a,b],[-4,0]]:-a^2+((4*c-2)*b-4)*a-b^2>>(4*c-2)*a-2*b 33(0,…