T6:=REF(VOL,5)/REF(VOL,6)>=2;
T5:= T7:=REF(VOL,6)/REF(VOL,7)>=2;
REF(VOL,5)/REF(VOL,4)>=1.5;
T4:=REF(VOL,4)/REF(VOL,3)>=1.5;
T3:=REF(VOL,2)/REF(VOL,3)>=1.5;
T1:=V/REF(VOL,1)>2;
T0:=C>O AND C>REF(C,1);
凹口起柱:= T7 AND T1 AND T0
OR T6 AND T1 AND T0
OR T5 AND T1 AND T0
OR T4 AND T1 AND T0
OR T3 AND T1 AND T0 ;
{凹口起柱}
AKQZ:= 黄金柱 AND 凹口起柱;
|