f30a:=max(ma(c,10),ma(c,20));f30:=c>f30a;f60a:=max(ma(c,20),ma(c,28));f60:=c>f60a;fra:=max(ma(c,60),ma(c,120));fr:=c>fra;xg:cross(f30 and f60 and fr,0.5); 20210311
{ok.测试通过}n:=8;aa1:=ref(l,n)=llv(l,2*n+1);bb1:=backset(aa1,n+1);cc1:=filter(bb1,n) and l=llv(l,n+1);m:=intpart(3*n/5);aa2:=ref(l,m)=llv(l,2*m+1);bb2:=backset(aa2,m+1);cc2:=filter(bb2,m) and l=llv(l,m+1...