"Beta-function" test from HyperTests.mpl fails

Hi, Erik. This is what I get with Maple 2016.2 when running 'maple HyperTests.mpl' against the latest commit in master (4e1fd6a):

[...]
> B := series(Beta(1-y*t, 1-x*t+y*t), t = 0, N+1):
> B := simplify(add(coeff(B, t, n), n = 0 .. N)):
> Test(simplify(subs([seq(z[n] = Zeta(n), n = 2 .. 20)], X)), B, "Beta-function"):
Error, (in Test) Test Beta-function FAILED: Expected
1+1/24*x^4*y^4*(-y+x)^4*Zeta(3)^4-x*y*(x+1)*(-y+x)*(x^2-x*y+y^2)*(x^6-3*x^5*y+7*x^4*y^2-9*x^3*y^3+7*x^2*y^4-3*x*y^5+y^6)*Zeta(11)-(x^2-x*y+y^2)^2*(x^4-1/90*Pi^2*y*(Pi^2+15)*x^3+(1+(11/360*Pi^4+1/6*Pi^2)*y^2)*x^2+(-7/180*Pi^4*y^3-1/6*Pi^2*y)*x+7/360*Pi^4*y^4+1/6*Pi^2*y^2+1)*y*(-y+x)*(x+1)*x*Zeta(7)-y*(-y+x)*(x+1)*(x^...,
but got
x^12+1/42042000*(42042000+(-2122752*zeta[2]^6-3494400*zeta[2]^5-5765760*zeta[2]^4-9609600*zeta[2]^3-16816800*zeta[2]^2-42042000*zeta[2]-42042000*zeta[3]-42042000*zeta[5]-42042000*zeta[7]-42042000*zeta[9]-42042000*zeta[11])*y)*x^11+1/42042000*(42042000+(18574080*zeta[2]^6+25334400*zeta[2]^5+(5765760*zeta[3]+33153120)...

I'm also attaching the full log, just in case.

Comments (6)