read FunEq: print(`This article discovers, and PROVES, a solution of a Functional Equation that came up in`): print(` Jonathan Bloom and Alex Burstein's article "Egge triples and unbalanced Wilf-equivalence" `): print(`http://arxiv.org/abs/1410.0230 `): print(`Eq. (2.5), pages 6-7 `): print(`They solved it via an ingenious human argument, but we can do it faster!`): F:=normal(1/(1-t*x)+ t*x/(1-x)*( (fx1-t*fxt)/(1-t)-1/(1-t*x))+(fxt-1/(1-t*x))*x*(fx1-1)/(1-x)/(1-t*x)/(1-t*x*(fx1-1)/(1-t*x))): print(`-------------------------------------------------------------------`): print(): FEtoAE1wpV(F,x,t,fxt,fx1,15,f); quit: