/*R.J.Cano,2014年8月27日*//*从阶乘的定义来看,x^(y+1)-y^x与x-y的奇偶校验相同*/s1=(x,y,omega1,omega3)->和(kappa1=1+omega3,omegal,(kappa!)*斯特林(x,kappa1,2)*二项式(y,kappa));s2=(x,y,omega2,omega3)->和(kappa2=1+omega3,omega2,kappa2!)*stirling(y+1,kappa2,2)*二项式(x,kappo2));s3=(x,y,omega3)->总和;f0=(x,y)->{我的(/*omega1,*/omega2,omega3);/*ω1=最小值(x,y)*/ω2=最小值(x,y+1);/*ω3=最小值(ω1,ω2)*/ω3=最小值(x,y);/*这是ω3==ω1*//*返回此:*/s3(x,y,Ω3)+s2(x,y,Ω2,Ω3*/}f=(x,y)->x-y+f0(x,y);g=(x,y)->x^(y+1)-y^x;/*关于:由大量h()值组成的有序集。问题:这是哪个序列*/h=(x,y)->f0(x,y)\2;/*根据阶乘的定义,这里确保它是整数除法*//*f()和g()之间身份的简单逐个验证*/测试1=z->!sum(a=2,z,sum(b=2,z,f(a,b)-g(a,b));/*g(x,y)和x-y之间“相同奇偶校验”语句的简单验证*/测试2=z->!sum(a=2,z,sum(b=2,z,(g(a,b)%2)-((a-b)%2));/*=-=-==-=-附录-=-=*/视图f=(x,y)->{我的(ω2,ω3);ω2=最小值(x,y+1);ω3=最小值(x,y);/*返回此:*/[x-y,s3(x,y,ω3),s2(x,y,ω2,ω3]}/**现在,f(x,y)也可以作为vecsum(view_f(x、y))计算;*/tab1(z0,z)=forvec(y=向量(2,j,[z0,z]),print(f(y[1],y[2]))“:(”y[1]“,”y[2]“)-->”view_f(y[1],y[2])),0);/*不完整*/tab2(z0,z)=forvec(y=向量(2,j,[z0,z]不完整*//**Linux下使用PARI-GP的示例(GNU Bash解释器)。命令:* echo“tab1(0100)”|gp-q/A240031.gp.txt |排序-g>somedatafile.txt也:echo“tab2(2,10)”| gp-q/A240031.gp.txt |排序-g |更少* *现在就到此为止-结束*/