2021-07-04から1日間の記事一覧
? tst12([all,all],[a,b,c,d,x,y],eq,"y<(x+a)^15+b,y<(x+c)^15+d");Ans(1); *** using Lazard's method (MPP17). [y,2] [x,1] [d,4] [c,7] [b] [a,1] time = 1min, 36,784 ms. 3 3(0,0) 37(84,7) 535(26,54) 1647(52,12) 9(0,6) *** combined adjacent 8 ce…