2021-07-30から1日間の記事一覧
? tst12([ex,ex,ex],[v,a,b,c],andx,"0<=c,c<=1,0<=a+b+c,a+b+c<=1,0<=4*a+2*b+c,4*a+2*b+c<=1,v==9*a^6+3*b^6+c^6",23);Ans(); [[[v,1,1]],[[a,6,5],[b,6,5],[c,6,7]]] *** reordering by degree+occurrence. *** using Lazard's method (MPP17). [b,5] [a,…