|
马上注册,享用更多功能,让你轻松玩转本论坛。
您需要 登录 才可以下载或查看,没有账号?立即注册
×
p13:=ma(c,13); p55:=ma(c,55); p233:=ma(c,233);
a:=p13>ref(p13,1) and ref(p13,1)>ref(p13,2);
b:=p55>ref(p55,1) and ref(p55,1)>ref(p55,2);
d:=p233>ref(p233,1) and ref(p233,1)>ref(p233,2);
c>p13 and p13>p55 and p55>p233 and a and b and d;
|
|