? tst12([all,ex],[a,b,x,y],(f1,f2)->f1*f2,"x^6+x*y+a>0,x+b*y^6+a<0",17);Ans() *** using Lazard's method (BM20). 1,0 [y,2] -5 [x,3] -5 [b,2] [a,2] [[[a],[],[x],[]]] time = 1718 ms. 5 25(0,2) 180(55,29) 113(108,74) *** combined adjacent 88 c…

? tst12([all,all],[a,b,c,x,y],(f1,f2)->imp(f1,f2),"x^8+y^8<1,a*x+b*y+c<0"); *** using Lazard's method (MPP17). [y,2] [x,4] [c,10] [b,12] [a,1] time = 14144 ms. 3 65(206,12) 963(196,62) 9219(384,432) 4385(8672,876) *** combined adjacent 437…

? tst12([all,all,all],[a,b,c,d,x,y,z],(f1,f2)->imp(f1,f2),"x^2+y^2+z^2<1,a*x+b*y+c*z+d<0"); *** using Lazard's method (MPP17). [z,2] [y,3] [x,6] [d,11] [c,11] [b,8] [a,1] time = 284 ms. 3 33(10,8) 499(36,111) 12849(20,2411) 183385(6996,102…